Execution Time Analysis of Communicating Tasks in Distributed Systems
IEEE Transactions on Computers
Modeling and verification of randomized distributed real-time systems
Modeling and verification of randomized distributed real-time systems
Strategic directions in real-time and embedded systems
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
Communication and Concurrency
Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications
Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications
Embedded Multiprocessors: Scheduling and Synchronization
Embedded Multiprocessors: Scheduling and Synchronization
Real-Time Design Patterns: Robust Scalable Architecture for Real-Time Systems
Real-Time Design Patterns: Robust Scalable Architecture for Real-Time Systems
A Methodology for Architecture Exploration of Heterogeneous Signal Processing Systems
Journal of VLSI Signal Processing Systems - Special issue on signal processing systems design and implementation
Symbolic Performance Modeling of Parallel Systems
IEEE Transactions on Parallel and Distributed Systems
An Approach for Quantitative Analysis of Application-Specific Dataflow Architectures
ASAP '97 Proceedings of the IEEE International Conference on Application-Specific Systems, Architectures and Processors
RTSS '96 Proceedings of the 17th IEEE Real-Time Systems Symposium
Elastic Task Model for Adaptive Rate Control
RTSS '98 Proceedings of the IEEE Real-Time Systems Symposium
Statistical Rate Monotonic Scheduling
RTSS '98 Proceedings of the IEEE Real-Time Systems Symposium
A Hyperbolic Bound for the Rate Monotonic Algorithm
ECRTS '01 Proceedings of the 13th Euromicro Conference on Real-Time Systems
Schedulability analysis of applications with stochastic task execution times
ACM Transactions on Embedded Computing Systems (TECS)
Robust scheduling in team-robotics
Journal of Systems and Software - Special issue: Parallel and distributed real-time systems
System architecture evaluation using modular performance analysis: a case study
International Journal on Software Tools for Technology Transfer (STTT)
Proceedings of the 2006 ACM/IEEE symposium on Architecture for networking and communications systems
Software/Hardware Engineering with the Parallel Object-Oriented Specification Language
MEMOCODE '07 Proceedings of the 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign
Analysis and optimisation of hierarchically scheduled multiprocessor embedded systems
International Journal of Parallel Programming - Special Issue on Multiprocessor-based embedded systems
Performance Model Generation for MPSoC Design-Space Exploration
QEST '08 Proceedings of the 2008 Fifth International Conference on Quantitative Evaluation of Systems
Timed automata based analysis of embedded system architectures
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
An approach for modeling and detecting software performance antipatterns based on first-order logics
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
Worst-case assumptions about the timing of systems are often too conservative when analyzing distributed soft real-time systems as they lead to over-dimensioned and expensive products. For these systems, a certain percentage of deadline misses is often affordable. Instead of a binary answer regarding the schedulability of such a system, a more interesting metric is the degree to which the system meets the timing requirements. For this, an appropriate model that realistically expresses the behavior of a soft real-time system when deployed on a multiprocessor platform should be built and analyzed. In this article, we present such a modeling approach based on the formal modeling language POOSL (parallel object-oriented specification language). Moreover, to alleviate the process of modeling, we present a pattern-based description language that allows an application, together with the multiprocessor platform and the deployment to be described in a concise way. Such a pattern-based description can be translated automatically into an executable POOSL model through which performance properties can be analyzed based on simulations. The suitability of our approach is demonstrated by exploring the design space of a distributed in-car radio navigation system.