Selected article for: "case study and construction method"
Author: Krings, Sebastian; Körner, Philipp; Dunkelau, Jannik; Rutenkolk, Chris
Title: A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System
  • Cord-id: mlvstj8m
  • Document date: 2020_4_22
    • ID: mlvstj8m
    Snippet: In this article, we present an approach to the ABZ 2020 case study, that differs from the ones usually presented at ABZ: Rather than using a (correct-by-construction) approach following a formal method, we use MISRA C for a low-level implementation instead. We strictly adhere to test-driven development for validation, and only afterwards apply model checking using CBMC for verification. In consequence, our realization of the ABZ case study can serve as a baseline reference for comparison, allowi
    Document: In this article, we present an approach to the ABZ 2020 case study, that differs from the ones usually presented at ABZ: Rather than using a (correct-by-construction) approach following a formal method, we use MISRA C for a low-level implementation instead. We strictly adhere to test-driven development for validation, and only afterwards apply model checking using CBMC for verification. In consequence, our realization of the ABZ case study can serve as a baseline reference for comparison, allowing to assess the benefit provided by the various formal modeling languages, methods and tools.

    Search related documents:
    Co phrase search for related documents
    • Try single phrases listed below for: 1