An ontology-based approach to support the certification of Safety-Critical Software Product Lines
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.
Basili, V. R., Caldiera, G. and Rombach, H. D. (1994). The goal question metric approach. Encyclopedia of Software Engineering, v. 2, p. 528–532.
Braga, R. T. V., Trindade, O., Branco, K. R. L. J. C. and Lee, J. (12 sep 2012). Incorporating certification in feature modelling of an unmanned aerial vehicle product line. . Association for Computing Machinery (ACM).
Fernandes, P. C. B., Guizzardi, R. S. S. and Guizzardi, G. (2011). Using Goal Modeling to Capture Competency Questions in Ontology-based Systems. Journal of Information and Data Management, v. 2, n. 3, p. 527.
Filho, J., Barais, O., Baudry, B., Viana, W. and Andrade, R. M. C. (2012). An approach for semantic enrichment of software product lines. In ACM International Conference Proceeding Series.
Habli, I. and Kelly, T. (sep 2007). Challenges of Establishing a Software Product Line for an Aerospace Engine Monitoring System. In 11th International Software Product Line Conference (SPLC 2007). . IEEE.
ICAO (2011). Unmanned Aircraft Systems (UAS). ICAO Cir 328, Unmanned Aircraft Systems (UAS)
ISO (2018). Road vehicles -- Functional safety. . ISO, Geneva, Switzerland.
Kang, K. C., Kim, S., Lee, J., et al. (jan 1998). FORM: A feature-;oriented reuse method with domain-;specific reference architectures. Annals of Software Engineering, v. 5, n. 1, p. 143.
Kelly, T., Habli, I., Masiero, P. C., et al. (2016). Model-based safety analysis of software product lines. International Journal of Embedded Systems, v. 8, n. 5/6, p. 412.
Lee, K., Kang, K. C. and Lee, J. (2002). Concepts and guidelines of feature modeling for product line software engineering. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 2319, n. April, p. 62–77.
Noy, N. F. and Hafner, C. D. (1997). The state of the art in ontology design: A survey and comparative review. AI Magazine, v. 18, n. 3, p. 53–74.
Oliveira, A. L., Braga, R. T. V., Masiero, P. C., et al. (2018). Variability Management in Safety-Critical Software Product Line Engineering. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). . Springer Verlag.
Pohl, K., Böckle, G. and Van der Linden, F. J. (2005). Software Product Line Engineering: Foundations, Principles, and Techniques. Springer.
RTCA (2011). DO-178C Software Considerations in Airborne Systems and Equipment Certification. Radio Technical Commission for Aeronautics.
Villela, K., Silva, A., Vale, T. and De Almeida, E. S. (2014). A Survey on Software Variability Management Approaches. In Proceedings of the 18th International Software Product Line Conference - Volume 1. , SPLC ’14. ACM.
Wohlin, C., Runeson, P., Hst, M., et al. (2012). Experimentation in Software Engineering. Springer Publishing Company, Incorporated.