Scribd
Upload
69 views1 page

Research Question: Uncover Assumptions

The document discusses using UML to model real-time embedded systems. It examines how to accurately model timing aspects like latency and message ordering. It proposes techniques like modeling statechart transitions and message arrival order. It also discusses developing methodologies for embedded system modeling and design.

Uploaded by

abhisheksachan10
Copyright
© Attribution Non-Commercial (BY-NC)
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
69 views1 page

Research Question: Uncover Assumptions

The document discusses using UML to model real-time embedded systems. It examines how to accurately model timing aspects like latency and message ordering. It proposes techniques like modeling statechart transitions and message arrival order. It also discusses developing methodologies for embedded system modeling and design.

Uploaded by

abhisheksachan10
Copyright
© Attribution Non-Commercial (BY-NC)
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 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

pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy