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 Uma Linguagem de Modelagem de Domínio Específico para Linhas de Produto de Software Dinâmicas

2020 ◽  
Author(s):  
Helberth Borelli ◽  
Sérgio Teixeira de Carvalho
Keyword(s):  
Adaptive Systems ◽  
Development Time ◽  
Software Product Lines ◽  
Feature Models ◽  
Service Model ◽  
Product Lines ◽  
Software Products ◽  
Domain Specific ◽  
Software Product ◽  
Dynamic Software

Software Product Lines can be briefly defined as a family of productsthat share some commonalities. The feature models approach isused to represent the commonalities and variabilities among products.One possible way for the construction of these models is theuse of meta-models. However, the management of these features,traditionally performed at development time, is not sufficient forthe development of Adaptive Systems. One solution to this type ofdevelopment is the approach of Dynamic Software Product Lineswhich has as one of its aims to promote features input and outputat runtime allowing the product to be adapted after changes incontexts. This article proposes a Domain Specific Modelling Languagethat aims at modeling Dynamic Software Product Lines. Thislanguage describes dynamic adaptations promoted at runtime andthrough the use of the state machine approach. Such adaptations,based on state machines, must promote state features changes orfeatures exchanges at runtime, enabling these software products tomanage derivations in its life cycle. Our proposal was implementedwith the use of a Healthcare scenario and its development wasbased on the concept of the component service model.

Forensic Engineering Review Of Safety Standards For Portable Metal Ladders

1998 ◽  
Vol 15 (1) ◽  
Author(s):  
Charles P. Reynolds
Keyword(s):  
National Standards ◽  
Safety Factors ◽  
Safety Standard ◽  
Similar Nature ◽  
Safety Standards ◽  
Safety Requirements ◽  
Industry Standard ◽  
Forensic Engineering ◽  
Buckling Failure ◽  
Serious Injuries

This Paper Will Discuss Some Of The Authors Concerns Regarding The Widely Recognized Industry Safety Standard Published By The American National Standards Institute (Ansi), Ansi A 14.2- 1990- Safety Requirements For Portable Metal Ladders. In This Experts Experience, And Based Upon Research Into Ladder Accidents, The Most Common Cause Of Fall From A Portable Metal Ladder Is The Buckling Failure Of One Of The .Side Rails. A Large Percentage Of Falls From A Portable Metal Ladders Are Attributed To The Sudden Buckling Failure Of One Of The Side Rails, Thereby Causing The User To Fall And Sustain Serious Injuries. Analysis Of The Cross-Section Of The Ladder Side Rails Reveals That The Design Criteria Spelled Out In The Industry Ladder Standards Falls Far Short Of The Safety Factors Commonly Applied To Other Structures Of A Similar Nature Which Are Designed By Mechanical, Structural, Civil And Aeronautical Engineers. Whereas The Commercially Available Metal Ladders Meet Or Exceed The Industry Standard, And Are Therefore Deemed To Be Safe By The Courts, A Thorough Analysis Of The Basis For The Standards Shows Several Inconsistencies And Deficiencies, Some Of Which Will Be Addressed In This Paper.

Sign in / Sign up

Export Citation Format

Share Document