Abstract
Automated systems can be found on many current vehicles, either land, air or maritime. The reliability, safety and robustness of these systems is extremely important, hence validation approaches need to adapt to the ever-evolving necessities of the industry. The ENABLE-S3 architecture addresses the problem of extensive testing by introducing a set of tools and methodologies that can be used to build up a testing environment for different domains. In this manuscript, a special focus is given to the solution developed for the Reconfigurable Video Processor from the aerospace domain.
- H. Winner and W. Wachenfeld, "Absicherung automatischen Fahrens, 6," FAS-Tagung München, Munich, vol. 9, 2013.Google Scholar
- G. Martin, "NewSpace: The emerging commercial space industry," tech. rep., NASA Ames Research Center, 2015.Google Scholar
- A. Leitner, D. Watzenig, and J. Ibanez-Guzman, Validation and Verification of Automated Systems: Results of the ENABLE-S3 Project. Springer International Publishing, 2019.Google Scholar
- L. Armesto Caride, A. Rodríguez, A. Pérez Garcia, S. Sáez, J. Valls, Y. Barrios, A. J. Sanchez Clemente, D. González Arjona, Á. J.-P. Herrera, and F. Veljkovi´c, Reconfigurable Video Processor for Space, pp. 231--249. Validation and Verification of Automated Systems: Results of the ENABLE-S3 Project, Springer International Publishing, 2019.Google Scholar
- A. Rodríguez, J. Valverde, J. Portilla, A. Otero, T. Riesgo, and E. de la Torre, "FPGA-Based High-Performance Embedded Systems for Adaptive Edge Computing in Cyber- Physical Systems: The ARTICo3 Framework," Sensors, vol. 18, no. 6, p. 1877, 2018.Google Scholar
Cross Ref
- R. Guerra, M. Díaz, Y. Barrios, S. López, and R. Sarmiento, "A Hardware-Friendly Algorithm for the On-Board Compression of Hyperspectral Images," in 2018 9th Workshop on Hyperspectral Image and Signal Processing: Evolution in Remote Sensing (WHISPERS), pp. 1--5, IEEE, 2018.Google Scholar
- L. Sha, T. Abdelzaher, K.-E. Årzén, A. Cervin, T. Baker, A. Burns, G. Buttazzo, M. Caccamo, J. Lehoczky, and A. K. Mok, "Real time scheduling theory: A historical perspective," Real-time systems, vol. 28, no. 2--3, pp. 101-- 155, 2004. Google Scholar
Digital Library
- G. C. Buttazzo, Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications, vol. 24. Springer Science & Business Media, 2011.Google Scholar
Digital Library
- M. H. Klein, T. Ralya, B. Pollak, R. Obenza, and M. G. Harbour, A Practitioner's Handbook for Real-time Analysis. Norwell, MA, USA: Kluwer Academic Publishers, 1993. Google Scholar
Digital Library
- K. Tindell and J. Clark, "Holistic schedulability analysis for distributed hard real-time systems," Microprocess. Microprogram., vol. 40, pp. 117--134, Apr. 1994. Google Scholar
Digital Library
- M. García-Gordillo, J. J. Valls, and S. Sáez, "Heterogeneous Runtime Monitoring for Real-Time Systems with art2kitekt," in 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), pp. 266--273, Sep. 2019.Google Scholar
Recommendations
Verification and Validation for Trustworthy Software Systems
A continuous and proactive process for conducting verification and validation of systems involves using scenario-based testing to validate whether formal assertions correctly capture the intent of the natural language requirements. The process is ...
Application of a Methodology for the Development and Validation of Reliable Process Control Software
This paper discusses the necessity of a good methodology for the development of reliable software, especialy with respect to the final software validation and testing activities. A formal specification development and validation methodology is proposed. ...
Verification and Validation of Knowledge-Based Systems
Knowledge-based systems (KBS) are being used in many applications areas where their failures can be costly because of the losses in services, property, or even life. To ensure their reliability and dependability, it is therefore important that these ...






Comments