Formal Modeling of Embedded Systems with Explicit Schedules and Routes

Julien Boucaron 1 Anthony Coadou 1 Robert De Simone 1
1 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : A main goal of compilation is to efficiently map application programs onto architectural execution platforms, while hiding the details of the latter to the programmer through high-level programming languages. Of course this is only feasible inside a certain range of constructs, and the judicious design of sequential programming languages and computer architectures that match one another has been a decadeslong process. Now the advent of multicore processors brings radical changes to this topic, bringing forth concurrency as a key element in efficiency, both for application design and architecture computing power. The shift is mostly prompted by technological factors, namely the ability to cram several processors on a single chip, and the diminishing gains of Instruction Level Parallelism techniques used in former architectures. Still, the definition of high-level programming (and more generally, application design) formalisms matching the new era is a largely unsolved issue.
Type de document :
Chapitre d'ouvrage
Sandeep K. Shukla and Jean-Pierre Talpin. Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction, Springer Science+Business Media, LLC 2010, pp.38, 2010, 978-1-4419-6399-4
Liste complète des métadonnées

https://hal.inria.fr/inria-00495667
Contributeur : Frédéric Mallet <>
Soumis le : lundi 28 juin 2010 - 14:50:21
Dernière modification le : lundi 4 décembre 2017 - 15:14:09

Identifiants

  • HAL Id : inria-00495667, version 1

Collections

Citation

Julien Boucaron, Anthony Coadou, Robert De Simone. Formal Modeling of Embedded Systems with Explicit Schedules and Routes. Sandeep K. Shukla and Jean-Pierre Talpin. Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction, Springer Science+Business Media, LLC 2010, pp.38, 2010, 978-1-4419-6399-4. 〈inria-00495667〉

Partager

Métriques

Consultations de la notice

228