The objective of the class is to introduce design methodologies and formal methods for analysis and synthesis of real-time electronic systems, with special reference to the design and verification of embedded systems.
Embedded system design
1. Introduction to embedded systems
2. Instruction set architectures for general-purpose and application-specific processors
3. CPUs and co-processors
4. Memories, peripherals, communication and interfacing
5. Concurrent processes, operating systems and scheduling algorithms
6. Control systems
7. Design methodologies
Real-time scheduling of aperiodic and periodic tasks
Formal methods for real-time systems
1. Transducive and reactive systems
2. Deterministic, pseudo-nondeterministic and non-deterministic state machines
3. Composition of state machines
4. Simulation, bisimulation, and determinization of state machines
5. Equivalence, containment and minimization of state machines
6. Timed and hybrid automata
7. Reachability analysis of hybrid automata
8. Controller synthesis for safety and progress
Author | Title | Publisher | Year | ISBN | Note |
Wayne Wolf | Computers as Components: Principles of Embedded System Design | Morgan Kaufman Publishers | 2005 | ||
Frank Vahid and Tony Givargis | Embedded System Design: A Unified Hardware/Software Introduction | John Wiley & Sons | 2002 |
Written exam and class project.
The class project of this year is about the formal verification of safety properties of systems modeled by hybrid automata, by using software packages that perform reachability analysis of hybrid automata
******** CSS e script comuni siti DOL - frase 9957 ********p>