Harmonizing Safety, Security and Performance Requirements in Embedded Systems
Ludovic Apvrille1 and Letitia W. Li2
1LTCI, Télécom ParisTech, Université Paris-Saclay, 75013 Paris, France
Ludovic.Apvrille@telecom-paristech.fr
2FAST Labs, BAE Systems, 600 District Avenue, Burlington MA, 01803
Letitia.W.Li@baesystems.com
ABSTRACT
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 process, 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 each other as detected during the verification process.
