In this work-in-progress paper we present how Com-ponent Based Software Engineering (CBSE) may be used to facilitate stochastic schedulability analysis of embedded real-time systems, by providing realistic models of execu-tion time distributions. We present our ongoing work regarding the usage of Ex-ecution Time Profiles (ETPs) to represent the timing be-haviour of real-time components. These ETPs are to be used in a tool for stochastic schedulability analysis of em-bedded real-time systems. The tool is intended for real-time engineers to make cost-reliability trade-offs by dimension-ing hardware resources in a cost efficient way to achieve the reliability goals.
(AMR) system requires on-board computation and the system is typically constrained by limited proces...
This paper describes a stochastic analysis method for general periodic real-time systems. The propos...
Abstract — The paper presents a probabilistic approach to schedulability analysis of uni-processor p...
Systems controlled by embedded computers become indispensable in our lives and can be found in avion...
Systems controlled by embedded computers become indispensable in our lives and can be found in avion...
Modelling and analysis are important tools in the development of safety critical real-time systems. ...
Quantitative evaluation of models with stochastic timings can de-cisively support schedulability ana...
This survey covers schedulability analysis techniques for probabilistic real-time systems. It review...
Software components are suitable vehicles to introduce advanced analysis techniques in a software-en...
This thesis work describes how to apply the stochastic analysis framework, presented in [1] for gene...
The primary challenge of time-critical systems is to ensure that a task completes its execution befo...
Classical analysis of real-time systems focuses on guaranteeing the schedulability of the system whe...
Software components are suitable vehicles to introduce advanced analysis techniques in a software-en...
This paper presents an approach to the analysis of task sets implemented on multiprocessor systems, ...
Two approaches for expressing and analyzing time properties of systems have been developed which are...
(AMR) system requires on-board computation and the system is typically constrained by limited proces...
This paper describes a stochastic analysis method for general periodic real-time systems. The propos...
Abstract — The paper presents a probabilistic approach to schedulability analysis of uni-processor p...
Systems controlled by embedded computers become indispensable in our lives and can be found in avion...
Systems controlled by embedded computers become indispensable in our lives and can be found in avion...
Modelling and analysis are important tools in the development of safety critical real-time systems. ...
Quantitative evaluation of models with stochastic timings can de-cisively support schedulability ana...
This survey covers schedulability analysis techniques for probabilistic real-time systems. It review...
Software components are suitable vehicles to introduce advanced analysis techniques in a software-en...
This thesis work describes how to apply the stochastic analysis framework, presented in [1] for gene...
The primary challenge of time-critical systems is to ensure that a task completes its execution befo...
Classical analysis of real-time systems focuses on guaranteeing the schedulability of the system whe...
Software components are suitable vehicles to introduce advanced analysis techniques in a software-en...
This paper presents an approach to the analysis of task sets implemented on multiprocessor systems, ...
Two approaches for expressing and analyzing time properties of systems have been developed which are...
(AMR) system requires on-board computation and the system is typically constrained by limited proces...
This paper describes a stochastic analysis method for general periodic real-time systems. The propos...
Abstract — The paper presents a probabilistic approach to schedulability analysis of uni-processor p...