Formally Verified On-Line Diagnosis
IEEE Transactions on Software Engineering
Safe Automotive Software Development
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
An integrated architecture for future car generations
Real-Time Systems
Byzantine-tolerant, information propagation in untrustworthy and unreliable networks
NBiS'07 Proceedings of the 1st international conference on Network-based information systems
A framework for hardware-in-the-loop testing of an integrated architecture
SEUS'07 Proceedings of the 5th IFIP WG 10.2 international conference on Software technologies for embedded and ubiquitous systems
Clock synchronization issues in multi-cluster time-triggered networks
MMB&DFT'10 Proceedings of the 15th international GI/ITG conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance
| Hi-index | 0.00 |
From the Publisher:This book focuses on fault tolerance concepts and hard real-time perspectives that apply jointly to ultra-dependable systems. It explores advances in system design and technology that have resulted in the increasing application of ultra-dependable systems for critical control applications.