Lecture

Validated-Aware Software

Description

This lecture discusses the concept of validated-aware software, focusing on the challenges of validating and revalidating systems over time, especially in safety-critical environments. The instructor explains the need for anticipatory real-time runtime assurance to analyze and validate systems continuously. The lecture covers techniques such as emulating sensor readings, reducing tests, and running tests in parallel with the system. It also addresses the importance of validating at the semantics level and the development of a framework to specify application models and generate validation tests. The lecture emphasizes the significance of addressing environmental changes that can impact system functionality and the necessity of robust validation methods to ensure system reliability.

About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.