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
Revision as of 23:02, 18 June 2017 by Ups (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

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.