http://mw.hh.se/wg211/index.php?action=history&feed=atom&title=WG211%2FM11Balland 2026-04-05T21:09:27Z Revision history for this page on the wiki MediaWiki 1.43.5 http://mw.hh.se/wg211/index.php?title=WG211/M11Balland&diff=630&oldid=prev 2012-05-24T08:59:39Z

<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 10:59, 24 May 2012</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l8">Line 8:</td> <td colspan="2" class="diff-lineno">Line 8:</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>artifact. In this talk, we show the benefits of [http://diasuite.inria.fr DiaSuite]  </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>artifact. In this talk, we show the benefits of [http://diasuite.inria.fr DiaSuite]  </div></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>for the development and verification of dependable Sense/Compute/Control  </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>for the development and verification of dependable Sense/Compute/Control  </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>applications. This approach is applied to a realistic case study in the</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>applications. This approach is applied to a realistic case study in the <ins style="font-weight: bold; text-decoration: none;">avionics </ins></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><del style="font-weight: bold; text-decoration: none;"> avionics </del>domain.</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>domain.</div></td></tr> </table>

Emilie http://mw.hh.se/wg211/index.php?title=WG211/M11Balland&diff=629&oldid=prev 2012-05-24T08:59:08Z

<p>Created page with &quot;&#039;&#039;&#039;Design-driven Development of Dependable Applications: A Case Study in Avionics&#039;&#039;&#039; by Emilie Balland Making an application dependable demands that its functional and non-funct...&quot;</p> <p><b>New page</b></p><div>&#039;&#039;&#039;Design-driven Development of Dependable Applications: A Case Study in Avionics&#039;&#039;&#039; by Emilie Balland<br /> <br /> Making an application dependable demands that its functional and<br /> non-functional requirements be stringently fulfilled throughout its<br /> development process. In this context, a design-driven development<br /> approach has the key advantage of enabling requirements to be traced<br /> from their high-level design forms to the resulting executable<br /> artifact. In this talk, we show the benefits of [http://diasuite.inria.fr DiaSuite] <br /> for the development and verification of dependable Sense/Compute/Control <br /> applications. This approach is applied to a realistic case study in the<br /> avionics domain.</div>

Emilie