Skip to main navigation Skip to search Skip to main content

Analysis of CPS simulation models driven by formal specifications

    Activity: Talk or presentation / Lecture › Invited talk to industry or public institution

    Description

    The term CPS refers to engineered physical systems monitored and controlled by an embedded computational core. During concept design, a simulation (e.g. Simulink) model is often developed as a prototype for the intended CPS behavior. In this talk, we present an overview of methods for analyzing CPS models driven by specifications, which formalize the intended properties and functional requirements of the designed system. We then focus more specifically on the problem of failure analysis and mutation testing in CPS models.
    Period22 Jan 2024
    Event titleSiemens Digital Technologies Talks
    Event typeWorkshop
    LocationAustriaShow on map
    Degree of RecognitionInternational

    Research Field

    • Dependable Systems Engineering