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...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	Proceedings of the Conference on Design, Automation and Test in Europe s. 206 - 211
Hlavní autori:	Di Natale, Marco, Zeng, Haibo
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	San Jose, CA, USA EDA Consortium 12.03.2012
Edícia:	ACM Conferences
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!