Using Time Instead of Timeout for Fault-Tolerant Distributed Systems.
ACM Transactions on Programming Languages and Systems (TOPLAS)
Clock synchronization in distributed real-time systems
IEEE Transactions on Computers - Special Issue on Real-Time Systems
Calculating the maximum, execution time of real-time programs
Real-Time Systems
Implementing fault-tolerant services using the state machine approach: a tutorial
ACM Computing Surveys (CSUR)
The Testability of Distributed Real-Time Systems
The Testability of Distributed Real-Time Systems
The cluster compiler—a tool for the design of time-triggered real-time systems
LCTES '95 Proceedings of the ACM SIGPLAN 1995 workshop on Languages, compilers, & tools for real-time systems
Design and Evaluation of a Window-Consistent Replication Service
IEEE Transactions on Computers
A Primary-Backup Channel Approach to Dependable Real-Time Communication in Multihop Networks
IEEE Transactions on Computers
Scheduling with optimized communication for time-triggered embedded systems
CODES '99 Proceedings of the seventh international workshop on Hardware/software codesign
A Real-Time Primary-Backup Replication Service
IEEE Transactions on Parallel and Distributed Systems
Real-Time Dependable Channels: Customizing QoS Attributes for Distributed Systems
IEEE Transactions on Parallel and Distributed Systems
Task set design tools for an embedded distributed control system
Proceedings of the 8th ACM SIGOPS European workshop on Support for composing distributed applications
ARMADA Middleware and Communication Services
Real-Time Systems
Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms
IEEE Transactions on Software Engineering
Design and Implementation of Efficient Message Scheduling for Controller Area Network
IEEE Transactions on Computers
Bus access optimization for distributed embedded systems based on schedulability analysis
DATE '00 Proceedings of the conference on Design, automation and test in Europe
Scheduling Real-Time Systems with End-to-End Timing Constraints Using the Distributed Pinwheel Model
IEEE Transactions on Computers
Design of Multi-Invariant Data Structures for Robust Shared Accesses in Multiprocessor Systems
IEEE Transactions on Software Engineering
Minimizing system modification in an incremental design approach
Proceedings of the ninth international symposium on Hardware/software codesign
An approach to incremental design of distributed embedded systems
Proceedings of the 38th annual Design Automation Conference
Proving "no cliques" in a protocol
ACSC '01 Proceedings of the 24th Australasian conference on Computer science
Fail-Awareness: An Approach to Construct Fail-Safe Systems
Real-Time Systems
Verification of non-functional properties of a composable architecture with Petri nets
Fundamenta Informaticae
Economic Online Self-Test in the Time-Triggered Architecture
IEEE Design & Test
Early-Delivery Dynamic Atomic Broadcast
DISC '02 Proceedings of the 16th International Conference on Distributed Computing
HMM: A Cluster Membership Service
Euro-Par '01 Proceedings of the 7th International Euro-Par Conference Manchester on Parallel Processing
Processes, Interfaces and Platforms. Embedded Software Modeling in Metropolis
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Platform-Based Embedded Software Design for Multi-vehicle Multi-modal Systems
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Bus Architectures for Safety-Critical Embedded Systems
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
An Overview of Formal Verification for the Time-Triggered Architecture
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Parametric Verification of a Group Membership Algorithm
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Synthesis of Robust Control Systems under Resource Constraints
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Combining SDL with Synchronous Data Flow Modelling for Distributed Control Systems
SDL '01 Proceedings of the 10th International SDL Forum Copenhagen on Meeting UML
Increasing System Safety for By-Wire Applications in Vehicles by Using a Time Triggered Architecture
SAFECOMP '98 Proceedings of the 17th International Conference on Computer Safety, Reliability and Security
Hierarchically Performed Hazard Origin and Propagation Studies
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Quasi-Static Scheduling of Independent Tasksfor Reactive Systems
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Time weaver: a software-through-models framework for embedded real-time systems
Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems
From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications
Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems
FITS: a fault injection architecture for time-triggered systems
ACSC '03 Proceedings of the 26th Australasian computer science conference - Volume 16
A bandwidth reallocation scheme for Ethernet-based real-time communication
RTCSA '95 Proceedings of the 2nd International Workshop on Real-Time Computing Systems and Applications
An Object-Oriented Fault-Tolerance Framework based on Specialization Techniques
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
Assessing Software Reliability Performance Under Highly Critical But Infrequent Event Occurrences
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Fault Tolerance in Safety Critical Automotive Applications: Cost of Agreement as a Limiting Factor
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
Distributed Diagnosis in Dynamic Fault Environments
IEEE Transactions on Parallel and Distributed Systems
An Efficient TDMA Start-Up and Restart Synchronization Approach for Distributed Embedded Systems
IEEE Transactions on Parallel and Distributed Systems
Proof-Guided Testing: An Experimental Study
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Evolving car designs using model-based automated safety analysis and optimisation techniques
Journal of Systems and Software - Special issue: Computer software & applications
An overview of embedded system design education at berkeley
ACM Transactions on Embedded Computing Systems (TECS)
Self-healing components in robust software architecture for concurrent and distributed systems
Science of Computer Programming - Special issue on system and software architectures(IWSSA'04)
Translating discrete-time simulink to lustre
ACM Transactions on Embedded Computing Systems (TECS)
Embedded system education: a new paradigm for engineering schools?
ACM SIGBED Review - Special issue: The first workshop on embedded system education (WESE)
Parametric Verification of a Group Membership Algorithm
Theory and Practice of Logic Programming
Dependability through Assured Reconfiguration in Embedded System Software
IEEE Transactions on Dependable and Secure Computing
Quasi-static Scheduling for Concurrent Architectures
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'03)
Online Diagnosis and Recovery: On the Choice and Impact of Tuning Parameters
IEEE Transactions on Dependable and Secure Computing
Software components for reliable automotive systems
Proceedings of the conference on Design, automation and test in Europe
Predictable programming on a precision timed architecture
CASES '08 Proceedings of the 2008 international conference on Compilers, architectures and synthesis for embedded systems
A Generic Group Communication Approach for Hybrid Distributed Systems
DAIS '09 Proceedings of the 9th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems
Applying genetic algorithm for the development of the components-based embedded system
Computer Standards & Interfaces
Advances in automotive digital communications
Computer Standards & Interfaces
Reliable communication for DuST networks
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Generalizable safety annotations for specification of failure patterns
Software—Practice & Experience
Fault tolerance for embedded control system
ISCIT'09 Proceedings of the 9th international conference on Communications and information technologies
Capture and reuse of composable failure patterns
International Journal of Critical Computer-Based Systems
Constructing real-time group communication middleware using the resource kernel
RTSS'10 Proceedings of the 21st IEEE conference on Real-time systems symposium
Automotive electronics: present state and future prospects
FTCS'95 Proceedings of the Twenty-Fifth international conference on Fault-tolerant computing
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
From operating-system correctness to pervasively verified applications
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
Schedulability analysis for systems with data and control dependencies
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
Review of some advanced methodologies
Embedded Systems Design
Static-priority scheduling of sporadic messages on a wireless channel
OPODIS'05 Proceedings of the 9th international conference on Principles of Distributed Systems
Towards modularized verification of distributed time-triggered systems
FM'06 Proceedings of the 14th international conference on Formal Methods
Formalization and correctness of the PALS architectural pattern for distributed real-time systems
Theoretical Computer Science
Quasi-static Scheduling for Concurrent Architectures
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'03)
Verification of Non-functional Properties of a Composable Architecture with Petrinets
Fundamenta Informaticae - Concurrency Specification and Programming Workshop (CS&P'2001)
Hi-index | 4.11 |
The Time-Triggered Protocol integrates such services as predictable message transmission, clock synchronization, membership, mode change, and blackout handling. It also supports replicated nodes and replicated communication channels. The authors describe their architectural assumptions, fault hypothesis, and objectives for the TTP protocol. After they elaborate on its rationale, they give a detailed protocol description. They also discuss TTP characteristics and compare its performance with that of other protocols proposed for control applications.