Show simple item record

dc.contributor.authorFernández Salgado, Javier 
dc.contributor.authorParra Espada, Pablo 
dc.contributor.authorSánchez Prieto, Sebastián 
dc.contributor.authorRodríguez Polo, Óscar 
dc.contributor.authorBernat, Guillem
dc.identifier.bibliographicCitationFernández, J., Parra, P., Sánchez-Prieto, S., Polo, O. & Bernat, G. 2015, "Automatic verification of timing constraints for safety critical space systems", in Proceedings DASIA 2015, DAta Systems In Aerospace, 19-21 May, 2015, Barcelona, Spain. Edited by L. Ouwehand, ESA-SP, vol. 732, id 63
dc.descriptionDASIA 2015, DAta Systems In Aerospace, 19-21 May, 2015, Barcelona, Spain
dc.description.abstractIn this paper is presented an automatic process of verification. We focus in the verification of scheduling analysis parameter. This proposal is part of process based on Model Driven Engineering to automate a Verification and Validation process of the software on board of satellites. This process is implemented in a software control unit of the energy particle detector which is payload of Solar Orbiter mission. From the design model is generated a scheduling analysis model and its verification model. The verification as defined as constraints in way of Finite Timed Automatas. When the system is deployed on target the verification evidence is extracted as instrumented points. The constraints are fed with the evidence, if any of the constraints is not satisfied for the on target evidence the scheduling analysis is not valid.en
dc.description.sponsorshipMinisterio de Economía y Competitividades_ES
dc.rightsAttribution-NonCommercial-NoDerivatives 4.0 Internaciona*
dc.rightsl© 2015 ESA
dc.subjectAutomatic verificationen
dc.subjectEmbedded softwareen
dc.subjectEnergy particle detectoren
dc.titleAutomatic verification of timing constraints for safety critical space systemsen
dc.contributor.affiliationUniversidad de Alcalá. Departamento de Automáticaes_ES
dc.relation.projectIDinfo:eu-repo/grantAgreement/MINECO//ESP2013-48346-C2-2-R/ES/UNIDAD DE CONTROL PARA EL INSTRUMENTO EPD DE SOLAR ORBITER/en

Files in this item


This item appears in the following Collection(s)

Attribution-NonCommercial-NoDerivatives 4.0 Internaciona
Este ítem está sujeto a una licencia Creative Commons.