On Friday October 17, this site was moved to a new server, https://mw.hh.se. The original address will continue to work. Whithin a week or two this site will return to the original address. /Peo HH IT-dep
WG211/M17Schultz
From WG 2.11
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.