29082 search results - page 7 / 5817 » The Time-Triggered Model of Computation |
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
In this paper we consider Loosely Time-Triggered Architectures (LTTA) as a networked infrastructure for deploying discrete control. LTTA are distributed architectures in which 1/ ...
EMSOFT
2007
Springer
14 years 2 months ago
2007
Springer
We address the problem of mapping a set of processes which communicate synchronously on a distributed platform. The Time Triggered Architecture (TTA) proposed by Kopetz for the co...
FORMATS
2004
Springer
13 years 11 months ago
2004
Springer
We discuss the modeling and verification of real-time systems using the SAL model checker. A new modeling framework based on event calendars enables dense timed systems to be descr...
BIRTHDAY
2006
Springer
13 years 11 months ago
2006
Springer
We describe a gate level design of a FlexRay-like bus interface. An electronic control unit (ECU) is obtained by integrating this interface into the design of the verified VAMP pro...
SEUS
2007
IEEE
14 years 2 months ago
2007
IEEE
In the literature there exist many proposed architectures for sensor fusion applications. This paper briefly reviews some of the most common approaches, i. e., the JDL fusion arch...