WG211/M17Schultz

Safety as a Programming Language Concept by Ulrik Pagh Schultz

This talk presents initial work on representing functional safety as a programming language concept (the objective of functional safety is to avoid physical injury or harm). Two concrete case studies regarding the use of DSLs to represent safety concepts in robot control and machine vision are presented, and the key issue of readability of the DSL specifications is addressed in a preliminary study. Further concepts for future work in functional safety in programming languages are proposed and discussed.