Failure-dependent execution time analysis
K Höfig, D Domis - Proceedings of the joint ACM SIGSOFT conference …, 2011 - dl.acm.org
K Höfig, D Domis
Proceedings of the joint ACM SIGSOFT conference--QoSA and ACM SIGSOFT …, 2011•dl.acm.orgThe 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 …
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 …
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.
ACM Digital Library
Showing the best result for this search. See all results