Computational Models for Embedded Systems

Sample exam question - updated 22May2014

CMES - TENTATIVE SCHEDULER
Lecture			Seminar/Laboratory
No	Date	Activity	No	Date	Activity	Deliver
1	28 February	Introduction	1	6 March	Choose report paper Chosen report paper
2	7 March	Synchronous Reactive Models
3	14 March	Asynchronous Models	2	20 March	Model checking - JSpin Install+Demo-JSpin Room L308
4	21 March	Safety req. Model checking
5	28 March	National Instruments – lecture:Real-Time Testing - Hardware-in-the-Loop Hardware In The Loop testing http://www.ni.com/hil/ Slides "What is HIL Testing": http://www.ni.com/webcast/1541/en/ The attendance is compulsory!	3	3 April	National Instruments – LabVIEW - NI myRIO - The Ultimate Student Design Tool The attendance is compulsory!
6	4 April	Finite State Machines
7	11 April	FSM(2)	4	17 April	Choose -FSM and PT to model an ES	Report paper
8	18 April	Petri Nets
	21-27 April	vacation
9	2 May Recuperare	PN (2)	5	8 May	Use FSM and PT to model an ES	Model checking - JSpin
10	9 May	Dynamical Systems
11	16 May ROOM 512	Timed Models	6	22 May	Project presentation and documentation delivery	FSM and PT model for ES
12	23 May	Hybrid Systems

Dr. Andreea Vescan's Homepage