Specification Languages for Embedded Systems

Keywords requirements embedded systems specification languages

 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

Metadata
Date published
2006
Language
English
Document type
training presentation
Pages
42
Defines standard
Replaced/Superseded by document(s)
Cancelled by
Amended by
File MIME type Size (KB) Language Download
3_06-xian-tue1-marw.pdf application/pdf   2.26 MB English DOWNLOAD!
File attachments
Visit also