Anomaly detection using inter-arrival curves for real-time systems
Real-time embedded systems are a significant class of applications, poised to grow even
further as automated vehicles and the Internet of Things become a reality. An important …
further as automated vehicles and the Internet of Things become a reality. An important …
Formal timing analysis of CAN-to-Ethernet gateway strategies in automotive networks
Due to increased bandwidth and scalability demands, Ethernet technology is finding its way
into recent in-vehicle networks. Tomorrow's heterogeneous networks will feature legacy …
into recent in-vehicle networks. Tomorrow's heterogeneous networks will feature legacy …
Finitary real-time calculus: Efficient performance analysis of distributed embedded systems
Real-Time Calculus (RTC) is a powerful framework to analyze real-time performance of
distributed embedded systems. However, RTC may run into serious analysis efficiency …
distributed embedded systems. However, RTC may run into serious analysis efficiency …
Achieving efficiency without sacrificing model accuracy: Network calculus on compact domains
Messages traversing a network commonly experience waiting times due to sharing the
forwarding resources. During those times, the crossed systems must provide sufficient buffer …
forwarding resources. During those times, the crossed systems must provide sufficient buffer …
Response-time analysis for task chains with complex precedence and blocking relations
J Schlatow, R Ernst - ACM Transactions on Embedded Computing …, 2017 - dl.acm.org
For the development of complex software systems, we often resort to component-based
approaches that separate the different concerns, enhance verifiability and reusability, and …
approaches that separate the different concerns, enhance verifiability and reusability, and …
Embedding formal performance analysis into the design cycle of MPSoCs for real-time streaming applications
Modern real-time streaming applications are increasingly implemented on multiprocessor
systems-on-chip (MPSoC). The implementation, as well as the verification of real-time …
systems-on-chip (MPSoC). The implementation, as well as the verification of real-time …
Compositional performance analysis with improved analysis techniques for obtaining viable end-to-end latencies in distributed embedded systems
J Rox, R Ernst - International Journal on Software Tools for Technology …, 2013 - Springer
To give worst case guarantees for the timing behavior of complex distributed embedded real-
time systems, eg end-to-end latencies, different compositional approaches for system-level …
time systems, eg end-to-end latencies, different compositional approaches for system-level …
Improving cross-traffic bounds in feed-forward networks–there is a job for everyone
Network calculus provides a mathematical framework for deterministically bounding backlog
and delay in packet-switched networks. The analysis is compositional and proceeds in …
and delay in packet-switched networks. The analysis is compositional and proceeds in …
[图书][B] Techniques for building timing-predictable embedded systems
N Guan - 2016 - Springer
Embedded systems are becoming more and more ubiquitous in our daily lives. Since the
embedded systems interact with the physical environment, they often have to behave within …
embedded systems interact with the physical environment, they often have to behave within …
[PDF][PDF] A simple approximation method for reducing the complexity of modular performance analysis
Abstract Modular Performance Analysis (MPA) is a method for worst and best case
performance analysis of real-time systems. It has been successfully applied to medium scale …
performance analysis of real-time systems. It has been successfully applied to medium scale …