MoVES: A Model-Driven Methodology for Vehicular Embedded Systems

This paper introduces a novel model-driven methodology for the software development of real-time distributed vehicular embedded systems on single-and multi-core platforms. The proposed methodology discloses the opportunity of improving the cost-efficiency of the development process by providing auto...

Full description

Saved in:
Bibliographic Details
Published in:IEEE access 2018-01, Vol.6, p.6424-6445
Main Authors: Bucaioni, Alessio, Addazi, Lorenzo, Cicchetti, Antonio, Ciccozzi, Federico, Eramo, Romina, Mubeen, Saad, Sjodin, Mikael
Format: Article
Language:English
Subjects:
Analytical models
component model
Computer architecture
Computer models
Cooperation
EAST-ADL
Embedded systems
Industrial applications
Methodology
model transformations
Model-driven development
Programming languages
Real-time systems
Resource management
Software development
Timing
Transformations (mathematics)
vehicular embedded systems
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:This paper introduces a novel model-driven methodology for the software development of real-time distributed vehicular embedded systems on single-and multi-core platforms. The proposed methodology discloses the opportunity of improving the cost-efficiency of the development process by providing automated support to identify viable design solutions with respect to selected non-functional requirements. To this end, it leverages the interplay of modeling languages for the vehicular domain whose integration is achieved by a suite of model transformations. An instantiation of the methodology is discussed for timing requirements, which are among the most critical ones for vehicular systems. To support the design of temporally correct systems, cooperation between EAST-ADL and the Rubus component model is opportunely built-up by means of model transformations, enabling timing-aware design and model-based timing analysis of the system. The applicability of the methodology is demonstrated as the proof of concepts on industrial use cases performed in cooperation with our industrial partners.
ISSN:2169-3536
2169-3536
DOI:10.1109/ACCESS.2018.2789400