Professional Documents
Culture Documents
Research Question:
How can we use the Unified Modeling Language (UML) to accurately model real-time embedded systems?
Beth Latronico Prof. Phil Koopman
Uncover Assumptions:
) goFast(
Speed Up
after (1 5 sec.)
Slow
afte r (3 0 se
goSlow() goFast()
Fast
) low( goS
c.)
Slow Down
Order may or may not matter Cant assume order sent = order received
User Object A
message 1 message 2 response
Object B
User
me ss
Object A
me ss
Object B
age 1
age 2
response
Training
Passengers
performance safety
Process includes requirements, design, implementation, testing, and some graceful degradation
Elevator System
Radio2
User
Button
U_press
Radio
User
Button
U_press
Radio
Radiomain Radio1
B_press [Time of B_release Time of B_press < 2 seconds] U_release B_release change station
> More accurate specification, better traceability between diagrams - Formal grammar helps identify potential design mistakes Enhanced traceability between Radio sequence diagrams and statecharts
2
Sponsored by:
ENGINEERING
Electrical &Computer
Institute for Complex Engineered Systems
GM