Harmonizing Safety, Security and Performance Requirements in Embedded Systems

International audience<p> 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,<br/>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<br/>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.