http://mw.hh.se/wg211/index.php?action=history&feed=atom&title=WG211%2FM17Schultz 2026-04-05T21:20:10Z Revision history for this page on the wiki MediaWiki 1.43.5 http://mw.hh.se/wg211/index.php?title=WG211/M17Schultz&diff=1638&oldid=prev 2017-06-18T21:02:17Z

<p></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 23:02, 18 June 2017</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l2">Line 2:</td> <td colspan="2" class="diff-lineno">Line 2:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>This talk presents initial work on representing &#039;&#039;functional safety&#039;&#039; as a programming language concept (the objective of functional safety is to avoid physical injury or harm).</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>This talk presents initial work on representing &#039;&#039;functional safety&#039;&#039; as a programming language concept (the objective of functional safety is to avoid physical injury or harm).</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>Two concrete case studies regarding the use of DSLs to represent safety <del style="font-weight: bold; text-decoration: none;">concept </del>in robot control and machine vision are presented, and the key issue of readability of the DSL specifications is addressed in a preliminary study.</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>Two concrete case studies regarding the use of DSLs to represent safety <ins style="font-weight: bold; text-decoration: none;">concepts </ins>in robot control and machine vision are presented, and the key issue of readability of the DSL specifications is addressed in a preliminary study.</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>Further concepts in functional safety in programming languages are proposed and discussed.</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>Further concepts <ins style="font-weight: bold; text-decoration: none;">for future work </ins>in functional safety in programming languages are proposed and discussed.</div></td></tr> </table>

Ups http://mw.hh.se/wg211/index.php?title=WG211/M17Schultz&diff=1637&oldid=prev 2017-06-18T21:01:41Z

<p>Created page with &quot;&#039;&#039;&#039;Safety as a Programming Language Concept&#039;&#039;&#039; by Ulrik Pagh Schultz This talk presents initial work on representing &#039;&#039;functional safety&#039;&#039; as a programming language concept (...&quot;</p> <p><b>New page</b></p><div>&#039;&#039;&#039;Safety as a Programming Language Concept&#039;&#039;&#039; by Ulrik Pagh Schultz<br /> <br /> This talk presents initial work on representing &#039;&#039;functional safety&#039;&#039; as a programming language concept (the objective of functional safety is to avoid physical injury or harm).<br /> Two concrete case studies regarding the use of DSLs to represent safety concept in robot control and machine vision are presented, and the key issue of readability of the DSL specifications is addressed in a preliminary study.<br /> Further concepts in functional safety in programming languages are proposed and discussed.</div>

Ups