geoffrey nelissen humberto carvalho david pereira eduardo
play

Geoffrey Nelissen, Humberto Carvalho, David Pereira, Eduardo Tovar - PowerPoint PPT Presentation

Geoffrey Nelissen, Humberto Carvalho, David Pereira, Eduardo Tovar System Verification Deployment Development Several Actors => Compositional development Final System Legacy code => No one knows how it work Complete


  1. Geoffrey Nelissen, Humberto Carvalho, David Pereira, Eduardo Tovar

  2. System Verification Deployment Development

  3. Several Actors => Compositional development Final ¡System Legacy code => No one knows how it work Complete ¡verification ¡ becomes ¡impossible Intellectual properties => Black boxes

  4. Specifications Implement Instrumentation Observe Monitors System Verdict Feedback Handlers

  5. Acts upon Pushes Pops Events Event Buffer 1 Events Task 1 Monitor Triggers 1 Handler Event Buffer 2 ... ... Event Buffer 3 Triggers Task t Monitor Handler . .. m Acts Event Buffer n upon Running Running on on Run-Time Environment

  6. Pushes Pops Events Event Buffer 1 Events Fo Four target runtime environments Event Buffer 2 – At a application level Event Buffer 3 • Ad Ada . .. • POSIX IX compliant – At k kernel level Event Buffer n • Li Linux • OR ORK+ Run-Time Environme

Recommend


More recommend