Sciweavers

12 search results - page 1 / 3
» Embedded Control: From Asynchrony to Synchrony and Back
Sort
View
EMSOFT
2001
Springer
13 years 9 months ago
Embedded Control: From Asynchrony to Synchrony and Back
Abstract. We propose in this paper a historical perspective of programming issues found in the implementation of control systems, based on the author’s observations for more than...
Paul Caspi
WORDS
2003
IEEE
13 years 10 months ago
Asynchrony and Real-Time Dependable Computing
We examine how computer system problems can be derived from real application problems, with a particular focus on the relevance of some assumptions, especially those related to co...
Gérard Le Lann
EMSOFT
2001
Springer
13 years 9 months ago
Some Synchronization Issues When Designing Embedded Systems from Components
Abstract This paper is sort of a confession. Issues of synchrony, asynchrony, and synchronization, arise frequently in designing embedded systems from components, like everyone I k...
Albert Benveniste
ACSD
2006
IEEE
90views Hardware» more  ACSD 2006»
13 years 8 months ago
Simulation and Verification of Asynchronous Systems by means of a Synchronous Model
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 ...
Nicolas Halbwachs, Louis Mandel
MEMOCODE
2008
IEEE
13 years 11 months ago
Virtual prototyping AADL architectures in a polychronous model of computation
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...
Ma Yue, Jean-Pierre Talpin, Thierry Gautier