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ženo v:

Podrobná bibliografie
Vydáno v:	Proceedings of the Conference on Design, Automation and Test in Europe s. 206 - 211
Hlavní autoři:	Di Natale, Marco, Zeng, Haibo
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	San Jose, CA, USA EDA Consortium 12.03.2012
Edice:	ACM Conferences
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!