Impact of Adding Security to Safety-Critical Real-Time Systems: A Case Study.

Andrew J. Kornecki Wendy F. Stevenson

Published in: COMPSAC Workshops (2011)

Keyphrases

real time systems
safety critical
embedded systems
safety analysis
real time
low cost
fault tolerant
formal methods
information security
agent architecture
distributed systems
security requirements
case study
software systems
business process
support systems
databases