Towards a safety-oriented process line for enabling reuse in safety critical systems development and certification

Proceedings of the 2012 IEEE 35th Software Engineering Workshop, SEW 2012

Volumn , Issue , 2012, Pages 148-157

  Gallina, Barbara ^a   Sljivo, Irfan ^a   Jaradat, Omar ^a  

^a MÄLARDALEN UNIVERSITY   (Sweden)

Author keywords

Process lines; Qualitative standards comparison; Safety certification reuse; Safety processes; Safety standards

Indexed keywords

PROCESS LINE; QUALITATIVE STANDARDS COMPARISON; SAFETY CERTIFICATION; SAFETY PROCESS; SAFETY STANDARD;

SOFTWARE ENGINEERING; TECHNICAL PRESENTATIONS;

SAFETY ENGINEERING;

EID: 84876152424     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEW.2012.22     Document Type: Conference Paper

References (30)

1. ARTEMIS-JU- 269265 SafeCer - Safety Certification of Software-Intensive Systems with Reusable Components. http://www.safecer.eu/.
2. SYNOPSIS- SSF- RIT10-0070. Safety Analysis for Predictable Software Intensive Systems. Swedish Foundation for Strategic Research. http://www.mrtc.mdh.se/index.php?choice=projects&id=0356.
3. IEC61508:2010. Functional safety of electrical/electronic/programmable electronic safety-related systems.
4. ISO26262. Road vehicles - Functional safety. International Standard, November 2011.
5. EN 50126-1:1999. Railway applications: The specification and demonstration of Reliability, Availability, Maintainability and Safety (RAMS) - Part 1: Basic requirements and generic process, including corrigendum May 2010.
6. N. Leveson. White Paper on The Use of Safety Cases in Certification and Regulation, updated May 6, 2012.
7. T. Ternite. Process Lines: A Product Line Approach Designed for Process Model Development. Proceedings of the 35th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), pp. 173-180, Patras, Greece, August 27-29, 2009.
8. OMG. Software & systems Process Engineering Meta-model (SPEM), v 2.0. Full Specification formal/08-04-01, Object Management Group, 2008.
9. T. Martínez-Ruiz, F. García, M. Piattini, J. Münch. Modeling Software Process Variability: An Empirical Study. IET Software, vol. 5, no. 2, pp. 172-187, 2011.
10. A Generic Process Model for Integrated Certification and Development of Component-based Systems. SafeCer deliverable D2.1.1 Month 8, 2011.
11. M. Åkerholm and R. Land. Towards Systematic Software Reuse in Certifiable Safety-Critical Systems. Position paper presented at the International Workshop on Software Reuse and Safety (RESAFE), Washington, D.C., September, 2009.
12. E. Ledinot, J. Gassino, J.-P. Blanquart, J.-L. Boulanger, P. Quéré, B. Ricque. A cross-domain comparison of software development assurance. Proceedings of the 6th European Congress for Embedded Real Time Software and Systems Conference (ERTSC), Toulouse, France, February 2012.
13. O. Armbrust, M. Katahira, Y. Miyamoto, J. Münch, H. Nakao, and A. Ocampo. Scoping software process lines. Software Process: Improvement and Practice - Examining Process Design and Change, volume 14, issue 3, pp. 181-197, May 2009.
14. II-C. Yoon, S-Y. Min, and D.-H. Bae. Tailoring and Verifying Software Process. Proceedings of the 8th Asia-Pacific on Software Engineering Conference (APSEC). IEEE Computer Society, Washington, DC, USA, pp. 202-209, 2001.
15. J. Bosch. From Software Product Lines to Software Ecosystems. Proceedings of the 13th International Software Product Line Conference (SPLC), Carnegie Mellon University, Pittsburgh, PA, USA, pp. 111-119, August 2009.
16. H. D. Rombach. Integrated Software Process and Product Lines. Proceedings of the International Software Process Workshop (SPW), Beijing, China, LNCS 3840/2006, pp. 83- 90, M. Li, B. Boehm and L.J. Osterweil (eds.), 2005.
17. J-P. Blanquart, J-M. Astruc, P. Baufreton, J-L. Boulanger, H. Delseny, J. Gassino, G. Ladier, E. Ledinot, M. Leeman, J. Machrouh, P. Quéré, B. Ricque. Criticality categories across safety standards in different domains. ERTS, Toulouse, France, 1-3 February 2012.
18. Y. Papadopoulos, J. A. McDermid. The Potential for a Generic Approach to Certification of Safety-Critical Systems in the Transportation Sector. Journal of Reliability Engineering and System Safety, 63, pp. 47-66, Elsevier Science, 1999.
19. Z. Stephenson. Guidance on the application of the revised IEC 61508 to DS 00-56. Technical Report SSEI-TR-000045, Software Systems Engineering Initiative, December 2009.
20. EN 50126-2:2007. Railway applications: The specification and demonstration of Reliability, Availability, Maintainability and Safety (RAMS) - Part 2: Guide to the application of EN 50126-1 for safety, 2007.
21. Eclipse Process Framework http://www.eclipse.org/epf/.
22. StarUML http://staruml.sourceforge.net/en/.
23. K. Pohl, G. Böckle, and F. J. van der Linden. Software Product Line Engineering: Foundations, Principles and Techniques. ISBN: 3540243720, Springer-Verlag, 1 edition, 2005.
24. J. Simmonds and M. C. Bastarrica. Modeling Variability in Software Process Lines. Universidad de Chile, TR/DCC- 2011-10 September 14, 2011.
25. J. Simmonds, M. C. Bastarrica, L. Silvestre, A. Quispe. Analyzing Methodologies and Tools for Specifying Variability in Software Processes. Universidad de Chile, TR/DCC-2011-12, November 4, 2011.
26. T. Martínez-Ruiz, J. Münch, F. García, and M. Piattini. Requirements and constructors for tailoring software processes: a systematic literature review. Software Quality Control, 20, 1, pp. 229-260, March 2012.
27. RTCA DO-178B (EUROCAE ED-12B), Software Considerations In Airborne Systems and Equipment Certification. RTCA Inc., Washington, DC, December 1992.
28. RTCA/DO-178C Software Considerations in Airborne Systems and Equipment Certification. RTCA, Inc. 2011.
29. A. Wabenhorst and B. Atchison. A Survey of International Safety Standards. Software Verification Research Centre, School of Information Technology, The University of Queensland, Brisbane 4072, Australia, Technical report 99- 30, November 1999.
30. R. K. Panesar-Walawege and M. Sabetzadeh and L. Briand. Using UML Profiles for Sector-Specific Tailoring of Safety Evidence Information. Proceedings of the 30th International Conference on Conceptual Modeling (ER'11), LNCS, Vol. 6998, pp. 362-378, Springer, 2011.