Integrating Safety and Security Requirements into Design of an Embedded System.

File Size Format
31667_1.pdf 397Kb Adobe PDF View
Title Integrating Safety and Security Requirements into Design of an Embedded System.
Author Zafar, Saad; Dromey, Geoff
Publication Title Asia-Pacific Software Engineering Conference
Editor Software Research Center
Year Published 2005
Place of publication Taiwan
Publisher Software Research Center
Abstract 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 system requirements in a manner that it facilitates 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.
Peer Reviewed Yes
Published Yes
Publisher URI
Alternative URI
Copyright Statement Copyright 2005 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
Conference name APSEC 2005: 12th Asia-Pacific Software Engineering Conference
Location Taipei, Taiwan
Date From 2005-12-15
Date To 2005-12-17
Date Accessioned 2006-03-12
Language en_AU
Faculty Faculty of Engineering and Information Technology
Subject PRE2009-Software Engineering
Publication Type Conference Publications (Full Written Paper - Refereed)
Publication Type Code e1

Show simple item record

Griffith University copyright notice