Time Slot | Content |
08:45 -- 09:00 | Opening Notes |
09:00 -- 10:00 | Invited Talk: On the Need for Practical Formal Methods Dr. Constance L. Heitmeyer Naval Research Lab, Washington, D.C., USA |
10:00 -- 10:30 | Coffee Break |
10:30 -- 12:00 | SESSION A (regular paper presentations) Design Approach for Real-Time Reactive Systems Mika Katara(*) and Tommi Mikkonen(**) *Tampere University of Technology **Nokia Telecommunications FINLAND
A Formal UML Package for Specifying Real-Time System Constraints
Solving Cyclic Constraints |
12:00 -- 14:00 | Lunch Break (Presenters/Invited Speakers will be invited to LUNCH with RTC'99 organizer.) |
14:00 -- 15:00 | SESSION B (regular paper presentation) Duration Calculus in COOZ: A Formal Specification Language for Real-Time Systems Xiaodong Yuan(*) and Ying Feng(**) *Nanjing Automation Research Institute, P.R. China **Indiana University, USA
State-Graph Manipulators |
15:00 -- 15:30 | Coffee Break |
15:30 -- 15:50 | WORK IN PROGRESS PRESENTATION Real-Time Constraints: Where do They Come From and Where do They Go? Cecilia Ekelin and Jan Jonsson Chalmers University of Technology SWEDEN |
15:50 -- 16:00 | Closing Notes; End of RTC'99 Workshop. |