arrow
Return

A Platform-Aware Model-Driven Embedded Software Engineering Process Based on Annotated Analysis Models

delete2021-01-01
delete3
PRE
AI
P
Pablo Parra *
Ó
Óscar R. Polo
J
Javier Fernández
A
Antônio da Silva
S
Sebastián Sánchez
A
Agustín Martínez
DOI:10.1109/TETC.2018.2866024delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
In this work a platform-aware model-driven engineering process for building component-based embedded software systems using annotated analysis models is described. The process is supported by a framework, called MICOBS, that allows working with different component technologies and integrating different tools that, independently of the component technology, enable the analysis of non-functional properties based on the principles of composability and compositionality. An actor, called Framework Architect, is responsible for this integration. Three other actors take a relevant part in the analysis process. The Component Provider supplies the components, while the Component Tester is in charge of their validation. The latter also feeds MICOBS with the annotated analysis models that characterize the extra-functional properties of the components for the different platforms on which they can be deployed. The Application Architect uses these components to build new systems, performing the trade-off between different alternatives. At this stage, and in order to verify that the final system meets the extra-functional requirements, the Application Architect uses the reports generated by the integrated analysis tools. This process has been used to support the validation and verification of the on-board application software for the Instrument Control Unit of the Energetic Particle Detector of the Solar Orbiter mission.
Keywords:
Analytical models
Tools
Biological system modeling
Computational modeling
Embedded software
Measurement
Component-based software engineering
model-driven development
on-board software
schedulability analysis
AI Summary

AI Summary

Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.

Journal

IEEE Transactions on Emerging Topics in Computing cover
IEEE Transactions on Emerging Topics in Computing
IF:
5.4
Papers:
1.1K
Citations:
3.4K

Organization

U
universidad de alcala
Scholars:
7.9K
Papers: 6.8K
Citations: 7