Transcript Slide 1
WP 3 Case Studies
Ed Brinksma
AMETIST
Task 3.1
Cybernétix Case Study
Work has concentrated on the version including
faulty cards:
verification of proposed solution (LIF and CYR)
solution by control synthesis (LIF and CYR)
playing-in/playing-out scenarios (WIS)
stochastic analysis of faulty production (UT)
AMETIST
Task 3.2
Terma Case Study
Refinement of existing work:
extended version (SDRAM details)
(AAU)
automated resconstruction (Uppaal
with bit-state hashing) of manual
buffer-size scheduling solution by
WIS. (AAU)
AMETIST
Task 3.3
Bosch Case Study
New case study (airbag safety) presented by
Bosch in June:
KUN and VERIMAG will make very limited
investment (+/- 1 PM) for suggesting a
first approach.
Bosch will study usability of TA technology
for safety-critical applications, and test
generation.
AMETIST
Task 3.4
Axxom Case Study
Main focus of case study efforts:
competitive results on full problem
(AAU,KUN,UT,Axxom)
work on new version at VERIMAG
AMETIST
Task 3.5
Miscellaneous Case Studies
ASML case study (Uppaal, KUN)
biphase mark protocol (Uppaal, KUN)
settop box protocol (Uppaal, UT)
AMETIST
Outlook
Quantitative assessment on Axxom
case study versions and job-shop
scheduling problems, possibly
including the Cybernétix case study.
AMETIST