research-article

Towards enabling reuse in the context of safety-critical product lines

Author:

Barbara GallinaAuthors Info & Claims

PLEASE '15: Proceedings of the Fifth International Workshop on Product LinE Approaches in Software Engineering

Pages 15 - 18

Published: 16 May 2015 Publication History

Abstract

In the context of safety-critical product lines, industries have to face an urgent challenge: reduction of time and cost for the creation of a safety case. A safety case is a contextualized structured argument constituted of process and product-based sub-arguments to show that a system is acceptably safe. Its creation is an extremely time-consuming and costly activity. To reduce time and cost, reuse capabilities are being investigated from different perspectives however currently no satisfying approach is available. In this paper, we propose a new methodological framework called Anti-Sisyphus. Anti-Sisyphus is aimed at enabling reuse by combining process lines, product lines and safety case lines. The systematization of what varies and what remains in common with respect to process as well as product elements in turns enables the systematization of what varies and remains in common in terms of process-based as well as product-based arguments within a safety case line. Anti-Sisyphus thus has the potential to enable a 3D reuse.

References

[1]

Design by Contract: The Lessons of Ariane: http://archive.eiffel.com/doc/manuals/technology/contract/ariane

[2]

ARTEMIS-JU- 269265 SafeCer - Safety certification of software-intensive systems with reusable components.

[3]

SYNOPSIS- SSF- RIT10-0070. Safety analysis for predictable software intensive systems. Swedish Foundation for Strategic Research.

[4]

FP7- 289011 OPENCOSS - Open platform for evolutionary certification of safety-critical systems.

[5]

T. Ternite, "Process lines: a product line approach designed for process model development". Software Engineering and Advanced Applications, Euromicro Conference, pp. 173--180, 2009.

Digital Library

[6]

B. Gallina, I. Sljivo, and O. Jaradat, "Towards a safety-oriented process line for enabling reuse in safety critical systems development and certification". 35th IEEE Software Engineering Workshop (SEW), Heraclion, Crete (Greece), 2012.

Digital Library

[7]

B. Gallina, K. R. Pitchai, and K. Lundqvist, "S-TunExSPEM: towards an extension of SPEM 2.0 to model and exchange tuneable safety-oriented processes". 11th International Conference on Software Engineering Research, Management and Applications (SERA), SCI 496, Springer, Prague, Czech Republic, August 7-9, 2013.

[8]

B. Gallina, A. Gallucci, K. Lundqvist, and M. Nyberg, "VROOM & cC: a method to build safety cases for ISO 26262-compliant product lines". Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR), CNRS report (HAL/Arxiv), Toulouse, France, 24 Sept. 2013.

[9]

I. Habli and T. Kelly, "A safety case approach to assuring configurable architectures of safety-critical product lines". International Symposium on Architecting Critical Systems (ISARCS), Prague, Czech Republic, Springer, pp. 142--160, Jun. 2010.

Digital Library

[10]

GSN: GSN Community Standard Version 1 (Nov. 2011)

[11]

RTCA DO-178C (EUROCAE ED-12C), "Software considerations in airborne systems and equipment certification". RTCA Inc., Washington, DC, Nov. 2011.

[12]

ISO26262. Road vehicles - Functional safety. International Standard, Nov. 2011.

[13]

Software & systems process engineering meta-model (SPEM), v 2.0. Full Specification formal/08-04-01, Object Management Group, 2008.

[14]

K. Pohl, G. Böckle, and F. J. van der Linden, "software product line engineering: foundations, principles and techniques". ISBN: 3540243720, Springer-Verlag, I edition, 2005.

Digital Library

[15]

P. Clements and L. Northrop, "Software product lines: practices and patterns". Addison Wesley, Reading, MA, USA (2001)

Digital Library

[16]

T. Martínez-Ruiz, F. García, M. Piattini, and J. Münch, "Modeling software process variability: an empirical study". IET Software, vol. 5, no. 2, pp. 172--187, 2011.

[17]

