Computer Communications
The Ravenscar tasking profile for high integrity real-time programs
Proceedings of the 1998 annual ACM SIGAda international conference on Ada
Ethernet: distributed packet switching for local computer networks
Communications of the ACM
Elastic Scheduling for Flexible Workload Management
IEEE Transactions on Computers
Real-Time Systems: Design Principles for Distributed Embedded Applications
Real-Time Systems: Design Principles for Distributed Embedded Applications
Synchronous Programming of Reactive Systems
Synchronous Programming of Reactive Systems
Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications
Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications
Distributed Systems: Concepts and Design
Distributed Systems: Concepts and Design
Giotto: A Time-Triggered Language for Embedded Programming
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
The FTT-Ethernet Protocol: Merging Flexibility,Timeliness and Efficiency
ECRTS '02 Proceedings of the 14th Euromicro Conference on Real-Time Systems
Mode Change Protocols for Real-Time Systems: A Survey and a New Proposal
Real-Time Systems
Improving System Dependability with Functional Alternatives
DSN '04 Proceedings of the 2004 International Conference on Dependable Systems and Networks
A time-triggered ethernet (TTE) switch
Proceedings of the conference on Design, automation and test in Europe: Proceedings
Composition Techniques for Tree Communication Schedules
ECRTS '07 Proceedings of the 19th Euromicro Conference on Real-Time Systems
A dynamic scheduling approach to designing flexible safety-critical systems
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
A Verifiable Language for Programming Real-Time Communication Schedules
IEEE Transactions on Computers
Predictable programming on a precision timed architecture
CASES '08 Proceedings of the 2008 international conference on Compilers, architectures and synthesis for embedded systems
Clock-driven distributed real-time implementation of endochronous synchronous programs
EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
Resource Scopes: Toward Language Support for Compositional Determinism
ISORC '09 Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing
Compensating for Timing Jitter in Computing Systems with General-Purpose Operating Systems
ISORC '09 Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing
A TDMA Ethernet Switch for Dynamic Real-Time Communication
FCCM '10 Proceedings of the 2010 18th IEEE Annual International Symposium on Field-Programmable Custom Computing Machines
EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software
| Hi-index | 0.00 |
Safety-critical distributed real-time systems, such as networked medical devices, must operate according to their specification, because incorrect behaviour can have fatal consequences. A system's design and architecture influences how difficult it is to provide confidence that the system follows the specification. In this work, we summarize and discuss three design choices and the underlying concepts that aim at increasing predictability and analyzability. We investigate mandatory resource reservation to guarantee resource availability, separation of resource consumptions to better manage resource inter-dependency, and enumerative reconfiguration. We use the example of a distributed monitoring system for the human cardiovascular system to substantiate our arguments.