TY - GEN
T1 - Using UML profiles for sector-specific tailoring of safety evidence information
AU - Panesar-Walawege, Rajwinder Kaur
AU - Sabetzadeh, Mehrdad
AU - Briand, Lionel
PY - 2011
Y1 - 2011
N2 - Safety-critical systems are often subject to certification as a way to ensure that the safety risks associated with their use are sufficiently mitigated. A key requirement of certification is the provision of evidence that a system complies with the applicable standards. The way this is typically organized is to have a generic standard that sets forth the general evidence requirements across different industry sectors, and then to have a derived standard that specializes the generic standard according to the needs of a specific industry sector. To demonstrate standards compliance, one therefore needs to precisely specify how the evidence requirements of a sector-specific standard map onto those of the generic parent standard. Unfortunately, little research has been done to date on capturing the relationship between generic and sector-specific standards and a large fraction of the issues arising during certification can be traced to poorly-stated or implicit relationships between a generic standard and its sector-specific interpretation. In this paper, we propose an approach based on UML profiles to systematically capture how the evidence requirements of a generic standard are specialized in a particular domain. To demonstrate our approach, we apply it for tailoring IEC61508 - one of the most established standards for functional safety - to the Petroleum industry.
AB - Safety-critical systems are often subject to certification as a way to ensure that the safety risks associated with their use are sufficiently mitigated. A key requirement of certification is the provision of evidence that a system complies with the applicable standards. The way this is typically organized is to have a generic standard that sets forth the general evidence requirements across different industry sectors, and then to have a derived standard that specializes the generic standard according to the needs of a specific industry sector. To demonstrate standards compliance, one therefore needs to precisely specify how the evidence requirements of a sector-specific standard map onto those of the generic parent standard. Unfortunately, little research has been done to date on capturing the relationship between generic and sector-specific standards and a large fraction of the issues arising during certification can be traced to poorly-stated or implicit relationships between a generic standard and its sector-specific interpretation. In this paper, we propose an approach based on UML profiles to systematically capture how the evidence requirements of a generic standard are specialized in a particular domain. To demonstrate our approach, we apply it for tailoring IEC61508 - one of the most established standards for functional safety - to the Petroleum industry.
KW - Evidence Information Models
KW - IEC61508
KW - Safety Certification
KW - UML Profiles
UR - http://www.scopus.com/inward/record.url?scp=80455129402&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-24606-7_27
DO - 10.1007/978-3-642-24606-7_27
M3 - Conference contribution
AN - SCOPUS:80455129402
SN - 9783642246050
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 362
EP - 378
BT - Conceptual Modeling, ER 2011 - 30th International Conference, Proceedings
T2 - 30th International Conference on Conceptual Modeling, ER 2011
Y2 - 31 October 2011 through 3 November 2011
ER -