58 search results - page 3 / 12 » Implementing Synchronous Models on Loosely Time Triggered Ar... |
EMSOFT
2006
Springer
13 years 9 months ago
2006
Springer
We describe a simple scheme for mapping synchronous language models, in the form of Boolean Mealy Machines, into timed automata. The mapping captures certain idealized implementat...
ISORC
1998
IEEE
13 years 9 months ago
1998
IEEE
The Time-Triggered Architecture (TTA) provides a computing infrastructure for the design and implementation of dependable distributed embedded systems. A large real-time applicatio...
EUROMICRO
1999
IEEE
13 years 9 months ago
1999
IEEE
In this paper we present an improved scheduling technique for the synthesis of time-triggered embedded systems. Our system model captures both the flow of data and that of control...
HASE
2008
IEEE
13 years 5 months ago
2008
IEEE
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
SSIRI
2010
13 years 3 months ago
2010
—We describe how to use a timeband architecture to model real-time requirements. The architecture separates requirements that use different time units, producing a family of mode...