Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems.

Farah Al-Shareefi Alexei Lisitsa Clare Dixon

Published in: SBMF (2017)

Keyphrases

safety critical
safety analysis
regulatory requirements
formal methods
support systems
design process
agent architecture
real time
fault tolerant
embedded systems
management system
information systems
intelligent systems
distributed systems
object oriented
case based reasoning
e learning