skip to main content
research-article

Scenario-based Validation & Verification: The ENABLE-S3 Approach

Authors Info & Claims
Published:20 October 2020Publication History
Skip Abstract Section

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.

References

  1. H. Winner and W. Wachenfeld, "Absicherung automatischen Fahrens, 6," FAS-Tagung München, Munich, vol. 9, 2013.Google ScholarGoogle Scholar
  2. G. Martin, "NewSpace: The emerging commercial space industry," tech. rep., NASA Ames Research Center, 2015.Google ScholarGoogle Scholar
  3. 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 ScholarGoogle Scholar
  4. 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 ScholarGoogle Scholar
  5. 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 ScholarGoogle ScholarCross RefCross Ref
  6. 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 ScholarGoogle Scholar
  7. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  8. G. C. Buttazzo, Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications, vol. 24. Springer Science & Business Media, 2011.Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  10. K. Tindell and J. Clark, "Holistic schedulability analysis for distributed hard real-time systems," Microprocess. Microprogram., vol. 40, pp. 117--134, Apr. 1994. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. 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 ScholarGoogle Scholar

Recommendations

Comments

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Sign in

Full Access

  • Published in

    cover image ACM SIGAda Ada Letters
    ACM SIGAda Ada Letters  Volume 40, Issue 1
    June 2020
    52 pages
    ISSN:1094-3641
    DOI:10.1145/3431235
    • Editor:
    • Alok Srivastava
    Issue’s Table of Contents

    Copyright © 2020 Copyright is held by the owner/author(s)

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    • Published: 20 October 2020

    Check for updates

    Qualifiers

    • research-article

PDF Format

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader
About Cookies On This Site

We use cookies to ensure that we give you the best experience on our website.

Learn more

Got it!