More Web Proxy on the site http://driver.im/

research-article

Modeling synchronous systems in BIP

Authors:

Marius Dorel Bozga,

Vassiliki Sfyrla,

Joseph SifakisAuthors Info & Claims

EMSOFT '09: Proceedings of the seventh ACM international conference on Embedded software

Pages 77 - 86

https://doi.org/10.1145/1629335.1629347

Published: 12 October 2009 Publication History

Abstract

We present a general approach for modeling synchronous component-based systems. These are systems of synchronous components strongly synchronized by a common action that initiates steps of each component. We propose a general model for synchronous systems. Steps are described by acyclic Petri nets equipped with data and priorities. Petri nets are used to model concurrent flow of computation. Priorities are instrumental for enforcing run-to-completion in the execution of a step.

We study a class of well-triggered synchronous systems which are by construction deadlock-free and their computation within a step is confluent. For this class, the behavior of components is modeled by modal flow graphs. These are acyclic graphs representing three different types of dependency between two events p and q: strong dependency (p must follow q), weak dependency (p may follow q), conditional dependency (if both p and q occur then p must follow q).

We propose a translation of Lustre into well-triggered synchronous systems. This translation is modular and exhibits not only data-flow connections between nodes but also their synchronization by using clocks.

References

[1]

A. Basu, M. Bozga, and J. Sifakis. Modeling heterogeneous real-time systems in BIP. In Proceedings of SEFM'06, pages 3--12. invited talk.

Digital Library

[2]

A. Benveniste, B. Caillaud, L. P. Carloni, P. Caspi, and A. L. Sangiovanni-Vincentelli. Composing heterogeneous reactive systems. ACM-TECS, 7(4), 2008.

Digital Library

[3]

S. Bliudze and J. Sifakis. A notion of glue expressiveness for component-based systems. In Proceedings of CONCUR'08, LNCS 5201, pages 508--522, 2008.

Digital Library

[4]

M. Bozga, M. Jaber, and J. Sifakis. Source-to-source architecture transformation for performance optimization in BIP. In IEEE Symposium on Industrial Embedded Systems (SIES'09), 2009.

[5]

M. Bozga, V. Sfyrla, and J. Sifakis. Modeling synchronous systems in BIP. Technical Report TR-2009-8, Verimag.

Digital Library

[6]

S. L. Campbell, J.-P. Chancelier, and R. Nikoukhah. Modeling and Simulation in Scilab/Scicos. Springer.

Digital Library

[7]

P. Combes, D. Harel, and H. Kugler. Modeling and verification of a telecommunication application using live sequence charts and the play-engine tool. In Proceedings of ATVA'05, LNCS 3707, pages 414--428.

Digital Library

[8]

F. Commoner, A. W. Holt, S. Even, and A. Pnueli. Marked directed graphs. Computer System Sciences, 5(5):511--523, 1971.

Digital Library

[9]

J. Eker, J. W. Janneck, E. A. Lee, J. Liu, X. Liu, J. Ludvig, S. Neuendorffer, S. Sachs, and Y. Xiong. Taming heterogeneity - the Ptolemy approach. Proceedings of IEEE, 91(1):127--144, 2003.

[10]

P. L. Guernic, T. Gautier, M. L. Borgne, and C. L. Maire. Programming real time applications with Signal. Proceedings of IEEE, 79(9):1321--1336, 1991.

[11]

N. Halbwachs. About synchronous programming and abstract interpretation. SCP, 31(1):75--89, 1998.

Digital Library

[12]

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous dataflow programming language Lustre. Proceedings of IEEE, 79(9):1305--1320, 1991.

[13]

D. Harel and S. Maoz. Assert and negate revisited: Modal semantics for UML sequence diagrams. Software and System Modeling, 7(2):237--252, 2008.

[14]

K. G. Larsen, U. Nyman, and A. Wasowski. Modal i/o automata for interface and product line theories. In Proceedings of ESOP'07, LNCS 4421, pages 64--79.

Digital Library

[15]

F. Maraninchi and T. Bouhadiba. 42: Programmable models of computation for a component-based approach to heterogeneous embedded systems. In Proceedings of ACM-GPCE'07.

Digital Library

[16]

D. Nowak. Synchronous structures. Information and Computation, 204(8):1295--1324, 2006.

Digital Library

[17]

Y. Zhou and E. A. Lee. Causality interfaces for actor networks. ACM-TECS, 7(3), 2008.

Digital Library

Cited By

Smara MAliouat MHarous SPathan A(2021)Robustness improvement of component-based cloud computing systemsThe Journal of Supercomputing10.1007/s11227-021-04054-278:4(4977-5009)Online publication date: 14-Sep-2021
https://doi.org/10.1007/s11227-021-04054-2
Ardeshir-Larijani EFarhadi AArbab F(2020)Simulation of Hybrid Reo Connectors2020 CSI/CPSSI International Symposium on Real-Time and Embedded Systems and Technologies (RTEST)10.1109/RTEST49666.2020.9140111(1-10)Online publication date: Jun-2020
https://doi.org/10.1109/RTEST49666.2020.9140111
Bliudze SFuric SSifakis JViel A(2019)Rigorous design of cyber-physical systemsSoftware and Systems Modeling (SoSyM)10.1007/s10270-017-0642-518:3(1613-1636)Online publication date: 1-Jun-2019
https://dl.acm.org/doi/10.1007/s10270-017-0642-5
Show More Cited By

Index Terms

Modeling synchronous systems in BIP

Recommendations

Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications
The Fourth Special Issue on Applications of Concurrency to System Design (ACSD05)

In this paper, we introduce a new model for the representation of distributed asynchronous implementations of synchronous specifications. The model covers classical implementations, where a notion of global synchronization is preserved by means of ...
Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications
The Fourth Special Issue on Applications of Concurrency to System Design (ACSD05)

In this paper, we introduce a new model for the representation of distributed asynchronous implementations of synchronous specifications. The model covers classical implementations, where a notion of global synchronization is preserved by means of ...
A Theoretical Foundation for Timing Synchronous Systems Using Asynchronous Structures

Timing of synchronous systems is an everlasting stumbling block to the booming demands for lower power consumption and higher operation speeds in the electronics industry. This hardship is aggravated by the growing levels of variability in state-of-the-...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

EMSOFT '09: Proceedings of the seventh ACM international conference on Embedded software

October 2009

332 pages

ISBN:9781605586274

DOI:10.1145/1629335

Program Chairs:
Samarjit Chakraborty
TU Munich, Germany
,
Nicolas Halbwachs
Verimag/CNRS, Grenoble, France

Copyright © 2009 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 12 October 2009

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

ESWeek '09

Sponsor:

ESWeek '09: Fifth Embedded Systems Week

October 12 - 16, 2009

Grenoble, France

Acceptance Rates

EMSOFT '09 Paper Acceptance Rate 33 of 106 submissions, 31%;

Overall Acceptance Rate 60 of 203 submissions, 30%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

20
Total Citations
View Citations
247
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)0

