A Safety Case Approach to Assuring Configurable Architectures of Safety-Critical Product Lines

2010 ◽  
pp. 142-160 ◽  
Author(s):  
Ibrahim Habli ◽  
Tim Kelly
Keyword(s):  
Product Lines ◽  
Safety Critical ◽  
Safety Case ◽  
Configurable Architectures

Offshore Safety Assessment and Safety-Based Decision-Making—The Current Status and Future Aspects

1999 ◽  
Vol 122 (2) ◽  
pp. 93-99 ◽  
Author(s):  
J. Wang ◽  
O. Kieran
Keyword(s):  
Decision Making ◽  
Safety Assessment ◽  
Safety Analysis ◽  
Current Status ◽  
Safety Critical ◽  
Critical Elements ◽  
Offshore Installations ◽  
Safety Case ◽  
The Uk ◽  
Further Development

The offshore installations (safety case) regulations were developed in the UK in 1992 and came into force in 1993 in response to the accepted findings of the Piper Alpha enquiry. Recently, “the offshore installations and wells (design and construction, etc.) regulations” (DCR 1996) were introduced to offshore safety analysis. From the earliest stages of the installation’s life cycle, operators must ensure that all safety-critical elements in both the software and system domains be assessed. Hazards can be identified and the risks associated with them can be assessed and evaluated using a number of techniques and decision-making strategies, all aimed at producing an installation with lifetime safety integrity. In this paper, following a brief review of the current status of offshore safety regulation in the UK, several offshore safety assessment frameworks are presented. These include top-down, bottom-up, probabilistic, and subjective approaches. The conditions under which each approach may be applied effectively and efficiently are discussed. Probabilistic safety-based decision-making and subjective safety-based decision-making are then studied. Two examples are used to demonstrate the decision-making approaches. Recommendations on further development in offshore safety analysis are suggested. [S0892-7219(00)00901-8]

scholarly journals An ontology-based approach to support the certification of Safety-Critical Software Product Lines

2020 ◽  
Author(s):  
Lucas Bressan ◽  
Regina Braga ◽  
Fernanda Campos ◽  
André Oliveira
Keyword(s):  
Safety Standard ◽  
Product Lines ◽  
Complex Product ◽  
Safety Standards ◽  
Safety Requirements ◽  
Safety Critical ◽  
Domain Specific ◽  
Safety Certification ◽  
Software Product ◽  
Specific Safety

Safety-critical Product Lines are required to demonstrate compliance with domain-specific safety standards. Different component configurations may require the inclusion or exclusion of certain features depending on their impact on safety. Additionally, variants may present distinct criticality levels which imply in different safety requirements during their development and evaluation. Some authors have proposed approaches to address safety certification taking into account SPL Engineering (SPLE) activities. Those can be however, labor intensive and impracticable when dealing with larger and complex product lines. In this paper, we propose an ontology-based approach to support safety engineers on identifying features and assets relevant for the deployment and certification of safety-critical product lines. The approach was evaluated, considering a realistic SPL from the aerospace domain and the DO-178C safety standard. As a result, the application of the proposed approach was proven to support the traceability of SPL requirements and certification levels, thus, reducing the complexity of the deployment of different component configurations.

scholarly journals The ProLiCES Approach to Develop Product Lines for Safety-Critical Embedded Systems and its Application to the Unmanned Aerial Vehicles Domain

2012 ◽  
Vol 15 (2) ◽  
Author(s):  
Rosana T. Vaccare Braga ◽  
Kalinka R. L. J. Castelo Branco ◽  
Júnior Onofre Trindade ◽  
Paulo C. Masiero ◽  
Luciano O. Neris ◽  
...  
Keyword(s):  
Unmanned Aerial Vehicles ◽  
Software Reuse ◽  
Code Generation ◽  
Methodological Approach ◽  
Product Line ◽  
Unmanned Aircraft ◽  
Product Lines ◽  
Safety Critical ◽  
Aerial Vehicles ◽  
Automatic Code

This paper presents ProLiCES, an approach for the development of safety-critical em- bedded applications and its usage to develop a product line for unmanned aerial vehicles (UAV). The motivation of ProLiCES emerged after the development of Tiriba, a fam- ily of small, electric-powered unmanned aircraft. Most software artifacts produced for Tiriba required modifications to be reused in a more complex project, the SARVANT, which has to accommodate several new features that increase the variability of the end products. In the Tiriba project, a methodological approach, named SAFE-CRITES, was defined and used. Special care was taken about software reuse, based on Model Driven Development and automatic code generation. The certification process, based on the DO-178B standard, was also taken into account. ProLiCEs extends SAFE-CRITES to integrate Product Line Engineering into the development process, aiming better software reuse. This extension was done by creating a second parallel path to the process, dealing with the Product Line Domain Engineering. ProLiCES is being currently used in the SARVANT project, which will deliver a much more complex UAV and is estimated to be deployed in two years.

Sign in / Sign up

Export Citation Format

Share Document