Implementing Multi-Periodic Critical Systems: from Design to Code Generation
This article presents a complete scheme for the development of Critical Embedded Systems with Multiple Real-Time Constraints. The system is programmed with a language that extends the synchronous approach with high-level real-time primitives. It enables to assemble in a modular and hierarchical mann...
Main Authors: | , , , |
---|---|
Format: | Article |
Language: | English |
Published: |
Open Publishing Association
2010-03-01
|
Series: | Electronic Proceedings in Theoretical Computer Science |
Online Access: | http://arxiv.org/pdf/1003.2871 |
id |
doaj-18d71b999a5b4fe38de56f7dc2d841af |
---|---|
record_format |
Article |
spelling |
doaj-18d71b999a5b4fe38de56f7dc2d841af2020-11-24T23:32:45ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802010-03-0120Proc. FMA 2009344810.4204/EPTCS.20.4Implementing Multi-Periodic Critical Systems: from Design to Code GenerationJulien ForgetFrédéric BoniolDavid LesensClaire PagettiThis article presents a complete scheme for the development of Critical Embedded Systems with Multiple Real-Time Constraints. The system is programmed with a language that extends the synchronous approach with high-level real-time primitives. It enables to assemble in a modular and hierarchical manner several locally mono-periodic synchronous systems into a globally multi-periodic synchronous system. It also allows to specify flow latency constraints. A program is translated into a set of real-time tasks. The generated code (C code) can be executed on a simple real-time platform with a dynamic-priority scheduler (EDF). The compilation process (each algorithm of the process, not the compiler itself) is formally proved correct, meaning that the generated code respects the real-time semantics of the original program (respect of periods, deadlines, release dates and precedences) as well as its functional semantics (respect of variable consumption). http://arxiv.org/pdf/1003.2871 |
collection |
DOAJ |
language |
English |
format |
Article |
sources |
DOAJ |
author |
Julien Forget Frédéric Boniol David Lesens Claire Pagetti |
spellingShingle |
Julien Forget Frédéric Boniol David Lesens Claire Pagetti Implementing Multi-Periodic Critical Systems: from Design to Code Generation Electronic Proceedings in Theoretical Computer Science |
author_facet |
Julien Forget Frédéric Boniol David Lesens Claire Pagetti |
author_sort |
Julien Forget |
title |
Implementing Multi-Periodic Critical Systems: from Design to Code Generation |
title_short |
Implementing Multi-Periodic Critical Systems: from Design to Code Generation |
title_full |
Implementing Multi-Periodic Critical Systems: from Design to Code Generation |
title_fullStr |
Implementing Multi-Periodic Critical Systems: from Design to Code Generation |
title_full_unstemmed |
Implementing Multi-Periodic Critical Systems: from Design to Code Generation |
title_sort |
implementing multi-periodic critical systems: from design to code generation |
publisher |
Open Publishing Association |
series |
Electronic Proceedings in Theoretical Computer Science |
issn |
2075-2180 |
publishDate |
2010-03-01 |
description |
This article presents a complete scheme for the development of Critical Embedded Systems with Multiple Real-Time Constraints. The system is programmed with a language that extends the synchronous approach with high-level real-time primitives. It enables to assemble in a modular and hierarchical manner several locally mono-periodic synchronous systems into a globally multi-periodic synchronous system. It also allows to specify flow latency constraints. A program is translated into a set of real-time tasks. The generated code (C code) can be executed on a simple real-time platform with a dynamic-priority scheduler (EDF). The compilation process (each algorithm of the process, not the compiler itself) is formally proved correct, meaning that the generated code respects the real-time semantics of the original program (respect of periods, deadlines, release dates and precedences) as well as its functional semantics (respect of variable consumption). |
url |
http://arxiv.org/pdf/1003.2871 |
work_keys_str_mv |
AT julienforget implementingmultiperiodiccriticalsystemsfromdesigntocodegeneration AT fredericboniol implementingmultiperiodiccriticalsystemsfromdesigntocodegeneration AT davidlesens implementingmultiperiodiccriticalsystemsfromdesigntocodegeneration AT clairepagetti implementingmultiperiodiccriticalsystemsfromdesigntocodegeneration |
_version_ |
1725533381800755200 |