Embedded software product lines: domain and application engineering model‐based analysis processes. Issue 4 (5th September 2012)

• Record Type: Journal Article
• Authors: Belategi, Lorea; Sagardui, Goiuria; Etxeberria, Leire; Azanza, Maider
• Other Names: Raffo David guestEditor.; Pfahl Dietmar guestEditor.; Zhang Li guestEditor.
• Is Part Of: Journal of software. Volume 26:Issue 4(2014:Apr.)
• Page Start: 419
• Page End: 433
• Publication Date: 2012-09-05
• Subjects: software product line -- model‐based analysis process -- model‐driven development -- quality attributes -- performance; Software engineering -- Periodicals; Computer software -- Development -- Periodicals; Software maintenance -- Periodicals; 005.1
• DOI: 10.1002/smr.1568
• Languages: English
• ISSNs: 2047-7473

Abstract

SUMMARY: Nowadays, embedded systems are gaining importance. At the same time, the development of their software is increasing its complexity, having to deal with quality, cost, and time‐to‐market issues among others. With stringent quality requirements such as performance, early verification and validation become critical in these systems. In this regard, advanced development paradigms such as model‐driven engineering and software product line engineering bring considerable benefits to the development and validation of embedded system software. However, these benefits come at the cost of increasing process complexity. This work presents a process based on UML and MARTE for the analysis of embedded model‐driven product lines. It specifies the tasks, the involved roles, and the workproducts that form the process and how it is integrated in the more general development process. Existing tools that support the tasks to be performed in the process are also described. A classification of such tools and a study of traceability among them are provided, allowing engineering teams to choose the most adequate chain of tools to support the process. Copyright © 2012 John Wiley & Sons, Ltd. Abstract : Embedded systems are becoming ubiquitous, and software running on them is fundamental for them to function. At the same time, the development of their software is increasing its complexity, dealing with cost, time to market, and quality, among others. With stringent quality requirements such as performance, early verification and validation of their software is essential for assuring software quality. In this setting, this work presents a process that supports model‐based analysis of an embedded software product line to assure temporal requirements.