Back to Search
Start Over
Rigorous Component-Based System Design - (Invited Paper)
- Source :
- Rewriting Logic and Its Applications-9th International Workshop, WRLA 2012, Revised Selected Papers, Rewriting Logic and Its Applications-9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Rewriting Logic and Its Applications-9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Mar 2012, Tallin, Estonia. pp.1-9, ⟨10.1007/978-3-642-34005-5_1⟩, Rewriting Logic and Its Applications ISBN: 9783642340048, WRLA
- Publication Year :
- 2012
- Publisher :
- HAL CCSD, 2012.
-
Abstract
- International audience; Rigorous system design requires the use of a single powerful component framework allowing the representation of the designed system at different levels of detail, from application software to its implementation. This is essential for ensuring the overall coherency and correctness. The paper introduces a rigorous design flow based on the BIP (Behavior, Interaction, Priority) component framework [1]. This design flow relies on several, tool-supported, source-to-source transformations allowing to progressively and correctly transform high level application software towards efficient implementations for specific platforms.
Details
- Language :
- English
- ISBN :
- 978-3-642-34004-8
- ISBNs :
- 9783642340048
- Database :
- OpenAIRE
- Journal :
- Rewriting Logic and Its Applications-9th International Workshop, WRLA 2012, Revised Selected Papers, Rewriting Logic and Its Applications-9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Rewriting Logic and Its Applications-9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Mar 2012, Tallin, Estonia. pp.1-9, ⟨10.1007/978-3-642-34005-5_1⟩, Rewriting Logic and Its Applications ISBN: 9783642340048, WRLA
- Accession number :
- edsair.doi.dedup.....221fb9049e8bc5497630a88ccc0cb149