Debido al alto tráfico generado por robots, aplicamos límites en el número de peticiones permitidas por cliente y bloqueos por IP automáticos. Si haces un uso legítimo y estás teniendo problemas, avísanos para reevaluar nuestras políticas de bloqueo. Disculpa las molestias.

Resumen:
Model-driven system-level validation and verification on the space software domain

Vista sencilla de ítem
bs.conference.acronymJISBD
bs.conference.nameJornadas de Ingeniería del Software y Bases de Datos (JISBD)
bs.edition.date2022-09-05
bs.edition.locationSantiago de Compostela
bs.edition.nameXXVI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2022)
bs.proceedings.editorGoñi, A.
bs.proceedings.nameActas de las XXVI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2022)
dc.contributor.affiliationUniversidad de Alcala, Spain
dc.contributor.affiliationUniversidad de Alcalá, Spain
dc.contributor.affiliationUniversidad de Alcalá, Spain
dc.contributor.affiliationUniversidad de Alcalá, Spain
dc.contributor.affiliationUniversidad de Alcalá, Spain
dc.contributor.affiliationUniversidad de Alcalá, Spain
dc.contributor.affiliationUniversidad de Alcalá, Spain
dc.contributor.authorMontalvo, Aaron
dc.contributor.authorParra, Pablo
dc.contributor.authorRodríguez Polo, Óscar
dc.contributor.authorCarrasco, Alberto
dc.contributor.authorSilva, Antonio Da
dc.contributor.authorMartínez, Agustín
dc.contributor.authorSánchez, Sebastián
dc.contributor.emailaaron.montalvo@uah.es
dc.contributor.emailpablo.parra@uah.es
dc.contributor.emailo.rodriguez@uah.es
dc.contributor.emailalberto.carrasco@uah.es
dc.contributor.emailantonio.dasilva@uah.es
dc.contributor.emailagustin.martinez@uah.es
dc.contributor.emailsebastian.sanchez@uah.es
dc.contributor.signatureMontalvo, Aaron
dc.contributor.signatureParra, Pablo
dc.contributor.signatureRodríguez Polo, Óscar
dc.contributor.signatureCarrasco, Alberto
dc.contributor.signatureSilva, Antonio Da
dc.contributor.signatureMartínez, Agustín
dc.contributor.signatureSánchez, Sebastián
dc.date.accessioned2022-09-05T00:00:00Z
dc.date.available2022-09-05T00:00:00Z
dc.date.issued2022-09-05
dc.description.abstractThe 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-level validation and verification according to the space software engineering standards ECSS-E-ST-40 and ECSS-Q-ST-80. This paper presents a model-driven approach to completing these activities by avoiding inconsistencies between the documents that support them and providing the ability to automatically generate the system-level validation tests that are run on the Ground Support Equipment and the matrices required to complete the software verification. A demonstrator of the approach has been built using as a proof of concept a subset of the functionality of the software of the control unit of the Energetic Particle Detector instrument on-board Solar Orbiter.
dc.identifier.citationMontalvo, A., Parra, P., Rodríguez Polo, Ó., Carrasco, A., Silva, A. D., Martínez, A., Sánchez, S.: Model-driven system-level validation and verification on the space software domain. In: Goñi, A. (ed.) Actas de las XXVI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2022). Sistedes (2022). https://hdl.handle.net/11705/JISBD/2022/9315
dc.identifier.citation-bibtex@inproceedings{11705:JISBD:2022:9315, title = {{Model-driven system-level validation and verification on the space software domain}}, author = {Montalvo, A. and Parra, P. and Rodr\'{i}guez Polo, \'{O}. and Carrasco, A. and Silva, A. D. and Mart\'{i}nez, A. and S\'{a}nchez, S.}, url = {https://hdl.handle.net/11705/JISBD/2022/9315}, crossref = {11705:JISBD:2022} } @proceedings{11705:JISBD:2022, title = {{Actas de las XXVI Jornadas de Ingenier\'{i}a del Software y Bases de Datos (JISBD 2022)}}, author = {Goñi, A.}, year = {2022}, publisher = {{Sistedes}}, }
dc.identifier.sistedes11705/JISBD/2022/9315
dc.publisherSistedes
dc.relation.isformatofAlready published paper. See document contents for DOI.
dc.relation.ispartofActas de las XXVI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2022)
dc.rights.licenseCC BY-NC-ND 4.0
dc.rights.urihttps://creativecommons.org/licenses/by-nc-nd/4.0/
dc.subjectECSS Standards
dc.subjectModel-Driven Development
dc.subjectSpace Software
dc.subjectValidation And Verification
dc.titleModel-driven system-level validation and verification on the space software domain
dspace.entity.typeResumen
relation.isAuthorOfAbstract9d3f395d-538e-4724-8b6f-7286c52fdd04
relation.isAuthorOfAbstract31da63ee-363a-4f9f-b08d-aefbedc46b3f
relation.isAuthorOfAbstract5ccce20a-f005-480d-8949-77161ab3676b
relation.isAuthorOfAbstract7b4c9374-20c1-4808-9a50-634ff1de61d5
relation.isAuthorOfAbstractf5022367-0715-4682-8764-b877612d9f64
relation.isAuthorOfAbstractad0f3018-67a0-402c-8e35-8d0e320d9ec9
relation.isAuthorOfAbstract6fefafea-a65a-4ded-96b7-8ea35f86bd79
relation.isAuthorOfAbstract.latestForDiscovery9d3f395d-538e-4724-8b6f-7286c52fdd04

Archivos

Bloque original

Mostrando 1 - 1 de 1
Miniatura
Nombre:
11705-JISBD-2022-9315.pdf
Tamaño:
11.58 KB
Formato:
Adobe Portable Document Format
Descargar

Colecciones

Ingeniería del Software Dirigida por Modelos