Abstract
Software Product Line Engineering (SPLE) is a software development paradigm that aims at reducing the development effort and shorting time-to-market through systematic software reuse. While this paradigm has been successfully applied for the development of embedded systems in various domains, new challenges have emerged from the development of safety critical systems that require certification against a specific standard. Existing SPLE approaches do not explicitly consider the various certification standards or levels that products should satisfy. In this paper, we focus on several practical issues involved in the SPLE process, establishing an infrastructure of a product line engineering for certified products. A metamodel is proposed to capture the entities involved in SPL certification and the relationships among them. ProLiCES, which is a model-driven process for the development of SPLs, was modified to serve as an example of our approach, in the context of the UAV (Unmanned Aerial Vehicle) domain.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Abdul-Baki, B., Baldwin, J., Rudel, M.-P.: Independent validation and verification of the TCAS II collision avoidance subsystem. IEEE Aerosp. Electronic Systems Magazine 15(8), 3–9 (2000)
Braga, R.T.V., Trindade Jr., O., Branco, K.R.L.J.C., Lee, J.: Incorporating certification in feature modelling of an unmanned aerial vehicle product line. In: 16th International Software Product Line Conference (SPLC), Salvador, Brazil, pp. 1–10 (accepted for publication, to appear 2012)
Braga, R.T.V., Branco, K.R.L.J.C., Trindade Jr., O., Gimenes, I.: Evolving tiriba design towards a product line of small electric-powered uavs. In: Procs. of CBSEC - I Brazilian Conf. on Critical Embedded Systems, pp. 67–72 (2011)
Braga, R.T.V., Branco, K.R.L.J.C., Trindade Jr., O., Masiero, P.C., Neris, L.O., Becker, M.: The prolices approach to develop product lines for safety-critical embedded systems and its application to the unmanned aerial vehicles domain. CLEI Electronic Journal 15(2), 1–13 (2012)
Dordowsky, F., Hipp, W.: Adopting software product line principles to manage software variants in a complex avionics system. In: Proceedings of the 13th International Software Product Line Conference, SPLC 2009, Pittsburgh, PA, USA, pp. 265–274. Carnegie Mellon University (2009)
GAO. Unmanned aircraft systems - federal actions needed to ensure safety and expand their potential uses within the national airspace system, GAO-08-511. Technical report, GAO 2008 (2008)
Habli, I., Kelly, T.: A Safety Case Approach to Assuring Configurable Architectures of Safety-Critical Product Lines. In: Giese, H. (ed.) ISARCS 2010. LNCS, vol. 6150, pp. 142–160. Springer, Heidelberg (2010)
Hutchesson, S., McDermid, J.: Development of High-Integrity Software Product Lines Using Model Transformation. In: Schoitsch, E. (ed.) SAFECOMP 2010. LNCS, vol. 6351, pp. 389–401. Springer, Heidelberg (2010)
Hutchesson, S., McDermid, J.A.: Towards cost-effective high-assurance software product lines: The need for property-preserving transformations. In: Software Product Line Conference (SPLC), pp. 55–64 (2011)
Kang, K.C., Kim, S., Lee, J., Kim, K., Jounghyun Kim, G., Shin, E.: Form: A feature-oriented reuse method with domain-specific reference architectures. Annals of Software Engineering 5, 143–168 (1998)
Kornecki, A., Zalewski, J.: Certification of software for real-time safety-critical systems: state of the art. Innovations in Systems and Software Engineering 5(2), 149–161 (2009)
Lee, K., Kang, K.C.: Usage Context as Key Driver for Feature Selection. In: Bosch, J., Lee, J. (eds.) SPLC 2010. LNCS, vol. 6287, pp. 32–46. Springer, Heidelberg (2010)
Polzer, A., Kowalewski, S., Botterweck, G.: Applying software product line techniques in model-based embedded systems engineering. In: Procs. of the Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2009), at the 31st Int. Conf. on Software Engineering, pp. 2–10 (2009)
RTCA. DO-178B – software considerations in airborne systems and equipment certification. Radio Technical Commission for Aeronautics/EUROCAE Std ed-12B/DO178B (December 1992)
Schoitsch, E., Althammer, E., Eriksson, H., Vinter, J., Gönczy, L., Pataricza, A., Csertan, G.: Validation and Certification of Safety-Critical Embedded Systems - The DECOS Test Bench. In: Górski, J. (ed.) SAFECOMP 2006. LNCS, vol. 4166, pp. 372–385. Springer, Heidelberg (2006)
Souyris, J., Wiels, V., Delmas, D., Delseny, H.: Formal Verification of Avionics Software Products. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol. 5850, pp. 532–546. Springer, Heidelberg (2009)
Weiss, D., Lai, C.T.R.: Software product-line engineering: a family-based software development process. Addison-Wesley, Boston (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Braga, R.T.V., Trindade Junior, O., Castelo Branco, K.R., Neris, L.D.O., Lee, J. (2012). Adapting a Software Product Line Engineering Process for Certifying Safety Critical Embedded Systems. In: Ortmeier, F., Daniel, P. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2012. Lecture Notes in Computer Science, vol 7612. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33678-2_30
Download citation
DOI: https://doi.org/10.1007/978-3-642-33678-2_30
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-33677-5
Online ISBN: 978-3-642-33678-2
eBook Packages: Computer ScienceComputer Science (R0)