8 search results - page 1 / 2 » Loosely Time-Triggered Architectures for Cyber-Physical Syst... |
DATE
2010
IEEE
13 years 9 months ago
2010
IEEE
Abstract—Cyber-Physical Systems require distributed architectures to support safety critical real-time control. Kopetz’ Time-Triggered Architectures (TTA) have been proposed as...
EMSOFT
2010
Springer
13 years 2 months ago
2010
Springer
Abstract--Cyber-Physical Systems require distributed architectures to support safety critical real-time control. Kopetz' Time-Triggered Architectures (TTA) have been proposed ...
ICFEM
2003
Springer
13 years 9 months ago
2003
Springer
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...
CDC
2008
IEEE
13 years 11 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/ ...
TC
2008
13 years 4 months ago
2008
Synchronous systems offer clean semantics and an easy verification path at the expense of often inefficient implementations. Capturing design specifications as synchronous models a...