Design of Safety-Critical Java Level 1 Applications Using Affine Abstract Clocks

Adnan Bouakaz 1, * Jean-Pierre Talpin 1
* Auteur correspondant
1 ESPRESSO - Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : Safety-critical Java (SCJ) is designed to enable development of applications that are amenable to certification under safety-critical standards. However, its shared-memory concurrency model causes several problems such as data races, deadlocks, and priority inversion. We propose therefore a dataflow design model of SCJ applications in which periodic and aperiodic tasks communicate only through lock- free channels. We provide the necessary tools that compute scheduling parameters of tasks (i.e. periods, phases, priorities, etc) so that uniprocessor/multiprocessor preemptive fixed-priority schedulability is ensured and the throughput is maximized. Furthermore, the resulted schedule together with the computed channel sizes ensure underflow/overflow- free communications. The scheduling approach consists in constructing an abstract affine schedule of the dataflow graph and then concretizing it.
Type de document :
Communication dans un congrès
International Workshop on Software and Compilers for Embedded Systems, Jun 2013, St. Goar, Germany. pp.58-67, 2013, 〈10.1145/2463596.2463600〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00916487
Contributeur : Adnan Bouakaz <>
Soumis le : mardi 10 décembre 2013 - 12:49:50
Dernière modification le : mercredi 11 avril 2018 - 02:01:20

Lien texte intégral

Identifiants

Citation

Adnan Bouakaz, Jean-Pierre Talpin. Design of Safety-Critical Java Level 1 Applications Using Affine Abstract Clocks. International Workshop on Software and Compilers for Embedded Systems, Jun 2013, St. Goar, Germany. pp.58-67, 2013, 〈10.1145/2463596.2463600〉. 〈hal-00916487〉

Partager

Métriques

Consultations de la notice

256