Time-critical systems design: A survey
Time-critical computing systems are enablers for various important application domains, like
avionics, automotive, spacecraft, IoT etc. All these applications will be benefited immensely …
avionics, automotive, spacecraft, IoT etc. All these applications will be benefited immensely …
Dealing with different time scales in formal specifications
E Corsetti, E Crivelli, D Mandrioli… - Proceedings of the …, 1991 - computer.org
The authors motivate the need for allowing the consistent treatment of different time scales in
formal specifications of time critical systems, with the purpose of enhancing the naturalness …
formal specifications of time critical systems, with the purpose of enhancing the naturalness …
A multicore processor for time-critical applications
A Multicore Processor for Time-Critical Applications Page 1 38 2168-2356/18 © 2018 IEEE
Copublished by the IEEE CEDA, IEEE CASS, IEEE SSCS, and TTTC IEEE Design&Test …
Copublished by the IEEE CEDA, IEEE CASS, IEEE SSCS, and TTTC IEEE Design&Test …
Architectural principles for safety-critical real-time applications
JH Lala, RE Harper - Proceedings of the IEEE, 1994 - ieeexplore.ieee.org
This paper addresses the general area of computer architectures for safety-critical real time
applications. The maximum acceptable probability of failure for these applications ranges …
applications. The maximum acceptable probability of failure for these applications ranges …
The design and analysis of thermal-resilient hard-real-time systems
We address the challenge of designing predictable real-time systems in an unpredictable
thermal environment where environmental temperature may dynamically change (eg …
thermal environment where environmental temperature may dynamically change (eg …
Modeling timing behavior for cyber-physical systems
H Wang, X Zhou, Y Dong, L Tang - … International Conference on …, 2009 - ieeexplore.ieee.org
In this paper temporal semantics based on the Duration Calculus are put into the
Architecture Analysis and Design Language, furthermore the timing component is proposed …
Architecture Analysis and Design Language, furthermore the timing component is proposed …
Timing constraints of real-time systems: Constructs for expressing them, methods of validating them
B Dasarathy - IEEE transactions on Software Engineering, 1985 - ieeexplore.ieee.org
This paper examines timing constraints as features of realtime systems. It investigates the
various constructs required in requirements languages to express timing constraints and …
various constructs required in requirements languages to express timing constraints and …
Certification-cognizant time-triggered scheduling of mixed-criticality systems
S Baruah, G Fohler - 2011 IEEE 32nd Real-Time Systems …, 2011 - ieeexplore.ieee.org
In many modern embedded platforms, safety-critical functionalities that must be certified
correct to very high levels of assurance co-exist with less critical software that are not subject …
correct to very high levels of assurance co-exist with less critical software that are not subject …
[图书][B] Real-time systems: design principles for distributed embedded applications
H Kopetz, W Steiner - 2022 - books.google.com
" This book is a comprehensive text for the design of safety critical, hard real-time embedded
systems. It offers a splendid example for the balanced, integrated treatment of systems and …
systems. It offers a splendid example for the balanced, integrated treatment of systems and …
Putting fixed priority scheduling theory into engineering practice for safety critical applications
Describes the approach proposed by the York University Technology Centre for introducing
fixed-priority scheduling into industrial safety-critical hard real-time systems. The work has …
fixed-priority scheduling into industrial safety-critical hard real-time systems. The work has …