MAST: Modeling and Analysis Suite for Real Time Applications
ECRTS '01 Proceedings of the 13th Euromicro Conference on Real-Time Systems
A General Framework for Analysing System Properties in Platform-Based Embedded System Designs
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Abstracting functionality for modular performance analysis of hard real-time systems
Proceedings of the 2005 Asia and South Pacific Design Automation Conference
Network calculus: a theory of deterministic queuing systems for the internet
Network calculus: a theory of deterministic queuing systems for the internet
ARCS '09 Proceedings of the 22nd International Conference on Architecture of Computing Systems
Monotonicity and run-time scheduling
EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
Modeling structured event streams in system level performance analysis
Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems
Performance analysis of FlexRay-based systems using real-time calculus, revisited
Proceedings of the 2010 ACM Symposium on Applied Computing
Generation and calibration of compositional performance analysis models for multi-processor systems
SAMOS'09 Proceedings of the 9th international conference on Systems, architectures, modeling and simulation
White box performance analysis considering static non-preemptive software scheduling
Proceedings of the Conference on Design, Automation and Test in Europe
Modeling buffers with data refresh semantics in automotive architectures
EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software
Buffer capacity computation for throughput-constrained modal task graphs
ACM Transactions on Embedded Computing Systems (TECS)
Symbolic system synthesis in the presence of stringent real-time constraints
Proceedings of the 48th Design Automation Conference
Runtime improved computation of path latencies with the real-time calculus
Proceedings of the 1st International Workshop on Worst-Case Traversal Time
ACM Transactions on Embedded Computing Systems (TECS)
Non preemptive static priority with network calculus: enhancement
MMB'12/DFT'12 Proceedings of the 16th international GI/ITG conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance
Compositional analysis of switched ethernet topologies
Proceedings of the Conference on Design, Automation and Test in Europe
Sufficient real-time analysis for an engine control unit with constant angular velocities
Proceedings of the Conference on Design, Automation and Test in Europe
Co-design of control and platform with dropped signals
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems
Sufficient real-time analysis for an engine control unit
Proceedings of the 21st International conference on Real-Time Networks and Systems
Continuity for network calculus
Proceedings of the 21st International conference on Real-Time Networks and Systems
| Hi-index | 0.00 |
The design and analysis of today's complex real-time systems requires advanced methods. Due to ever growing functionality, hardware complexity and component interaction, applying traditional methods like HW/SW cosimulation is getting increasingly difficult. On the other hand, analytic approaches have proven their usefulness and efficiency for system analysis when end-to-end performance figures like delay, throughput and memory consumption are requested. One of the main drawbacks of these methods is the limited set of systems that can be analyzed with high accuracy: Only simple models for task interaction and task semantics can be used. In this paper, we extend existing methods for analyzing heterogeneous multiprocessor systems such that (a) nonpreemptive scheduling policies, (b) complex activation schemes for tasks and (c) conditional behavior of task executions can be modeled and analyzed. We demonstrate the usefulness of the proposed approach in a case study.