Specification Languages for Embedded Systems

 Requirements for specification languages for embedded systems
 Models of computation
 Languages for non-distributed systems
 StateCharts
 Languages for distributed systems
 Petri nets
 MSCs, link to UML for real-time applications
 Task graphs
Kahn process networks
 Synchronous dataflow models
 Specific languages: MATLAB/Simulink, SystemC, Verilog,
 Language comparison, compromises