A Platform-Aware Model-Driven Embedded Software Engineering Process Based on Annotated Analysis Models
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 differ...
| Autores: | , , , , , |
|---|---|
| Tipo de documento: | artigo |
| Data de publicação: | 2021 |
| País: | España |
| Recursos: | Universidad de Alcalá (UAH) |
| Repositório: | e_Buah Biblioteca Digital Universidad de Alcalá |
| Idioma: | inglês |
| OAI Identifier: | oai:ebuah.uah.es:10017/63757 |
| Acesso em linha: | http://hdl.handle.net/10017/63757 https://dx.doi.org/10.1109/TETC.2018.2866024 |
| Access Level: | Acceso aberto |
| Palavra-chave: | Component-based software engineering Model-driven development On-board software Schedulability analysis Informática Computer science |
| Resumo: | 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. |
|---|