Distributed discrete-event simulation
ACM Computing Surveys (CSUR)
Parallel and Distribution Simulation Systems
Parallel and Distribution Simulation Systems
Performance analysis of greedy shapers in real-time systems
Proceedings of the conference on Design, automation and test in Europe: Proceedings
System architecture evaluation using modular performance analysis: a case study
International Journal on Software Tools for Technology Transfer (STTT)
A Programming Model for Time-Synchronized Distributed Real-Time Systems
RTAS '07 Proceedings of the 13th IEEE Real Time and Embedded Technology and Applications Symposium
Mapping Applications to Tiled Multiprocessor Embedded Systems
ACSD '07 Proceedings of the Seventh International Conference on Application of Concurrency to System Design
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
Sensitivity analysis of complex embedded real-time systems
Real-Time Systems
The Case for Timing-Centric Distributed Software Invited Paper
ICDCSW '09 Proceedings of the 2009 29th IEEE International Conference on Distributed Computing Systems Workshops
Monotonicity and run-time scheduling
EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
System level performance analysis for real-time automotive multicore and network architectures
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Reliability Analysis of Single Bus Communication with Real-Time Requirements
PRDC '09 Proceedings of the 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing
Simultaneous budget and buffer size computation for throughput-constrained task graphs
Proceedings of the Conference on Design, Automation and Test in Europe
Modeling timed concurrent systems
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
| Hi-index | 0.00 |
Approaches have been developed to verify that real-time multi-processor systems meet their timeliness constraints. Such approaches make assumptions on the model of computation, the load placed on the multi-processor system, and the faults that can arise. This heterogeneous set of assumptions make these approaches hard to compare. To clarify the positioning of four recently developed approaches, an overview will be presented during this tutorial. For each approach, the application domain in which its assumptions are realistic and the dominant application requirements that have driven its development are presented. Next to providing timeliness guarantees, attention is given to the robustness aspects of each approach; e.g. against faults such as overload.