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

Full description

Saved in:

Bibliographic Details
Published in:	Proceedings of the Conference on Design, Automation and Test in Europe pp. 206 - 211
Main Authors:	Di Natale, Marco, Zeng, Haibo
Format:	Conference Proceeding
Language:	English
Published:	San Jose, CA, USA EDA Consortium 12.03.2012
Series:	ACM Conferences
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!