Rigorous component-based system design

Authors:
Ananda Basu;Saddek Bensalem;Marius Bozga;Joseph Sifakis
Affiliations:
VERIMAG Laboratory, Université Joseph Fourier Grenoble, CNRS, France;VERIMAG Laboratory, Université Joseph Fourier Grenoble, CNRS, France;VERIMAG Laboratory, Université Joseph Fourier Grenoble, CNRS, France;VERIMAG Laboratory, Université Joseph Fourier Grenoble, CNRS, France
Venue:
WRLA'12 Proceedings of the 9th international conference on Rewriting Logic and Its Applications
Year:
2012

Citing 6
Cited 0

Synchronous Programming of Reactive Systems

Synchronous Programming of Reactive Systems
A Calculus of Communicating Systems

A Calculus of Communicating Systems
Real-Time Systems and Programming Languages: ADA 95, Real-Time Java, and Real-Time POSIX

Real-Time Systems and Programming Languages: ADA 95, Real-Time Java, and Real-Time POSIX
Modeling Heterogeneous Real-time Components in BIP

SEFM '06 Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods
A Notion of Glue Expressiveness for Component-Based Systems

CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
The embedded systems design challenge

FM'06 Proceedings of the 14th international conference on Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.