Title:

Specification of Embedded Systems

Code:SVD
Ac.Year:2001/2002
Sem:Winter
Language of Instruction:Czech
Completion:examination (verbal)
Type of
instruction:
Hour/semLecturesSeminar
Exercises
Laboratory
Exercises
Computer
Exercises
Other
Hours:390000
 ExamsTestsExercisesLaboratoriesOther
Points:00000
Guarantor:Švéda Miroslav, Prof. Ing., CSc. (DCSY)
Lecturer:Švéda Miroslav, Prof. Ing., CSc. (DCSY)
Faculty:Faculty of Information Technology BUT
 
Learning objectives:
  Understand formal specification principles as applied to embedded systems design; be aware of utilizing temporal logics for modeling reactive systems and real-time systems; be aware of embedded distributed system architectures.
Description:
  Embedded distributed system design principles. Reactive systems and real-time systems. Reactive system and real-time system models. Fairness, livness, safety, feasibility; real-time livness. Temporal logic fundamentals. Time models and temporal logics. Temporal logic and real time. Formal specifications of embedded systems. Hybrid systems. Provers. Model checking. Real-time systems verification. Fieldbus-type protocols. Internet and embedded systems.
Learning outcomes and competencies:
  Understanding formal specification principles as applied to embedded systems design; be aware of utilizing temporal logics for modeling reactive systems and real-time systems; being informed about embedded distributed system architectures.
Syllabus of lectures:
 
  1. Embedded distributed system design principles
  2. Reactive system and real-time system models
  3. Fairness, livness, safety, feasibility; real-time livness
  4. Temporal logic fundamentals
  5. Time models and temporal logics
  6. Temporal logic and real time
  7. Formal specifications of embedded systems
  8. Provers
  9. Model checking
  10. Real-time systems verification
  11. Hybrid systems
  12. Fieldbus-type protocols
  13. Internet and embedded systems
Syllabus - others, projects and individual work of students:
 
  1. Essay based on selected scientific paper dealing with temporal logics as applied to topics of the students theses.
Fundamental literature:
 
  1. Alur R., Henzinger T.A. (Editors): Hybrid Systems III - Verification and Control. Springer-Verlag, LNCS 1066, 1996.
  2. de Bakker J.W. et all. (Editors): Real-Time: Theory in Practice. Springer-Verlag, LNCS 600, 1992.
  3. Gabbay D.M., Ohlbach H.J. (Editors): Temporal Logic. Springer-Verlag, LNCS 827, 1994.
Study literature:
 
  1. Alur R., Henzinger T.A. (Editors): Hybrid Systems III - Verification and Control. Springer-Verlag, LNCS 1066, 1996.
  2. de Bakker J.W. et all. (Editors): Real-Time: Theory in Practice. Springer-Verlag, LNCS 600, 1992.
  3. Gabbay D.M., Ohlbach H.J. (Editors): Temporal Logic. Springer-Verlag, LNCS 827, 1994.
Controlled instruction:
  Written essay completing and defending.
 

Your IPv4 address: 34.203.225.78
Switch to IPv6 connection

DNSSEC [dnssec]