Compliance Flow - Managing the compliance of dynamic and complex processes
Knowledge-Based Systems
Challenges with Software Verification and Validation Activities in the Space Industry
ICST '10 Proceedings of the 2010 Third International Conference on Software Testing, Verification and Validation
ICST '10 Proceedings of the 2010 Third International Conference on Software Testing, Verification and Validation
Modeling safety and airworthiness (RTCA DO-178B) information: conceptual model and UML profile
Software and Systems Modeling (SoSyM)
Towards a model-based evolutionary chain of evidence for compliance with safety standards
SAFECOMP'12 Proceedings of the 2012 international conference on Computer Safety, Reliability, and Security
SimPL: A product-line modeling methodology for families of integrated control systems
Information and Software Technology
Information and Software Technology
Hi-index | 0.00 |
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.