Model-Based Synthesis of Fault Trees from Matlab-Simulink Models
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Probabilistic Worst-Case Response-Time Analysis for the Controller Area Network
RTAS '03 Proceedings of the The 9th IEEE Real-Time and Embedded Technology and Applications Symposium
WCET Analysis of Probabilistic Hard Real-Time Systems
RTSS '02 Proceedings of the 23rd IEEE Real-Time Systems Symposium
Stochastic Analysis of Periodic Real-Time Systems
RTSS '02 Proceedings of the 23rd IEEE Real-Time Systems Symposium
Probabilistic Analysis of CAN with Faults
RTSS '02 Proceedings of the 23rd IEEE Real-Time Systems Symposium
Automatic Synthesis of Dynamic Fault Trees from UML System Models
ISSRE '02 Proceedings of the 13th International Symposium on Software Reliability Engineering
Statistical Analysis of WCET for Scheduling
RTSS '01 Proceedings of the 22nd IEEE Real-Time Systems Symposium
Static Determination of Probabilistic Execution Times
ECRTS '04 Proceedings of the 16th Euromicro Conference on Real-Time Systems
A new component concept for fault trees
SCS '03 Proceedings of the 8th Australian workshop on Safety critical systems and software - Volume 33
Probabilistic timing analysis: An approach using copulas
Journal of Embedded Computing - Real-Time Systems (Euromicro RTS-03)
The worst-case execution-time problem—overview of methods and survey of tools
ACM Transactions on Embedded Computing Systems (TECS)
Cache modeling in probabilistic execution time analysis
Proceedings of the 45th annual Design Automation Conference
Integrating Safety Analyses and Component-Based Design
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
Using Randomized Caches in Probabilistic Real-Time Systems
ECRTS '09 Proceedings of the 2009 21st Euromicro Conference on Real-Time Systems
Statistical-Based Response-Time Analysis of Systems with Execution Dependencies between Tasks
ICECCS '10 Proceedings of the 2010 15th IEEE International Conference on Engineering of Complex Computer Systems
Predicting computation time for advanced processor architectures
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
Towards an integration of standard component-based safety evaluation techniques with SaveCCM
QoSA'06 Proceedings of the Second international conference on Quality of Software Architectures
| Hi-index | 0.00 |
The growing complexity of safety-critical embedded systems is leading to an increased complexity of safety analysis models. Often used fault tolerance mechanisms have complex failure behavior and produce overhead compared to systems without such mechanisms. The question arises whether the overhead for fault tolerance is acceptable for the increased safety of a system. Manually modeling the timing behavior is cost intensive and error prone. Current approaches of safety analysis and execution time analysis are not able to reflect the timing behavior of complex mechanisms according to failures. In this paper, we describe an approach that combines safety analysis models with execution times to extract different execution times for different failure conditions. This provides a detailed view on the safety behavior in combination with the produced overhead and allows to find and certify appropriate fault tolerance mechanisms.