wp 3 case studies n.
Download
Skip this Video
Loading SlideShow in 5 Seconds..
WP 3 Case Studies PowerPoint Presentation
Download Presentation
WP 3 Case Studies

Loading in 2 Seconds...

play fullscreen
1 / 7

WP 3 Case Studies - PowerPoint PPT Presentation


  • 145 Views
  • Uploaded on

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)

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

PowerPoint Slideshow about 'WP 3 Case Studies' - brand


An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript
task 3 1 cybern tix case study
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)
task 3 2 terma case study
Task 3.2Terma 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)
task 3 3 bosch case study
Task 3.3Bosch 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.

task 3 4 axxom case study
Task 3.4Axxom Case Study

Main focus of case study efforts:

  • competitive results on full problem

(AAU,KUN,UT,Axxom)

  • work on new version at VERIMAG
task 3 5 miscellaneous case studies
Task 3.5Miscellaneous Case Studies
  • ASML case study (Uppaal, KUN)
  • biphase mark protocol (Uppaal, KUN)
  • settop box protocol (Uppaal, UT)
outlook
Outlook

Quantitative assessment on Axxom case study versions and job-shop scheduling problems, possibly including the Cybernétix case study.