Skip to Main content Skip to Navigation
Conference papers

Modeling Synchronous Systems in BIP

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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [17 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00722479
Contributor : Marius Bozga <>
Submitted on : Thursday, August 2, 2012 - 8:46:04 AM
Last modification on : Friday, July 17, 2020 - 11:48:05 AM
Long-term archiving on: : Saturday, November 3, 2012 - 3:00:11 AM

File

emsoft.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Marius Bozga, Vassiliki Sfyrla, Joseph Sifakis. Modeling Synchronous Systems in BIP. 9th ACM & IEEE International conference on Embedded software, EMSOFT 2009, Oct 2009, Grenoble, France. pp.77-86, ⟨10.1145/1629335.1629347⟩. ⟨hal-00722479⟩

Share

Metrics

Record views

499

Files downloads

800