WP 3 Case Studies. Ed Brinksma. 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)
Work has concentrated on the version including faulty cards:
Refinement of existing work:
New case study (airbag safety) presented by Bosch in June:
investment (+/- 1 PM) for suggesting a
for safety-critical applications, and test
Main focus of case study efforts:
Quantitative assessment on Axxom case study versions and job-shop scheduling problems, possibly including the Cybernétix case study.