Show simple item record

dc.contributor.convenorWei-T. Huang
dc.contributor.authorZafar, Saad
dc.contributor.authorDromey, Geoff
dc.contributor.editorSoftware Research Center
dc.date.accessioned2017-05-03T11:14:00Z
dc.date.available2017-05-03T11:14:00Z
dc.date.issued2005
dc.date.modified2010-10-27T08:29:26Z
dc.identifier.refurihttp://selab.csie.ncu.edu.tw/apsec05
dc.identifier.doi10.1109/APSEC.2005.75
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.
dc.description.peerreviewedYes
dc.description.publicationstatusYes
dc.format.extent406681 bytes
dc.format.mimetypeapplication/pdf
dc.languageEnglish
dc.language.isoeng
dc.publisherSoftware Research Center
dc.publisher.placeTaiwan
dc.publisher.urihttp://selab.csie.ncu.edu.tw/apsec05/
dc.relation.ispartofstudentpublicationY
dc.relation.ispartofconferencenameAPSEC 2005: 12th Asia-Pacific Software Engineering Conference
dc.relation.ispartofconferencetitleAsia-Pacific Software Engineering Conference
dc.relation.ispartofdatefrom2005-12-15
dc.relation.ispartofdateto2005-12-17
dc.relation.ispartoflocationTaipei, Taiwan
dc.rights.retentionY
dc.subject.fieldofresearchcode280302
dc.titleIntegrating Safety and Security Requirements into Design of an Embedded System.
dc.typeConference output
dc.type.descriptionE1 - Conferences
dc.type.codeE - Conference Publications
gro.rights.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.
gro.date.issued2005
gro.hasfulltextFull Text
gro.griffith.authorDromey, Geoff


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