B. Gallina, "A model-driven safety certification method for process compliance". 2nd IEEE International Workshop on Assurance Cases for Software-intensive Systems (ASSURE), Italy, pp. 204--209, 2014.

Digital Library

[18]

P.-Y. Schobbens, P. Heymans, J-C. Trigaux, and Y. Bontemps, "Generic semantics of feature diagrams". Comput. Netw. 51, 2, pp. 456--479, Feb. 2007.

Digital Library

[19]

Eclipse Process Framework http://www.eclipse.org/epf/

[20]

http://en.wikipedia.org/wiki/Sisyphus

[21]

I. Sljivo, B. Gallina, J. Carlson, and Hansson, "Generation of safety case argument-fragments from safety contracts". 33rd International Conference on Computer Safety, Reliability, and Security (SafeComp). Springer, 2014.

Digital Library

[22]

J. Bosch, "From software product lines to software ecosystems". 13th International Software Product Line Conference (SPLC). Carnegie Mellon University, Pittsburgh, PA, USA, pp. 111--119, 2009.

Digital Library

[23]

R. R. Lutz, G. G. Helmer, M. M. Moseman, D. E. Statezni, and S. R. Tockey, "Safety analysis of requirements for a product family". 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice (ICRE). IEEE Computer Society, Washington, DC, USA, 1998.

Digital Library

[24]

B. Gallina, S. Kashiyarandi, H. Martin, and R. Bramberger, "Modeling a safety- and automotive-oriented process line to enable reuse and flexible process derivation". 8th International Workshop on Quality-Oriented Reuse of Software (QUORS), IEEE Computer Society, Västerås, Sweden, 2014.

Digital Library

[25]

B. Gallina, S. Kashiyarandi, K. Zugsbrati, and A. Geven, "Enabling cross-domain reuse of tool qualification certification artefacts". 1st International Workshop on DEvelopment, Verification and VAlidation of cRiTical Systems (DEVVARTS), Springer, Florence, Italy, 2014.

[26]

AC 20-148. "Reusable software components". Federal Aviation Administration, Dec. 2004.

[27]

B. Gallina, K. Lundqvist, and K. Forsberg, "THRUST: a method for speeding up the creation of process-related deliverables". IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC), Colorado Springs, CO, USA, Oct. 5-9, 2014.

[28]

R. Berthold, E. Denney, M. Fladeland, G. Pai, B. Storms and M. Sumich, "Assuring Ground-based Detect and Avoid for UAS Operations". IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC), Colorado Springs, CO, USA, Oct. 5-9, 2014.

[29]

M. Schulze, J. Mauersberger, and D. Beuche, "Functional safety and variability: can it be brought together?". 17th International Software Product Line Conference (SPLC). ACM, New York, NY, USA, 236-243, 2013.

Digital Library

Cited By

Kenner AMay RKrüger JSaake GLeich TMousavi MSchobbens P(2021)Safety, security, and configurable software systemsProceedings of the 25th ACM International Systems and Software Product Line Conference - Volume A10.1145/3461001.3471147(148-159)Online publication date: 6-Sep-2021
https://dl.acm.org/doi/10.1145/3461001.3471147
Wolschke CBecker MSchneickert SAdler RMacGregor J(2019)Industrial Perspective on Reuse of Safety Artifacts in Software Product LinesProceedings of the 23rd International Systems and Software Product Line Conference - Volume A10.1145/3336294.3336315(143-154)Online publication date: 9-Sep-2019
https://dl.acm.org/doi/10.1145/3336294.3336315
Meixner KRabiser RBiffl S(2019)Towards Modeling Variability of Products, Processes and Resources in Cyber-Physical Production Systems EngineeringProceedings of the 23rd International Systems and Software Product Line Conference - Volume B10.1145/3307630.3342411(49-56)Online publication date: 9-Sep-2019
https://dl.acm.org/doi/10.1145/3307630.3342411
Show More Cited By

Index Terms

Towards enabling reuse in the context of safety-critical product lines

Recommendations

