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: Difference between revisions
From WG 2.11
Jump to navigationJump to search
Created page with "'''Safety as a Programming Language Concept''' by Ulrik Pagh Schultz This talk presents initial work on representing ''functional safety'' as a programming language concept (..." |
No edit summary |
||
| Line 2: | Line 2: | ||
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). | 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 | 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 in functional safety in programming languages are proposed and discussed. | Further concepts for future work in functional safety in programming languages are proposed and discussed. | ||
Latest revision as of 22:02, 18 June 2017
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.
