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...

Full description

Bibliographic Details
Authors: Parra Espada, Pablo|||0000-0002-4242-8297, Rodríguez Polo, Óscar|||0000-0002-7893-4247, Fernández Salgado, Javier, Da Silva Fariña, Antonio|||0000-0002-3737-743X, Sánchez Prieto, Sebastián|||0000-0002-6729-7932, Martínez Hellín, Agustín|||0000-0002-5600-9253
Format: article
Publication Date:2021
Country:España
Institution:Universidad de Alcalá (UAH)
Repository:e_Buah Biblioteca Digital Universidad de Alcalá
Language:English
OAI Identifier:oai:ebuah.uah.es:10017/63757
Online Access:http://hdl.handle.net/10017/63757
https://dx.doi.org/10.1109/TETC.2018.2866024
Access Level:Open access
Keyword:Component-based software engineering
Model-driven development
On-board software
Schedulability analysis
Informática
Computer science
id ES_5bb94de16b9009b685052511ab143141
oai_identifier_str oai:ebuah.uah.es:10017/63757
network_acronym_str ES
network_name_str España
repository_id_str
spelling A Platform-Aware Model-Driven Embedded Software Engineering Process Based on Annotated Analysis ModelsParra Espada, Pablo|||0000-0002-4242-8297Rodríguez Polo, Óscar|||0000-0002-7893-4247Fernández Salgado, JavierDa Silva Fariña, Antonio|||0000-0002-3737-743XSánchez Prieto, Sebastián|||0000-0002-6729-7932Martínez Hellín, Agustín|||0000-0002-5600-9253Component-based software engineeringModel-driven developmentOn-board softwareSchedulability analysisInformáticaComputer scienceIn 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.Ministerio de Economía, Comercio y Empresa20212021-01-01journal articlehttp://purl.org/coar/resource_type/c_6501NAhttp://purl.org/coar/version/c_be7fb7dd8ff6fe43info:eu-repo/semantics/articleapplication/pdfhttp://hdl.handle.net/10017/63757https://dx.doi.org/10.1109/TETC.2018.2866024reponame:e_Buah Biblioteca Digital Universidad de Alcaláinstname:Universidad de Alcalá (UAH)InglésengMinisterio de Economía y Competitividad http://dx.doi.org/10.13039/501100003329 Not available ESP2015-68266-RMinisterio de Economía y Competitividad http://dx.doi.org/10.13039/501100003329 Not available ESP2013-48346-C2-2-Ropen accesshttp://purl.org/coar/access_right/c_abf2Attribution-NonCommercial-NoDerivatives 4.0 Internationalhttp://creativecommons.org/licenses/by-nc-nd/4.0/info:eu-repo/semantics/openAccessoai:ebuah.uah.es:10017/637572026-06-18T11:13:07Z
dc.title.none.fl_str_mv A Platform-Aware Model-Driven Embedded Software Engineering Process Based on Annotated Analysis Models
title A Platform-Aware Model-Driven Embedded Software Engineering Process Based on Annotated Analysis Models
spellingShingle A Platform-Aware Model-Driven Embedded Software Engineering Process Based on Annotated Analysis Models
Parra Espada, Pablo|||0000-0002-4242-8297
Component-based software engineering
Model-driven development
On-board software
Schedulability analysis
Informática
Computer science
title_short A Platform-Aware Model-Driven Embedded Software Engineering Process Based on Annotated Analysis Models
title_full A Platform-Aware Model-Driven Embedded Software Engineering Process Based on Annotated Analysis Models
title_fullStr A Platform-Aware Model-Driven Embedded Software Engineering Process Based on Annotated Analysis Models
title_full_unstemmed A Platform-Aware Model-Driven Embedded Software Engineering Process Based on Annotated Analysis Models
title_sort A Platform-Aware Model-Driven Embedded Software Engineering Process Based on Annotated Analysis Models
dc.creator.none.fl_str_mv Parra Espada, Pablo|||0000-0002-4242-8297
Rodríguez Polo, Óscar|||0000-0002-7893-4247
Fernández Salgado, Javier
Da Silva Fariña, Antonio|||0000-0002-3737-743X
Sánchez Prieto, Sebastián|||0000-0002-6729-7932
Martínez Hellín, Agustín|||0000-0002-5600-9253
author Parra Espada, Pablo|||0000-0002-4242-8297
author_facet Parra Espada, Pablo|||0000-0002-4242-8297
Rodríguez Polo, Óscar|||0000-0002-7893-4247
Fernández Salgado, Javier
Da Silva Fariña, Antonio|||0000-0002-3737-743X
Sánchez Prieto, Sebastián|||0000-0002-6729-7932
Martínez Hellín, Agustín|||0000-0002-5600-9253
author_role author
author2 Rodríguez Polo, Óscar|||0000-0002-7893-4247
Fernández Salgado, Javier
Da Silva Fariña, Antonio|||0000-0002-3737-743X
Sánchez Prieto, Sebastián|||0000-0002-6729-7932
Martínez Hellín, Agustín|||0000-0002-5600-9253
author2_role author
author
author
author
author
dc.subject.none.fl_str_mv Component-based software engineering
Model-driven development
On-board software
Schedulability analysis
Informática
Computer science
topic Component-based software engineering
Model-driven development
On-board software
Schedulability analysis
Informática
Computer science
description 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.
publishDate 2021
dc.date.none.fl_str_mv 2021
2021-01-01
dc.type.none.fl_str_mv journal article
http://purl.org/coar/resource_type/c_6501
NA
http://purl.org/coar/version/c_be7fb7dd8ff6fe43
dc.type.openaire.fl_str_mv info:eu-repo/semantics/article
format article
dc.identifier.none.fl_str_mv http://hdl.handle.net/10017/63757
https://dx.doi.org/10.1109/TETC.2018.2866024
url http://hdl.handle.net/10017/63757
https://dx.doi.org/10.1109/TETC.2018.2866024
dc.language.none.fl_str_mv Inglés
eng
language_invalid_str_mv Inglés
language eng
dc.relation.none.fl_str_mv Ministerio de Economía y Competitividad http://dx.doi.org/10.13039/501100003329 Not available ESP2015-68266-R
Ministerio de Economía y Competitividad http://dx.doi.org/10.13039/501100003329 Not available ESP2013-48346-C2-2-R
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
Attribution-NonCommercial-NoDerivatives 4.0 International
http://creativecommons.org/licenses/by-nc-nd/4.0/
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
Attribution-NonCommercial-NoDerivatives 4.0 International
http://creativecommons.org/licenses/by-nc-nd/4.0/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:e_Buah Biblioteca Digital Universidad de Alcalá
instname:Universidad de Alcalá (UAH)
instname_str Universidad de Alcalá (UAH)
reponame_str e_Buah Biblioteca Digital Universidad de Alcalá
collection e_Buah Biblioteca Digital Universidad de Alcalá
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869408823156932608
score 15,811543

Similar Items