Current Research

• Synthesis of optimal schedules/solutions ?

• Hybrid Automata ?

• Clock Difference Diagrams ?

• Performance Analysis with UPPAAL ?

• Distributed & parallel version of UPPAAL

• Hierarchical Extension of UPPAAL ?

• Case Studies

• Need for Future Development of the Tool ?

Previous slide

Next slide

Back to first slide

View graphic version