Embedded Critical Software Testing for Aerospace Applications based on PUS
Resumo
This paper discusses the practical experience of verifying an On-Board Data Handling (OBDH) software to be used in a future satellite application at INPE using the CoFI testing methodology. This technique is proper for aerospace applications and is based on modeling the system under test as finite state machines. The test cases are automatically generated from the developed models. The OBDH software considered in this paper follows the PUS standard from European Cooperation for Space Standardization, which is being adopted in Brazil. Among the important issues analyzed by this practical experience are the errors found, the time required for the modeling activity, the time required for testing, the reusability of the test cases, among others.
Referências
Ambrosio, A. M.; Mattiello-Francisco, M. F; Martins, E. (2008) “An Independent Software Verification and Validation Process for Space Applications”, Proceedings of the 9th Conference on Space Operations (SpaceOps). Heidelberg (Germany).
Arias, R.; Kucinskis, F. N.; Alonso, J. D. D. (2008) “Lessons Learned from an Onboard ECSS PUS Object-Oriented Implementation”, Proceedings of the 9th Conference on Space Operations (SpaceOps). Heidelberg (Germany).
ECSS – European Cooperation for Space Standardization (2003) “ECSS-E-70-41A – Ground systems and operations: telemetry and telecommand Packet Utilization”, Noordwijk: ESA publication Division. Available online in: <http://www.ecss.nl>.
Leveson (2005), “N. Role of Software in Spacecraft Accidents”, Journal of Spacecrafts and Rockets, Vol. 41, No. 4, pages 564-575.
Martins, E.; Sabião, S.B.; Ambrosio, A.M. (1999) “ConData: a Tool for Automating Specification-based Test Case Generation for Communication Systems”, Software Quality Journal, Vol. 8, No.4, pages 303-319.
Morais, M.H.E; Ambrosio, A.M. (20 10) “A new model-based approach for analysis and refinement of requirement specification to space operations”, Proceedings of the 10th Conference on Space Operations (SpaceOps). Huntsville (Alabama, USA).
Pontes, R. P. et al. (2009) “A Comparative Analysis of two Verification Techniques for DEDS: Model Checking versus Model-based Testing” ,Proceedings of 4th IFAC Workshop on Discrete Event System Design (DEDes), Spain, pages 70-75.