Towards Enabling Reuse in the Context of Safety-Critical Product Lines
PLEASE '15: Proceedings of the 2015 IEEE/ACM 5th International Workshop on Product LinE Approaches in Software Engineering

In the context of safety-critical product lines, industries have to face an urgent challenge: reduction of time and cost for the creation of a safety case. A safety case is a contextualized structured argument constituted of process and product-based ...
Towards a Safety-Oriented Process Line for Enabling Reuse in Safety Critical Systems Development and Certification
SEW '12: Proceedings of the 2012 35th Annual IEEE Software Engineering Workshop

Safety standards define development processes by indicating the set of partially ordered tasks that have to be executed to achieve acceptably safe systems. Process compliance constitutes a fundamental ingredient in safety argumentation for certification ...
Bi-directional safety analysis of product lines

As product-line engineering becomes more widespread, more safety-critical software product lines are being built. This paper describes a structured method for performing safety analysis on a software product line, building on standard product-line ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

PLEASE '15: Proceedings of the Fifth International Workshop on Product LinE Approaches in Software Engineering

May 2015

40 pages

Program Chairs:
Julia Rubin
Massachusetts Institute of Technology
,
Goetz Botterweck
Lero, Ireland
,
Andreas Pleuss
Lero, Ireland
,
David M. Weiss
Iowa State University

Sponsors

ACM: Association for Computing Machinery
SIGSOFT: ACM Special Interest Group on Software Engineering
IEEE-CS\DATC: IEEE Computer Society
TCSE: IEEE Computer Society's Tech. Council on Software Engin.

Publisher

IEEE Press

Publication History

Published: 16 May 2015

Check for updates

Author Tags

Qualifiers

Research-article

Conference

ICSE '15

Sponsor:

ACM
SIGSOFT
IEEE-CS\DATC
TCSE

ICSE '15: 37th International Conference on Software Engineering

May 16 - 24, 2015

Florence, Italy

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

6
Total Citations
View Citations
53
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 26 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Kenner AMay RKrüger JSaake GLeich TMousavi MSchobbens P(2021)Safety, security, and configurable software systemsProceedings of the 25th ACM International Systems and Software Product Line Conference - Volume A10.1145/3461001.3471147(148-159)Online publication date: 6-Sep-2021
https://dl.acm.org/doi/10.1145/3461001.3471147
Wolschke CBecker MSchneickert SAdler RMacGregor J(2019)Industrial Perspective on Reuse of Safety Artifacts in Software Product LinesProceedings of the 23rd International Systems and Software Product Line Conference - Volume A10.1145/3336294.3336315(143-154)Online publication date: 9-Sep-2019
https://dl.acm.org/doi/10.1145/3336294.3336315
Meixner KRabiser RBiffl S(2019)Towards Modeling Variability of Products, Processes and Resources in Cyber-Physical Production Systems EngineeringProceedings of the 23rd International Systems and Software Product Line Conference - Volume B10.1145/3307630.3342411(49-56)Online publication date: 9-Sep-2019
https://dl.acm.org/doi/10.1145/3307630.3342411
Javed MGallina BCarlsson AHung CPapadopoulos G(2019)Towards variant management and change impact analysis in safety-oriented process-product linesProceedings of the 34th ACM/SIGAPP Symposium on Applied Computing10.1145/3297280.3297634(2372-2375)Online publication date: 8-Apr-2019
https://dl.acm.org/doi/10.1145/3297280.3297634
Nešić DNyberg MGallina BHung CPapadopoulos G(2019)Constructing product-line safety cases from contract-based specificationsProceedings of the 34th ACM/SIGAPP Symposium on Applied Computing10.1145/3297280.3297479(2022-2031)Online publication date: 8-Apr-2019
https://dl.acm.org/doi/10.1145/3297280.3297479
Javed MGallina B(2018)Safety-oriented process line engineering via seamless integration between EPF composer and BVR toolProceedings of the 22nd International Systems and Software Product Line Conference - Volume 210.1145/3236405.3236406(23-28)Online publication date: 10-Sep-2018
https://dl.acm.org/doi/10.1145/3236405.3236406

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten