Zobrazeno 1 - 10
of 31
pro vyhledávání: '"Óscar R-Polo"'
Autor:
Pablo Parra, Antonio da Silva, Borja Losa, J. Ignacio García, Óscar R. Polo, Agustín Martínez, Sebastián Sánchez
Publikováno v:
ACM Transactions on Embedded Computing Systems.
In recent decades, mixed-criticality systems have been widely adopted to reduce the complexity and development times of real-time critical applications. In these systems, applications run on a separation kernel hypervisor, a software element that con
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0ca3463895cb1787e88147d26b6dce73
https://doi.org/10.1145/3584702
https://doi.org/10.1145/3584702
Autor:
Sebastián F. Sánchez, Alberto Carrasco, Pablo Parra, Aarón Montalvo, Agustín Albillos Martínez, Antonio da Silva, Óscar R. Polo
Publikováno v:
Software and Systems Modeling. 21:2367-2394
The development process of on-board software applications can benefit from model-driven engineering techniques. Model validation and model transformations can be applied to drive the activities of specification, requirements definition, and system-le
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::092ec3e8a718d3f9b51583f5135fa186
https://doi.org/10.1007/s10270-021-00940-8
https://doi.org/10.1007/s10270-021-00940-8
Autor:
Lauri Panitzsch, A. Ravanbakhsh, R. Elftmann, Björn Schuster, Francisco Espinosa Lara, Aarón Montalvo, Nils Janitzek, Alberto Carrasco, I. Cernuda, Robert F. Wimmer-Schweingruber, V. Knierim, S. Boden, G. M. Mason, Raul Gomez-Herrero, George C. Ho, B. Andrews, Sebastián F. Sánchez, Manuel Prieto, M. Yedla, Cesar Martin, L. Seimetz, Óscar R-Polo, Stephan Böttcher, Shrinivasrao R. Kulkarni, Óscar Ramón Ramos Gutiérrez, Agustín Albillos Martínez, Javier Rodriguez-Pacheco, Jan-Christoph Terasa
Publikováno v:
Acta Astronautica. 187:12-23
This work presents an overview of the in-flight engineering data of the Energetic Particle Detector (EPD) instrument suite during its first year of operation. EPD is part of the in-situ scientific payload of the ESA/NASA Solar Orbiter mission which w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8c0995a59ef4c454a395aeafaa44e69b
https://doi.org/10.1016/j.actaastro.2021.06.007
https://doi.org/10.1016/j.actaastro.2021.06.007
Autor:
Javier Fernandez, Sebastián Sánchez, Agustín Albillos Martínez, Óscar R. Polo, Pablo Parra, Antonio da Silva
Publikováno v:
IEEE Transactions on Emerging Topics in Computing. 9:78-89
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 diffe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9350edb63d64ac2e5988c3e7d6cadadf
https://doi.org/10.1109/tetc.2018.2866024
https://doi.org/10.1109/tetc.2018.2866024
Autor:
Agustín Albillos Martínez, Antonio da Silva, Sebastián Sánchez, Pablo Parra, Alberto Carrasco, Óscar R. Polo
Publikováno v:
Acta Astronautica. 178:314-328
This paper describes a model-driven environment for configuration control and deployment of on-board satellite software. The solution enables platform-aware software development through the use of modelling artefacts provided by a framework called MI
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a43f199de953762d9fafe832e95b8faa
https://doi.org/10.1016/j.actaastro.2020.09.017
https://doi.org/10.1016/j.actaastro.2020.09.017
Publikováno v:
Modelling and Simulation in Engineering, Vol 2014 (2014)
This paper presents the design of a SystemC transaction level modelling wrapping library that can be used for the assertion of system properties, protocol compliance, or fault injection. The library uses C++ virtual table hooks as a dynamic binary in
Externí odkaz:
https://doaj.org/article/035f93b5559f4a1589a6223528dca2a6
Autor:
Agustín Martínez Hellín, Antonio da Silva, Pablo Parra, Sebastián F. Sánchez, Jonatan Sánchez, Óscar R. Polo
Publikováno v:
Electronics
Volume 10
Issue 10
Electronics, Vol 10, Iss 1179, p 1179 (2021)
Volume 10
Issue 10
Electronics, Vol 10, Iss 1179, p 1179 (2021)
Multicore hardware platforms are being incorporated into spacecraft on-board systems to achieve faster and more efficient data processing. However, such systems lead to increased complexity in software development and represent a considerable challen
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8152f4f67f9c22feeff78586a3455250
Publikováno v:
Sensors, Vol 16, Iss 11, p 1817 (2016)
Most satellites use an on-board attitude estimation system, based on available sensors. In the case of low-cost satellites, which are of increasing interest, it is usual to use magnetometers and Sun sensors. A Kalman filter is commonly recommended fo
Externí odkaz:
https://doaj.org/article/86b8354a5ebb4b7e87b6a8f5d8cec8c6
Autor:
Sebastián Sánchez, Agustín Martínez Hellín, Pablo Parra, Óscar R. Polo, Jonatan Sánchez, Iván Gamino del Río, Antonio da Silva, Miguel Jiménez Arribas
Publikováno v:
Electronics, Vol 9, Iss 1873, p 1873 (2020)
Electronics
Volume 9
Issue 11
Electronics
Volume 9
Issue 11
Code instrumentation enables the observability of an embedded software system during its execution. A usage example of code instrumentation is the estimation of &ldquo
worst-case execution time&rdquo
using hybrid analysis. This analysis com
worst-case execution time&rdquo
using hybrid analysis. This analysis com
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dfc2852540c49fcd59fc5373183026f2
https://www.mdpi.com/2079-9292/9/11/1873
https://www.mdpi.com/2079-9292/9/11/1873
Publikováno v:
Acta Astronautica. 143:203-211
In this day and age, successful embedded critical software needs agile and continuous development and testing procedures. This paper presents the overall testing and code coverage metrics obtained during the unit testing procedure carried out to veri
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::999b6c80fb9c3f292f65cce47f3f8a8c
https://doi.org/10.1016/j.actaastro.2017.11.037
https://doi.org/10.1016/j.actaastro.2017.11.037