Hide metadata

dc.date.accessioned2013-05-30T10:24:35Z
dc.date.available2013-05-30T10:24:35Z
dc.date.issued2012en_US
dc.date.submitted2013-02-27en_US
dc.identifier.citationPanesar-Walawege, Rajwinder Kaur. Using model-driven engineering to support the certification of safety -critical systems. Doktoravhandling, University of Oslo, 2012en_US
dc.identifier.urihttp://hdl.handle.net/10852/34821
dc.description.abstractCritical systems such as those found in the avionics, automotive, maritime, and energy domains are often subject to a formal process known as certification. The goal of certification is to ensure that such systems will operate safely in the presence of known hazards, and without posing undue risks to the users, the public, or the environment. Certification bodies examine such systems based on evidence that the system suppliers provide, to ensure that the relevant safety risks have been sufficiently mitigated. Typically, generic safety standards set forth the general evidence requirements across different industry sectors, and then derived standards specialize the generic standards according to the needs of a specific industry sector. Regardless of whether a generic or sector-specific standard is being used, a key prerequisite for effective collection of evidence is that the supplier be aware of the requirements stipulated in the relevant standard and the evidence they require. This often proves to be a very challenging task because of the sheer size of the standards and the fact that the textual standards are amenable to subjective interpretation. Notably, suppliers find it hard to interpret the evidence requirements imposed by the safety standards within the domain of application; little support exists for recording, querying, and reporting evidence in a structured manner; and there is a general absence of guidelines on how the collected evidence supports the safety objectives. This thesis proposes the application of Model-Driven Engineering as an enabler for performing the various tasks related to safety evidence management. The position taken is that models should serve as the main source of certification information - documents, when needed, should be generated from models. Models are beneficial for the purpose of safety certification in many respects, most notably: (1) Models can be employed to clarify the expectations of safety standards and recommended practices, and develop concrete guidelines for system suppliers; (2) Models expressed in standard notations avoid the ambiguity and redundancy problems associated with text-based documentation; (3) Models provide an ideal vehicle for preserving traceability and the chain of evidence between hazards, requirements, design elements, implementation, and test cases; (4) Models can represent different levels of abstraction and an explicit mapping between the different levels; (5) Models present opportunities for partial or full automation of many laborious safety analysis tasks. The main contribution of this thesis is a model-driven process that enables the automated verification of compliance to standards based on evidence. Specifically, a UML profile is created, based on a conceptual model of a given standard, which provides a succinct and explicit interpretation of the underlying standard. The profile is augmented with constraints that help system suppliers with establishing a relationship between the concepts in the safety standard of interest and the concepts in the application domain. This in turn enables suppliers to demonstrate how their system development artifacts achieve compliance to the standard. Additionally, UML profiles are further used to systematically capture how the evidence requirements of a generic standard are specialized in a particular domain. This provides a means of explicitly showing the relationship between a generic and a sector-specific standard. This tackles the certification issues that arise from poorly-stated or implicit relationships between a generic standards and their sector-specific interpretations. Finally, the tool infrastructure needs for supporting the collection and management of safety evidence data is tackled by proposing tools for upfront planning of evidence collection activities and the storage of evidence information outside of modelling environments.eng
dc.language.isoengen_US
dc.relation.haspartPaper I Characterizing the Chain of Evidence for Software Safety Cases: A Conceptual Model Based on the IEC 61508 Standard Rajwinder Kaur Panesar-Walawege, Mehrdad Sabetzadeh, Lionel Briand, Thierry Coq Proceeding of the Third IEEE International Conference on Software Testing, Verification and Validation (ICST), 2010, pp 335-344. Copyright 2010 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. http://dx.doi.org/10.1109/ICST.2010.12
dc.relation.haspartPaper II Using UML Profiles for Sector-Specific Tailoring of Safety Evidence Information Rajwinder Kaur Panesar-Walawege, Mehrdad Sabetzadeh, Lionel Briand 30th ACM International Conference on Conceptual Modeling (ER), 2011 Lecture Notes in Computer Science Volume 6998, 2011, pp 362-378 The original publication is available at www.springerlink.com http://dx.doi.org/10.1007/978-3-642-24606-7_27
dc.relation.haspartPaper III A Model-Driven Engineering Approach to Support the Verification of Compliance to Safety Standards Rajwinder Kaur Panesar-Walawege, Mehrdad Sabetzadeh, Lionel Briand Proceedings of the 22th IEEE International Symposium on Software Reliability Engineering (ISSRE), 2011, pp. 30-39. Copyright 2011 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. http://dx.doi.org/10.1109/ISSRE.2011.11
dc.relation.haspartPaper IV Planning for Safety Evidence Collection: A Tool-Supported Approach Based on Modeling of Standards Compliance Information Davide Falessi, Mehrdad Sabetzadeh, Lionel Briand, Emanuele Turella, Thierry Coq, Rajwinder Panesar-Walawege IEEE Software, 2012 29(3) 64-70. Copyright 2012 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. http://dx.doi.org/10.1109/MS.2011.116
dc.relation.haspartPaper V CRESCO: Construction of Evidence Repositories for Managing Standards Compliance Rajwinder Kaur Panesar-Walawege, Torbjørn Skyberg Knutsen, Mehrdad Sabetzadeh, Lionel Briand Tool Demonstration paper at the 30th ACM International Conference on Conceptual Modeling (ER), 2011 Lecture Notes in Computer Science Volume 6999, 2011, pp 338-342 The original publication is available at www.springerlink.com http://dx.doi.org/10.1007/978-3-642-24574-9_45
dc.relation.haspartPaper VI Using Model-Driven Engineering for Managing Safety Evidence: Challenges, Vision and Experience Rajwinder Kaur Panesar-Walawege, Mehrdad Sabetzadeh, Lionel Briand Proceedings of the 1st International Workshop on Software Certification at the 22th IEEE International Symposium on Software Reliability Engineering (ISSRE), 2011, pp 7-12. Copyright 2011 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. http://dx.doi.org/10.1109/WoSoCER.2011.8
dc.relation.haspartPaper VII Supporting the Verification of Compliance to Safety Standards via Model-Driven Engineering: Approach, Tool-Support and Empirical Validation Rajwinder Kaur Panesar-Walawege, Mehrdad Sabetzadeh, Lionel Briand NOTICE: this is the author’s version of a work that was accepted for publication in Journal of Information and Software Technology. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in: Journal of Information and Software Technology (IST), 2013. Available online 12 December 2012. http://dx.doi.org/10.1016/j.infsof.2012.11.009
dc.relation.urihttp://dx.doi.org/10.1109/ICST.2010.12
dc.relation.urihttp://dx.doi.org/10.1007/978-3-642-24606-7_27
dc.relation.urihttp://dx.doi.org/10.1109/ISSRE.2011.11
dc.relation.urihttp://dx.doi.org/10.1109/MS.2011.116
dc.relation.urihttp://dx.doi.org/10.1007/978-3-642-24574-9_45
dc.relation.urihttp://dx.doi.org/10.1109/WoSoCER.2011.8
dc.relation.urihttp://dx.doi.org/10.1016/j.infsof.2012.11.009
dc.titleUsing model-driven engineering to support the certification of safety -critical systemsen_US
dc.typeDoctoral thesisen_US
dc.date.updated2013-05-27en_US
dc.creator.authorPanesar-Walawege, Rajwinder Kauren_US
dc.subject.nsiVDP::420en_US
cristin.unitcode150500en_US
cristin.unitnameInformatikken_US
dc.identifier.bibliographiccitationinfo:ofi/fmt:kev:mtx:ctx&ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&rft.au=Panesar-Walawege, Rajwinder Kaur&rft.title= Using model-driven engineering to support the certification of safety -critical systems&rft.inst=University of Oslo&rft.date=2012&rft.degree=Doktoravhandlingen_US
dc.identifier.urnURN:NBN:no-33586en_US
dc.type.documentDoktoravhandlingen_US
dc.identifier.duo176802en_US
dc.contributor.supervisorLionel Briand, Mehrdad Sabetzadehen_US
dc.identifier.fulltextFulltext https://www.duo.uio.no/bitstream/handle/10852/34821/1/dravhandling-panesar-walawege.pdf


Files in this item

Appears in the following Collection

Hide metadata