- Recherche et sélection de publications
|
Harmonizing Safety, Security and Performance Requirements in Embedded Systems
- Ludovic Apvrille #1 #2 #3, Letitia W. Li
-
| #1 |
Laboratoire traitement et communication de l'information (LTCI)
- Télécm ParisTech
- Institut Mines-Télécom
- Université Paris-Saclay
|
| #2 |
Télécom ParisTech
|
| #3 |
Université Paris-Saclay (france) |
- References
- Design Automation and Test in Europe conference (DATE, Firenze, Italy, March 2019,
- 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 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.
- Keywords
- SysML, safety, secrity, requirements
- Category
- Paper in proceedings
- Research Area(s)
- Computer Science/Modeling and Simulation
Computer Science/Cryptography and Security
Computer Science/Software Engineering
Computer Science/Computer Aided Engineering
Computer Science/Programming Languages
Computer Science/Logic in Computer Science
Computer Science/Networking and Internet Architecture
Computer Science/Embedded Systems
- Identifier(s)
-
Bibliographic key LA-DATE-2019
- File(s)
-
- Export
-
- Last update
- on december 21, 2018 by Ludovic Apvrille
|
