Integrating safety and security requirements into design of an embedded system

被引:12
|
作者
Zafar, S [1 ]
Dromey, RG [1 ]
机构
[1] Griffith Univ, Nathan, Qld 4111, Australia
关键词
D O I
10.1109/APSEC.2005.75
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Most modern embedded systems are now required to satisfy, seemingly divergent critical properties like safety and security. It is therefore becoming increasingly important that any systems development methodology employed should support modeling of systems requirements in a manner that it facilitate's validation and verification of such critical properties. In the paper we present the result of applying the Genetic' Software Engineering (GSE) method to design an ambulatory infusion pump (AIP) which must satisfy a number of safety and security properties. The safety and security requirements are integrated with the rest of the, systems requirements in the form of integrated behavior tree (IBT), which is systematically refined into a. design behavior tree (DBT). The integrated behavioral view of the requirements provides a platform for requirements conflict resolution, defect detection and requirements validation. The formal semantics of the behavior tree (BT) notation, used to specify the requirements, makes formal verification of critical properties in the final design possible.
引用
收藏
页码:629 / 636
页数:8
相关论文
共 50 条
  • [1] Integrating security modeling into embedded system design
    Eby, Matthew
    Werner, Jan
    Karsai, Gabor
    Ledeczi, Akos
    [J]. ECBS 2007: 14TH ANNUAL IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS: RAISING EXPECTATIONS OF COMPUTER-BASES SYSTEMS, 2007, : 221 - +
  • [2] Integrating security and usability into the requirements and design process
    Flechais, Ivan
    Mascolo, Cecilia
    Sasse, M. Angela
    [J]. INTERNATIONAL JOURNAL OF ELECTRONIC SECURITY AND DIGITAL FORENSICS, 2007, 1 (01) : 12 - 26
  • [3] Integrating automatic verification of safety requirements in Railway Interlocking System design
    Dipoppa, G
    D'Alessandro, G
    Semprini, R
    Tronci, E
    [J]. SIXTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, 2001, : 209 - 219
  • [4] Harmonizing Safety, Security and Performance Requirements in Embedded Systems
    Apvrille, Ludovic
    Li, Letitia W.
    [J]. 2019 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2019, : 1631 - 1636
  • [5] Towards a unified security/safety framework - A design approach to embedded system applications
    Sveda, Miroslav
    Vrba, Radimir R.
    [J]. ICSOFT 2007: PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL SE: SOFTWARE ENGINEERING, 2007, : 345 - +
  • [6] Security Modeling for Embedded System Design
    Li, Letitia W.
    Lugou, Florian
    Apvrille, Ludovic
    [J]. GRAPHICAL MODELS FOR SECURITY, 2018, 10744 : 99 - 106
  • [7] Designing safety and security into an embedded vision system
    Peckham, Giles
    Taylor, Adam
    [J]. ELECTRONICS WORLD, 2017, 123 (1973): : 18 - 20
  • [8] Integrating the Security Aspect into Design Space Exploration of Embedded Systems
    Stierand, Ingo
    Malipatlolla, Sunil
    Froeschle, Sibylle
    Stuehring, Alexander
    Henkler, Stefan
    [J]. 2014 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW), 2014, : 371 - 376
  • [9] Design of Networked Embedded Systems: An Approach for Safety and Security
    Sveda, Miroslav
    Trchalik, Roman
    Ocenasek, Pavel
    [J]. IFAC WORKSHOP ON PROGRAMMABLE DEVICES AND EMBEDDED SYSTEMS (PDES 2009), PROCEEDINGS, 2009, : 127 - 132
  • [10] Enhancing System Lifecycle Processes by Integrating Functional Safety Information from Practice into Design Requirements
    Lintala, Marja
    Ovtcharova, Jivka
    [J]. INTERNATIONAL JOURNAL OF ADVANCED ROBOTIC SYSTEMS, 2013, 10