Adapting a software product line engineering process for certifying safety critical embedded systems

Braga, Rosana T. Vaccare, Junior, Onofre Trindade, Branco, Kalinka C., Neris, Luciano O. and Lee, Jaejoon (2012) Adapting a software product line engineering process for certifying safety critical embedded systems. In: Computer safety, reliability and security. UNSPECIFIED, pp. 352-363. ISBN 978-3-642-33678-2

Full text not available from this repository. (Request a copy)

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.

Item Type: Book Section
Faculty \ School: Faculty of Science > School of Computing Sciences
Related URLs:
Depositing User: LivePure Connector
Date Deposited: 22 Jan 2020 03:57
Last Modified: 22 Jan 2020 03:57
URI: https://ueaeprints.uea.ac.uk/id/eprint/73731
DOI: 10.1007/978-3-642-33678-2_30

Actions (login required)

View Item View Item