Formal Methods

1
Formal Methods Tools
Presentation TESI workshop Ed Brinksma INF/FMG URL
http//fmt.cs.utwente.nl
2
Formal Methods Tools

• mathematical modelling analysis
• emphasis on embedded software systems
• correctness, performance, dependability
• design analysis tool support
• specification
• verification
• performance dependability analysis
• testing

3
Research projects

• STW/PROGRESS
• Cote-de-Resyste (test generation)
• HaaST (hard soft realtime analysis)
• ATOMYSTE (test refinement)
• NWO
• CASH (hybrid systems with TW)
• SPACE (performability)
• Vernieuwingsimpuls (dependability)
• European Union
• AMETIST (real-time scheduling)
• ARTIST (real-time Network of Excellence)
• Other
• VOSS (NL-D stochastic systems)
• Van Gogh (NL-F testing)

4
Application projects

• Communication protocol systems
• KPN, Lucent
• Consumer electronics
• Philips
• Automotive systems
• Bosch/Blaupunkt
• Storm surge barrier
• CMG, Rijkswaterstaat
• smartcards
• Interpay
• etc.

5
People

• Ed Brinksma (prof, chair)
• Kim Larsen (prof, CMG)
• Joost-Pieter Katoen (assoc. prof)
• Holger Hermanns (assoc. prof)
• Rom Langerak (assis. prof)
• Theo Ruys (assis. prof)
• Jan Tretmans (research assoc.)
• Henrik Bohnenkamp (postdoc)
• Dino Distefano (PhD student)
• Rene de Vries (PhD student)
• Bernd Wolter (PhD student)
• Thomas Krilavicius (PhD student)
• Axel Belifante (technician)
• Jan Feenstra (technician)
• Ric Klaren (technician)