SLIDE 1
UPPAAL (Reading)
Stefaan Kenis
Overview
- Introduction
- Structure
- User Interface
- Properties
- Performance
- Future work
UPPAAL (Reading) Stefaan Kenis Overview o Introduction o Structure - - PowerPoint PPT Presentation
UPPAAL (Reading) Stefaan Kenis Overview o Introduction o Structure - - PowerPoint PPT Presentation
UPPAAL (Reading) Stefaan Kenis Overview o Introduction o Structure o User Interface o Properties o Performance o Future work Introduction o Universities of UPPsala (Sweden) and AALborg (Denmark) o Modeling, simulation and verification o
SLIDE 2
SLIDE 3
Introduction
- Universities of UPPsala (Sweden) and AALborg
(Denmark)
- Modeling, simulation and verification
- Real-time systems
- ( Timed ) automata
SLIDE 4
Structure
UPPAAL in 1995, Bengtsson et al.
SLIDE 5
User Interface (Editor)
SLIDE 6
User Interface (Simulator)
SLIDE 7
User Interface (Verifier)
SLIDE 8
Properties
- Invariants and Reachability analysis
- Safety
- “Something ‘bad’ can never happen.”
- Bounded liveness
- “Eventually something ‘good’ happens.”
SLIDE 9
Performance
- Faster than other tools and can handle larger systems
UPPAAL | a Tool Suite for Automatic Verification of Real-Time Systems, Bengtsson et al.
SLIDE 10
Performance
- Improved over the years
New generation of UPPAAL, Bengtsson et al.
SLIDE 11
Future work
- Create, simulate and verify RPG models
- Export RPG from AToMPM
- Transform to valid XML
SLIDE 12