Design and Implementation of an Escape Analysis in the Context of Safety-Critical Embedded Systems.
Clemens LangIsabella StilkerichPublished in: ACM Trans. Embed. Comput. Syst. (2020)
Keyphrases
- embedded systems
- safety critical
- safety analysis
- embedded software
- low cost
- poses unique challenges
- regulatory requirements
- hw sw
- real time systems
- support systems
- nuclear power plant
- formal methods
- software systems
- real time embedded
- hardware software
- knowledge management
- field programmable gate array
- context aware
- real time
- fault tolerant
- user interface
- cooperative