Physics-based software analysis for safety-critical embedded applications: work-in-progress.

Philipp Göttlich Hans-Christian Reuss

Published in: EMSOFT Companion (2019)

Keyphrases

safety critical
embedded systems
safety analysis
fault tolerant
real time
information systems
case study
decision support
database design
design patterns
formal methods