You are on page 1of 1

Unified Modeling Language for Embedded Systems?

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(

Time, State, and Messages


> Examine latency effects
- on statechart transitions - on order of arrival of messages

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

Statecharts typically assume instantaneous transitions

age 1

age 2

response

Develop Methodology:Techniques and


> Continuous improvement of methodology
- Graduate class to explore new ideas - Undergraduate class real-time distributed elevator project, using software simulator
Deliver Passengers Schedule Passengers

Training

Passengers

Acknowledge Passenger Requests

performance safety

Process includes requirements, design, implementation, testing, and some graceful degradation

Elevator System

Keep Passengers Safe Corral Passengers Evoke Passenger Requests

Formal Contributions: Specification and Traceability


Radio1

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

B_press [Current Time Time of B_press >= 2 seconds] station set

SD message duration response SD | e message duration response a B_release change_station | b station_set

> More accurate specification, better traceability between diagrams - Formal grammar helps identify potential design mistakes Enhanced traceability between Radio sequence diagrams and statecharts
2

Paper presented at UML 2001 conference

Sponsored by:
ENGINEERING
Electrical &Computer
Institute for Complex Engineered Systems

GM

You might also like