Verification, validation, configuration

Verification, validation, configuration

April 15, 2021
Partner: OFFIS/DLR

Abstracts, presentations, recordings, demo

André Bolles: "Autonomics for future Mobility"

Director R&D Division Transportation, OFFIS/DLR

Industrial and everyday products have become ‘intelligent’, inter-connected and even autonomous embedded systems linked with the physical world even in safety critical applications. Thus, the trustworthiness and safety of such systems must be considered during the whole process from development and during operation.
This talk will touch on the needs of future Mobility to introduce the topic of this session: novel approaches and methods for V&V to guarantee trustworthiness through the whole lifetime of autonomous transportation systems.

Go to presentation (pdf)

Jacco van de Laar: The Virtual Test Platform: Philips Image Guided Therapy Systems' Digital Twin"

Senior Architect Integration & Test Philips, Image Guided Therapy Systems
System level testing faces higher demand due to increasing product complexity and system configurations. The number of available physical test systems is limited however, and changing a system configuration takes weeks. This makes the current approach of system level testing, a combination of manual testing using physical test systems, not scalable.
In this talk, we present our solution: the Virtual Test Platform. Hardware parts of the IGT System are virtualized enabling the use of multiple system configurations in one test environment. Combining automated testing with the ability to switch between system configurations, results in faster feedback and higher test coverage, over more system configurations.

Go to presentation (pdf)
Demo: The virtual test platform, the digital twin of Philips IGT systems

Debjyoti Bera: "Impact Analysis for Smarter Testing"

Research Fellow, ESI (TNO)
Changes are an essential part of software development and reflect the evolution of systems. After every change, impact analysis and regression testing are required to provide guarantees about the quality of the system. With rising complexity of systems, it becomes increasingly time consuming and expensive to provide such guarantees.
The Vivaldy project is developing methods and techniques to increase the efficiency of V&V processes for software release following an update. In this talk, we present the research into automated impact analysis techniques (triggered by changes to requirements, test cases, or models) which can identify impacted test-sets, and generate the missing ones. Also we will discuss how alignment-based monitoring techniques can provide additional insights by capturing and classifying deviations from expected behavior at run-time.

Go to presentation (pdf)

Jürgen Niehaus: "Contract-based Design for Modular Updates of Cyber-Physical Systems"

Managing Director, SafeTRANS
The long lifetime of CPS-based products and the demands imposed by employing continuous development processes necessitates the need for frequent updates. For safety critical CPS, central questions are how to ensure continued safety after each update, how to do V&V for CPS already deployed, and how to handle variants.
This talk presents results from the StepUp!CPS project, in which a development process for such systems has been conceived and partly implemented. This process enables continuous development of CPS including modular updates. It employs and enables contract-based design, virtual integration tests considering all variants, secure and safe deployment, and run-time monitoring for fail-operational CPS. The process can be tailored to different application domains, as shown in the project’s four Use-Cases.

Go to presentation (pdf)

Christian Schyr: "How model-based V&V improves safety assurance in the development of highly-automated vehicles."

Project Manager Principal Engineer, Advanced Solution Lab AVL Deutschland GmbH
The development and approval of highly-automated vehicles on public roads places new demands on development methods and tools used.  An extensive safety analysis must deliver proof that the system and its components, in all variants, do not cause any unreasonable risk in a given operational design domain (ODD). The analysis must show that all relevant degradations or faults will be reliably diagnosed, and appropriate responses automatically initiated. Especially the operation of unmanned vehicles in urban transport poses new and challenging requirements for a safety V&V approach.
The talk will present a new approach to model-based safety V&V as researched in the project "SmartLoad". This approach, using systems engineering and scenario-based co-simulation, is illustrated with an use-case of an unmanned e-tractor.

Go to presentation (pdf)

  • Tuesday April 13, 2021: Managing your legacy - link

  • Wednesday April 14, 2021: Hoe volg ik mijn klant?! (in Dutch) - link

  • Thursday April 15, 2021: Verification, validation, configuration

  • Friday April 16, 2021: MBSE applied link

  • Monday April 19, 2021: Data sharing, AI, and digital twinning  -link

  • Tuesday April 20, 2021: Reference architecting - link