Tools
Tools
Braga, Rosana T. Vaccare, Junior, Onofre Trindade, Branco, Kalinka C., Neris, Luciano O. and Lee, Jaejoon 
ORCID: https://orcid.org/0000-0001-6016-8540
(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
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 Oct 2022 23:51 |
| URI: | https://ueaeprints.uea.ac.uk/id/eprint/73731 |
| DOI: | 10.1007/978-3-642-33678-2_30 |
Actions (login required)
 |
View Item |