1 / 11

Hands-On Workshop Feb. 16-17, 2010 – Graz, TUG

Hands-On Workshop Feb. 16-17, 2010 – Graz, TUG. State of UML models, UML->ooAS Transformation + Mutations. UML2OOAS. Status: ~ 95% done Objectives for Review: Sufficient support for all demonstrators Tasks and Open Issues / Review: Framework integration (AIT + BME, until ?)

harken
Download Presentation

Hands-On Workshop Feb. 16-17, 2010 – Graz, TUG

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. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Hands-On WorkshopFeb. 16-17, 2010 – Graz, TUG State of UML models, UML->ooAS Transformation + Mutations

  2. UML2OOAS Status: ~ 95% done Objectives for Review: • Sufficient support for all demonstrators Tasks and Open Issues / Review: • Framework integration (AIT + BME, until ?) • Complete AGSL parser integration (AIT; until ?) • AGSL for entry/exit actions (bodies, effects available) (AIT, depends on BME; until ?) • Resolve model elements in AGSL (BME,AIT; until?) • Minimal inheritance (for Elektra) (AIT; until?) • Resolve signal property names conflict (AIT/BME; until ? ) Tasks and Open Issues / Post Review: • OCL handling (Post conditions…) (AIT) • Inheritance (AIT)

  3. UML Mutation - Status Currently implemented mutations • Change signal in signal trigger • Remove signal or time trigger • Mutate guard (inversion, false, true) Planned mutations • Operator changing in OCL guards (e.g. +, -, *, /) • Replace literals with extreme values • Change variables of the same type • Call different method / change parameters in method call • Send different signal Further mutations need to be discussed → Fault models

  4. UML Mutation Objectives for Review: • Show Conceptual applicability Tasks and Open Issues / Review: • Framework integration (AIT + BME; until ?) • Traceability (TUG, AIT; until ?) Tasks and Open Issues / Post Review: • Mutations on another level of the model? (TUG, ETH) • Usefulness of different mutations (TUG, AIT) • Extend used set of mutations (AIT) • Coverage and efficiency considerations (TUG, AIT)

  5. TRSS Model Status: Incomplete / Several Changes Needed Objectives – Review: • Show TCG with a minimal station Tasks and Open Issues / Review: • Bring model into a consistent state usable for UML2OOAS (AIT, until Feb. 28) Tasks and Open Issues / Post Review: • Extend station size • Correct model • Use Configuration Importer • EPS integration

  6. FFA Car Alarm System Model State: Complete Objectives – Review: • Show TCG Tasks and Open Issues / Review: • Check model for compatibility with UML/UPPAAL track (BME; until ?) Tasks and Open Issues / Post Review: • Interface Sync Simulink Model

  7. FFA Steering Anti Catchup Model State: Incomplete Objectives – Review: • Show TCG Tasks and Open Issues / Review: • Remodel post conditions in AGSL (AIT; until ?) • Review State Machine (AIT; until ?) • Adapt I/O modeling (AIT; until ?) Tasks and Open Issues / Post Review: • Add Requirements References • Interface Sync Simulink Model

  8. RELAB Model State: Nearly Complete Objectives – Review: • Show TCG with requirements tracing Tasks and Open Issues / Review: • Model completion (AIT; until Feb. 22) • Complete Requirements references (AIT; until Feb. 22) Tasks and Open Issues / Post Review: • Interface Sync Simulink Model

  9. PROLAN Model Status: Sufficient for (first) runs in UML/UPPAAL track Objectives – Review: • Show application to all demonstrators Tasks and Open Issues / Review: • Check model for compatibility with UML/OOAS track (AIT; until Feb. 24) • Adapt model (AIT, BME, PROLAN; until ?) Tasks and Open Issues / Post Review: • Add Requirements References

  10. Configuration Import - Overview Purpose: Include station information (topology and trainroute information) in TCG Concept: Import into UML model as Instance Specifications – can be used in both UML tracks State: • Draft of importer configuration • UML2OOAS already uses Instance Specifications

  11. Configuration Import - Open Tasks and Open Issues / Review • None Tasks and Open Issues /Post Review • Station file format specification (all needed information) (TRSS, PROLAN) • Generic importer (AIT/BME) • Importer Configuration (TRSS, PROLAN) • Framework integration (AIT + BME)

More Related