Task implementation of synchronous finite state machines

Model-based design of embedded control systems using Synchronous Reactive (SR) models is among the best practices for software development in the automotive and aeronautics industry. SR models allow to formally verify the correctness of the design and to automatically generate the implementation cod...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Proceedings of the Conference on Design, Automation and Test in Europe S. 206 - 211
Hauptverfasser:	Di Natale, Marco, Zeng, Haibo
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	San Jose, CA, USA EDA Consortium 12.03.2012
Schriftenreihe:	ACM Conferences
Schlagworte:	Computer systems organization > Embedded and cyber-physical systems Computer systems organization > Real-time systems Computing methodologies > Artificial intelligence > Control methods Computing methodologies > Artificial intelligence > Control methods > Computational control theory Computing methodologies > Modeling and simulation > Model development and analysis
ISBN:	3981080181, 9783981080186
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!