Show simple item record

dc.contributor.convenorWei-T. Huangen_AU
dc.contributor.authorZafar, Saaden_US
dc.contributor.authorDromey, Geoffen_US
dc.contributor.editorSoftware Research Centeren_US
dc.date.accessioned2017-04-24T08:06:04Z
dc.date.available2017-04-24T08:06:04Z
dc.date.issued2005en_US
dc.date.modified2010-10-27T08:29:26Z
dc.identifier.refurihttp://selab.csie.ncu.edu.tw/apsec05en_AU
dc.identifier.doi10.1109/APSEC.2005.75en_AU
dc.identifier.urihttp://hdl.handle.net/10072/2609
dc.description.abstractMost 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.en_US
dc.description.peerreviewedYesen_US
dc.description.publicationstatusYesen_AU
dc.format.extent406681 bytes
dc.format.mimetypeapplication/pdf
dc.languageEnglishen_US
dc.language.isoen_AU
dc.publisherSoftware Research Centeren_US
dc.publisher.placeTaiwanen_US
dc.publisher.urihttp://selab.csie.ncu.edu.tw/apsec05/en_AU
dc.relation.ispartofstudentpublicationYen_AU
dc.relation.ispartofconferencenameAPSEC 2005: 12th Asia-Pacific Software Engineering Conferenceen_US
dc.relation.ispartofconferencetitleAsia-Pacific Software Engineering Conferenceen_US
dc.relation.ispartofdatefrom2005-12-15en_US
dc.relation.ispartofdateto2005-12-17en_US
dc.relation.ispartoflocationTaipei, Taiwanen_US
dc.rights.retentionYen_AU
dc.subject.fieldofresearchcode280302en_US
dc.titleIntegrating Safety and Security Requirements into Design of an Embedded System.en_US
dc.typeConference outputen_US
dc.type.descriptionE1 - Conference Publications (HERDC)en_US
dc.type.codeE - Conference Publicationsen_US
gro.rights.copyrightCopyright 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.en_AU
gro.date.issued2005
gro.hasfulltextFull Text


Files in this item

This item appears in the following Collection(s)

  • Conference outputs
    Contains papers delivered by Griffith authors at national and international conferences.

Show simple item record