Verimag

bibtex

@inproceedings{PPR+06,
    title = { A Methodology and Supporting Tools for the Development of Component-Based Embedded Systems },
    author = {Poulhi\`es, Marc and Pulou, Jacques and Rippert, Christophe and Sifakis, Joseph},
    year = {2006},
    booktitle = {Composition of Embedded Systems. Scientific and Industrial Issues, 13th Monterey Workshop 2006, Paris, France, October 16-18, 2006, Revised Selected Papers},
    pages = {75-96},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {4888},
    team = {DCS, RSD, Other},
    abstract = {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 functionally 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.},
}

URL

Publication Sections


Contact | Site Map | Site powered by SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 818200