HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Simulation and Verification of Asynchronous Systems by means of a Synchronous Model

Abstract : Synchrony and asynchrony are commonly opposed to each other. Now, in embedded applications, actual solutions are often situated in between, with synchronous processes composed in a partially asynchronous way. Examples of such intermediate solutions are GALS, quasi-synchronous periodic processes, deadline-driven task scheduling. . . In this paper, we illustrate the use of the synchronous paradigm to model and validate such partially asynchronous applications. We show that, through the use of sporadic activation of processes and simulation of nondeterminism by the way of auxiliary inputs, the synchronous paradigm allows a precise control of asynchrony. The approach is illustrated on a real case study, proposed in the framework of the European Integrated project "Assert".
Document type :
Conference papers
Complete list of metadata

Cited literature [25 references]  Display  Hide  Download

Contributor : Nicolas Halbwachs Connect in order to contact the contributor
Submitted on : Wednesday, November 21, 2007 - 1:45:27 PM
Last modification on : Tuesday, October 19, 2021 - 1:48:09 PM
Long-term archiving on: : Monday, April 12, 2010 - 3:05:07 AM


Files produced by the author(s)




Nicolas Halbwachs, Louis Mandel. Simulation and Verification of Asynchronous Systems by means of a Synchronous Model. Sixth International Conference on Application of Concurrency to System Design (ACSD'06), Jun 2006, Turku, Finland. pp.3-14, ⟨10.1109/ACSD.2006.24⟩. ⟨hal-00189567⟩



Record views


Files downloads