A Methodology and Supporting Tools for the Development of Component-Based Embedded Systems.

Marc Poulhiès (1) , Jacques Pulou (1, 2) , Christophe Rippert (3, 4, 5) , Joseph Sifakis (2, 3)

1 FT R&D - France Télécom Recherche & Développement
2 IMAG - Institut d'Informatique et de Mathématiques Appliquées de Grenoble
3 VERIMAG - IMAG - VERIMAG
4 SARDES - System architecture for reflective distributed computing environments
5 POPS - System and Networking for Portable Objects Proved to be Safe

The paper presents a methodology and supporting tools for developing component-based embedded systems running on resource- limited hardware platforms. The methodology combines two complementary component frameworks in an integrated tool chain: BIP and Think. BIP is a framework for model-based development including a language for the description of heterogeneous systems, as well as associated simulation and verification tools. Think is a software component framework for the generation of small-footprint embedded systems. The tool chain allows generation, from system models described in BIP, of a set of func tionally equivalent Think components. From these and libraries including OS services for a given hardware platform, a minimal system can be generated. We illustrate the results by modeling and implementing a software MPEG encoder on an iPod.

Domaines: Systèmes embarqués

Marc Poulhiès, Jacques Pulou, Christophe Rippert, Joseph Sifakis. A Methodology and Supporting Tools for the Development of Component-Based Embedded Systems.. 13th Monterey Workshop : Compositions of Embedded Systems, Scientific and Industrial Issues, Oct 2006, Paris, France. Lecture Notes in Computer Science. ⟨hal-00309689⟩