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!
Popis
Shrnutí: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 code. This improves productivity and, more importantly, can ensure a correct software implementation (preserving the model semantics). Previous research focuses on the concurrent implementation of the dataflow part of SR models, including the optimization of the block-to-task mapping and communication buffer sizing. When the system also consists of blocks implementing finite state machines, as in modern modeling tools like Simulink and SCADE, the task implementation can be further optimized with respect to time and memory. In this paper we analyze problems and opportunities in the implementation of finite state machine subsystems. We define the constraints and efficient policies for the task implementation of such systems.
ISBN:3981080181
9783981080186
DOI:10.5555/2492708.2492760