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.