A Case Study on Controller Synthesis for Data-Intensive Embedded Systems

Authors:
Abdoulaye Gamatié;Huafeng Yu;Gwenaël Delaval;Éric Rutten
Affiliations:
-;-;-;-
Venue:
ICESS '09 Proceedings of the 2009 International Conference on Embedded Software and Systems
Year:
2009

Citing 0
Cited 4

A language approach to discrete control in computing

Proceedings of the Fifth International Workshop on Feedback Control Implementation and Design in Computing Systems and Networks
A programming language for adaptation control: case study

ACM SIGBED Review - Special Issue on the 2nd International Workshop on Adaptive and Reconfigurable Embedded Systems (APRES'09)
Concurrency bugs in multithreaded software: modeling and analysis using Petri nets

Discrete Event Dynamic Systems
Eliminating concurrency bugs in multithreaded software: an approach based on control of petri nets

PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents an approach for the safe design of data-intensive embedded systems. A multimedia application module of last generation cellular phones is considered as a case study. The OMG standard profile MARTE is used to adequately model the application. The resulting model is then transformed into a synchronous program from which a controller is synthesized by using a formal technique, in order to enforce the safe behavior of the modeled application while meeting quality of service requirements. The whole study is carried out in a design framework, Gaspard, dedicated to high-performance embedded systems.