Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification

Talk "Joint Specification and Testing of Safety and Security Requirements"

by Holger Schlingloff

Mon, 05 February 2024 at 03:30 pm in Salzburg, Austria

Joint work with: Prof. Dr. Mirko Conrad, Dr. Sadegh Sadeghipour, Harald Schülzke

Abstract: We motivate the need for safety and security co-engineering, introduce the domain-specific language LESS, describe refinement and testing methods based on LESS, and report on the outcome of some industrial case studies from the medical and automotive domain.