Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Course Plan
[go: Go Back, main page]

Real-Time Systems

Lecture 8

Subject

Synthesis of Control Programs, Guiding and Pruning
Synthesis of Optimal Control Programs.

Discussion of Project

Material

Slides (part "Synthesis of Control Programs, Guiding and Pruning").

Slides (part "Current Research and Future Development")

 Thomas Hune, Kim G. Larsen, Paul Petterson:
      Guided Synthesis of Control Programs Using UPPAAL

Some pictures of the UPPAAL model and the LEGO components.

The film clip (22.8 MB, MPEG1 format).

Exercises

Finish uncompleted exercises from previous lectures.
 

EVALUATION of UPPAAL

We would be most grateful if you would take a few minutes to answer the following questions.
In all cases try to comment on both positive and negative experiences with the tool.
 
  1. How easy was it to get started using UPPAAL?

    2.  

     
     
     
     
     
     
     
     
     
     
     

  2. How easy was it to install the tool (if you installed it on your own machine)?

    3.  

     
     
     
     
     
     
     
     
     
     
     

  3. On which platform did you install UPPAAL

    4.  

     
     
     
     
     
     
     

            - which Java version have you been using?

            - which operating system?

            - CPU  and RAM?
     
     

  4. How useful do you find the on-line documentation?

    5.  

     
     
     
     
     
     
     
     
     

  5. How did you find the User Interface

    6.  

     
     
     
     
     
     
     

            - of the simulator?

            - of the editor?

            - of the verifier?
     
     

  6. Comment on the stability of UPPAAL.

    7.  

     
     
     
     
     
     
     
     
     

  7. What did you like about the tool (list your 3 top-favorites)?

    8.  

     
     
     
     
     
     
     
     
     

  8. What did you NOT like about the tool (list the 3 features your disliked the most)?

    9.  

     
     
     
     
     
     
     

  9. Did you find the examples in the demo directory  useful (or do think we should include some of the examples you have dealt with in the course)?

    10.  

     
     
     
     
     
     
     

  10. Did you consult the UPPAAL homepage and if so do you have any comments/suggestions for improvement?

    11.  

     
     
     
     
     
     
     

  11. Do you have any other comments?

    12.  

     
     
     
     
     
     
     
     
     

Please give Paul your answers before you leave!!