Harmonizing Safety, Security and Performance Requirements in Embedded Systems
Résumé
Connected embedded systems have added new conveniences and safety measures to our daily lives --monitoring, automation, entertainment, etc--, but many of them
interact with their users in ways where flaws will have grave impacts on personal health, property, privacy, etc, such as systems in the domains of healthcare,
automotives, avionics, and other personal devices with access to sensitive information. Designing these systems with a comprehensive model-driven design proce
ss, from requirement elicitation to iterative design, can help detect issues, or incongruities within the requirements themselves earlier. This paper discusses
how safety, security, and performance requirements should be assured with a systematic design process, and how these properties can support or conflict with e
ach other as detected during the verification process.