A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
The Signal Synchronous Multiclock Approach to the Design of Distributed Embedded Systems
2010
IEEE Transactions on Parallel and Distributed Systems
This paper presents the design of distributed embedded systems using the synchronous multi-clock model of the SIGNAL language. It proposes a methodology that ensures a correct-by-construction functional implementation of these systems from highlevel models. It shows the capability of the synchronous approach to apply formal techniques and tools that guarantee the reliability of the designed systems. Such a capability is necessary and highly worthy when dealing with safety-critical systems. The
doi:10.1109/tpds.2009.125
fatcat:fiqgmzprcvc7nno7sfy3yly3xa