dc.contributor.convenor | Wei-T. Huang | |
dc.contributor.author | Zafar, Saad | |
dc.contributor.author | Dromey, Geoff | |
dc.contributor.editor | Software Research Center | |
dc.date.accessioned | 2017-05-03T11:14:00Z | |
dc.date.available | 2017-05-03T11:14:00Z | |
dc.date.issued | 2005 | |
dc.date.modified | 2010-10-27T08:29:26Z | |
dc.identifier.refuri | http://selab.csie.ncu.edu.tw/apsec05 | |
dc.identifier.doi | 10.1109/APSEC.2005.75 | |
dc.identifier.uri | http://hdl.handle.net/10072/2609 | |
dc.description.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. | |
dc.description.peerreviewed | Yes | |
dc.description.publicationstatus | Yes | |
dc.format.extent | 406681 bytes | |
dc.format.mimetype | application/pdf | |
dc.language | English | |
dc.language.iso | eng | |
dc.publisher | Software Research Center | |
dc.publisher.place | Taiwan | |
dc.publisher.uri | http://selab.csie.ncu.edu.tw/apsec05/ | |
dc.relation.ispartofstudentpublication | Y | |
dc.relation.ispartofconferencename | APSEC 2005: 12th Asia-Pacific Software Engineering Conference | |
dc.relation.ispartofconferencetitle | Asia-Pacific Software Engineering Conference | |
dc.relation.ispartofdatefrom | 2005-12-15 | |
dc.relation.ispartofdateto | 2005-12-17 | |
dc.relation.ispartoflocation | Taipei, Taiwan | |
dc.rights.retention | Y | |
dc.subject.fieldofresearchcode | 280302 | |
dc.title | Integrating Safety and Security Requirements into Design of an Embedded System. | |
dc.type | Conference output | |
dc.type.description | E1 - Conferences | |
dc.type.code | E - 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.issued | 2005 | |
gro.hasfulltext | Full Text | |
gro.griffith.author | Dromey, Geoff | |