Reflects downloads up to 22 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Smara MAliouat MHarous SPathan A(2021)Robustness improvement of component-based cloud computing systemsThe Journal of Supercomputing10.1007/s11227-021-04054-278:4(4977-5009)Online publication date: 14-Sep-2021
https://doi.org/10.1007/s11227-021-04054-2
Ardeshir-Larijani EFarhadi AArbab F(2020)Simulation of Hybrid Reo Connectors2020 CSI/CPSSI International Symposium on Real-Time and Embedded Systems and Technologies (RTEST)10.1109/RTEST49666.2020.9140111(1-10)Online publication date: Jun-2020
https://doi.org/10.1109/RTEST49666.2020.9140111
Bliudze SFuric SSifakis JViel A(2019)Rigorous design of cyber-physical systemsSoftware and Systems Modeling (SoSyM)10.1007/s10270-017-0642-518:3(1613-1636)Online publication date: 1-Jun-2019
https://dl.acm.org/doi/10.1007/s10270-017-0642-5
Molnár VGraics BVörös AMajzik IVarró DChaudron MCrnkovic IChechik MHarman M(2018)The Gamma statechart composition frameworkProceedings of the 40th International Conference on Software Engineering: Companion Proceeedings10.1145/3183440.3183489(113-116)Online publication date: 27-May-2018
https://dl.acm.org/doi/10.1145/3183440.3183489
Chabane SAmeur-Boulifa RMezghiche M(2017)Rethinking of I/O-automata composition2017 Forum on Specification and Design Languages (FDL)10.1109/FDL.2017.8303892(1-7)Online publication date: Sep-2017
https://doi.org/10.1109/FDL.2017.8303892
Chabane SAmeur-Boulifa RMezghiche M(2017)Formal framework for automated analysis and verification of distributed reactive applications2017 First International Conference on Embedded & Distributed Systems (EDiS)10.1109/EDIS.2017.8284026(1-6)Online publication date: Dec-2017
https://doi.org/10.1109/EDIS.2017.8284026
Smara MAliouat MPathan AAliouat Z(2017)Acceptance Test for Fault Detection in Component-based Cloud Computing and SystemsFuture Generation Computer Systems10.1016/j.future.2016.06.03070(74-93)Online publication date: May-2017
https://doi.org/10.1016/j.future.2016.06.030
Bensalem SBozga MLegay ANguyen TSifakis JYan R(2016)Component-based verification using incremental design and invariantsSoftware and Systems Modeling (SoSyM)10.1007/s10270-014-0410-815:2(427-451)Online publication date: 1-May-2016
https://dl.acm.org/doi/10.1007/s10270-014-0410-8
Mounya SMakhlouf AZibouda A(2015)Fault detection in component-based models: Using BIP models2015 12th International Symposium on Programming and Systems (ISPS)10.1109/ISPS.2015.7245007(1-9)Online publication date: Apr-2015
https://doi.org/10.1109/ISPS.2015.7245007
TRIPAKIS SSTERGIOU CSHAVER CLEE E(2013)A modular formal semantics for PtolemyMathematical Structures in Computer Science10.1017/S096012951200027823:4(834-881)Online publication date: 8-Jul-2013
https://doi.org/10.1017/S0960129512000278
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents