Critical Embedded Systems - Segédanyagok

Félév: 2013. ősz
Title	Egyedi szöveg
Short introduction for the next lesson (about UPPAAL)	Short UPPAAL intro for preparation short UPPAAL introduction
UPPAAL laboratory	The exercises of the formal modelling and verification laboratory. exercises of the laboratory
Formal modelling and verification slides	Slides of the formal modelling and verification lecture Formal verification
Introduction to Model Driven System Engineering	07a_MDSDIntro.pdf 07b_UML-SysML-Overview.pdf
Requirement Modeling	08_Requirements-Modeling.pdf
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! Compressed_Mower_Req.zip
Structure Modeling	09_CES_Structure-Modeling.pdf
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! Mower_Req_Struct.zip
Behaviour modeling with UML/SysML State Machines	10_CES_Behavior-Modeling-with-StateMachines.pdf
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 magicdrawLicence_20131231.zip
Railway Control Systems	11_CES_Railway-Control-Systems.pdf
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! Mower_Req_Struct_Dynam.zip
Nuclear Safety
Development of Avionics Software (DO-178B)	13_CES_DO-178B.pdf