Critical Embedded Systems - Segédanyagok
Cím | Egyedi szöveg |
---|---|
Short introduction for the next lesson (about UPPAAL) |
Short UPPAAL intro for preparation |
UPPAAL laboratory |
The exercises of the formal modelling and verification laboratory. |
Formal modelling and verification slides |
Slides of the formal modelling and verification lecture |
Introduction to Model Driven System Engineering | |
Requirement Modeling | |
Requirement modeling laboratory |
The model created during the laboratory session for requirement modeling. Can be used as the starting point for the first phase of the second assignment. Unzip the downloaded file! |
Structure Modeling | |
Structure modeling laboratory |
The model created during the laboratory session for structure modeling. Can be used as the starting point for the first phase of the second assignment. It also contains the requirement modeling part Unzip the downloaded file! |
Behaviour modeling with UML/SysML State Machines | |
New licence files for Magic Draw |
The zip contains new licence files for the Magic Draw tool (valid until 2013.12.31). You can activate the licences through the Help / Resource/Plugin Manager menu |
Railway Control Systems | |
State Machine laboratory material |
The model created during the laboratory session for dynamic modeling. Can be used as the starting point for the second assignment. Unzip the downloaded file! |
Nuclear Safety | |
Development of Avionics Software (DO-178B) |