RT info:eu-repo/semantics/conferenceObject
T1 Automatic verification of timing constraints for safety critical space systems
A1 Fernández Salgado, Javier
A1 Parra Espada, Pablo
A1 Sánchez Prieto, Sebastián
A1 Rodríguez Polo, Óscar
A1 Bernat, Guillem
K1 V&V
K1 Automatic verification
K1 Embedded software
K1 Energy particle detector
K1 MDE
K1 CBSE
K1 Telecomunicaciones
K1 Telecommunication
AB In 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.
YR 2019
FD 2019-09
LK http://hdl.handle.net/10017/37828
UL http://hdl.handle.net/10017/37828
LA eng
NO DASIA 2015, DAta Systems In Aerospace, 19-21May, 2015, Barcelona, Spain
NO Ministerio de Economía y Competitividad
DS MINDS@UW
RD 28-abr-2024