• Share
  • Email
  • Embed
  • Like
  • Save
  • Private Content
2003-05-07 - TU/e p-colloqium - Ontwikkeling van betrouwbare software
 

2003-05-07 - TU/e p-colloqium - Ontwikkeling van betrouwbare software

on

  • 297 views

Presentation for future Software Engineers about the complexity of developping safety critical systems.

Presentation for future Software Engineers about the complexity of developping safety critical systems.

Statistics

Views

Total Views
297
Views on SlideShare
296
Embed Views
1

Actions

Likes
0
Downloads
0
Comments
0

1 Embed 1

https://www.linkedin.com 1

Accessibility

Categories

Upload Details

Uploaded via as Microsoft PowerPoint

Usage Rights

© All Rights Reserved

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Processing…
Post Comment
Edit your comment
  • Wat doen we echt: Beoordelen ontwerpen Beoordelen gekozen methoden en technieken Beoordelen werkwijzen Beoordelen testprocessen
  • Werkveld: Kerncentrales Luchtverkeersleiding Stormvloedkeringen Fouten kosten veel mensenlevens
  • Let op: Meet/a en Meet/b zijn gesynced: tijd moet hetzelfde zijn !
  • Je hebt nog steeds meetfouten, kabelbreuken en schakelfouten: maar de kans is veel kleiner !!
  • Wat is eigenlijk 3 meter ??
  • Wat is eigenlijk 3 meter ?? Golfgedrag is zeer vervelend Fouten in het omderhoud (5 cm is bepaald door metingen over 50 jaar) Hoe combineer je de drie metingen Maximaal 5 centimeter verschil Afwijkingen hiervan worden afgestraft  op de reserve bank Je wilt echt zeker zijn dat het een waterstand is
  • Als het goed is komen die overeen
  • Zoals we al eerder in het ontwerp zagen krijgen we 2 waterstanden binnen….
  • Wie heeft wel eens een auto proberen te starten terwijl hij al liep  geen prettige situatie ! Je moet voorkomen dat de diesels twee keer gestart worden, of algemener: dat signalen twee maal gegeven worden Probleem: Wachten op de buurman introduceert DEADLOCK ! Introduceert een single point of failure Nu kan het ook zijn dat we signalen gemist hebben, en StuurB ons toch voor was….
  • Maar wat doe je als je signalen krijgt die je niet verwacht ??? In theorie kan dit niet, maar in theorie kon de Titanic ook niet zinken….
  • Als we rekening gaan houden met deadlocks en redundantie ziet ons plaatje er zo uit: niet echt simpel meer……
  • Er ontbreken wat controles: bijvoorbeeld of signalen ook echt doen wat ze moeten doen, en of redundante eenheden echt doen wat ze beloven In werkelijkheid let het noodsluitsysteem ook op de stroomrichting van het water ! Grootste risico’s: stroomuitval, brand Kering kan ook automatisch gesloten worden

2003-05-07 - TU/e p-colloqium - Ontwikkeling van betrouwbare software 2003-05-07 - TU/e p-colloqium - Ontwikkeling van betrouwbare software Presentation Transcript