• home

• contact

• members

• teaching

• research

• publications

• software

• events

Joint Advanced Tutorial Workshop for PhD Students

• subject: Dependable and Secure Hardware / Software Systems
• where: BTU, Cottbus/Germany
• when: July 10 - 14, 2017
• organised by:
  • BTU Cottbus-Senftenberg, Computer Science Institute
  • University of Arkansas, Computer Science and Computer Engineering Department
  • Leibniz Institute IHP, System Design Group

PART: Software Test and Validation

• when: July 12, 2017
• length: half day

latest update: July 13, 2017, at 11:49 AM

Slides

• slides - Dependable Software For Embedded Systems
• slides - Model Checking of Concurrent Systems - Part I
• slides - Model Checking of Concurrent Systems - Part II

Petri Nets

to introduce the firing rule

• 2H₂ + O₂ → 2H₂O

Software fault tolerance

• memorising execution traces
• N-version programming
• recovery block scheme

model checking example

• a simple travel planer
• CTL queries - to be used for model checking

for more examples see

• Petri nets animation sampler

Related Tools

• Snoopy - Petri net editor and animator
• Charlie - includes (traditional) explicit CTL model checker
• Marcie - includes symbolic CTL model checker