Kleucio Claudio Paulo Aragão

Prof. Eliane Martins

Sistema Tempo Real

BedROOMROOM SystemUm sistema de Tempo Real para Controle de Quarto

Roteiro

1. Introdução

• Definição

• Classificação

2. UML – RT

• Introdução

• UML

• ROOM

• Processo de desenvolvimento

3. Estudo de Caso do Hotel

IntroduçãoTipos de Sistemas:

•Transformacionais

•Reativos

•Sistemas de Tempo Real

Definição✔ Um sistema tempo real é um sistema computacional que deve reagir a estímulos oriundos do seu ambiente em prazos específicos [10].

✔ Sistema tempo real é dependente do resultado e do tempo em que esses resultados são produzidos [1].

✔ Possui requisitos de restrição de tempo [2].

✔ Uma resposta certa em tempo longo pode ser considerada errada [2].

Definição

sensoresestímulo

resposta

AMBIENTE

Modelo geral de um sistema tempo real[1]:

sistema

atuadores

Classificação•Quanto à Segurança:

•Sistemas não Crítico de Tempo Real

•Sistemas Crítico de Tempo Real

•Quanto à Implementação

•Sistemas de Resposta Garantida

•Sistemas de Melhor Esforço

•Quanto ao tipo de estímulo

•Dirigido a evento (estímulos aperiódicos)

•Dirigido a tempo (estímulos periódicos)

Aplicações

Aernonáutica – controle de navegação

Telecomunicações – envio de dados

Automóveis – freios ABS

Equipamentos médicos – monitoramento de pacientes

Controle de elevadores – fechamento de portas

Hotelaria – controle dos quartos

Ferramentas Case

•ROSE_RT – Rose_RT é uma ferramenta que trabalha com a UML -RT.

Outras ferramentas:

•AxiomSys

•Real-Time Maude

•Artisan Real-Time

•Object-Time Developer

UML - RTUML-RT (UML for Real Time) fornece um modelo para desenvolvimento de aplicações de tempo real através da combinação do UML com o ROOM

UML-RTROOM + UML

UML - RT

ROOMUML

UMLUML – linguagem utilizada para desenvolvimento de sistemas orientado a objeto

Tipos de Diagramas:

•Visão do Usuário (diag. de caso de uso)

•Visão Estrutural (diag. de classes)

•Visão Comportamental (diag. de estado, sequência, atividade, etc.)

•Visão de Implementação (diag. de implementação)

•Visão de Distribuição (diag. de distribuição)

ROOMROOM (Real-time Object Oriented Modeling) - Elementos de Construção:•Protocolos

•Capsulas

•Portas

•Conectores

Visão Estrutural:

•Diagrama de Estruturas

•Diagrama de Estados

ROOMProtocolos – Define um contrato entre os participantes da comunicação.

ROOMDiagrama de Classe com as capsulas e portas

ROOM

X2: ProtB

X4: ProtA

b: CapsuleB{plug-in}

a: CapsuleA

c: CapsuleC

X1: ProtA

Y2: ProtBY1: ProtC

Z2: ProtC

X3: ProtB

Z1: ProtB

Conectores Cápsulas

Portas

Diagrama de Estruturas:

Processo de Desenvolvimento

Utiliza um processo de desenvolvimento iterativo baseada nas seguintes etapas de desenvolvimento:

•Requisitos e Análise

•Projeto

•Implementação

•Testes

Requisitos e Análise

• Criação dos Casos de Uso

• Criação dos Diagramas de Caso de Uso

• Construção do Modelo Conceitual

• Representação dos conceitos

• Associação entre os conceitos

• Atributos de conceitos

• Comportamento do Sistema:

• Diagramas de Seqüência

Estudo de Caso

Conclusões• UML-RT é baseado em UML, hoje um padrão para desenvolvimento em sistemas orientado a objeto.

• UML-RT é extremamente poderoso na modelagem dea natureza reativa dos sistemas de tempo real [8]

• UML-RT fornece modelos para geração completa de código [8]

•UML-RT não é formalmente bem definido [14].

•UML-RT é mais adaptadas em projeto e implementação [14].

•UML-RT não disponibiliza uma análise para verificação das restrições de tempo [7, 8]

Bibliografia• [1] Ian Sommerville, “Engenharia de Software”

• [2]Apresentação. http://users.libero.it/thimoty/umlrt.pdf

• [3]B. Selic, J. Rumbaugh. “Using UML for Modeling Complex Real -Time Systems”, 1998.

• [4]B. Selic. “An efficient object oriented variation of statecharts formalism for distributed real time systems”, CHDL Abril-1993.

• [5] Investigating of Models for Real-Time Systems: AIDA through UML and ROOM.

• [6] Unified Modeling Language for Real-Time System Design.

Bibliografia• [7] Z. Gu and K. G. Shin. Synthesis of Real

Time Implementation from UML-RT Models

• [8] W. He and S. Goddard. Capturing an Application´s Temporal Properties with UML for Real Time.

• [9] P. Macedo. Modelação de Sistemas de Tempo Real em UML. Tempo, Análise da Escalonabilidade e do Desempenho

• [10] Introdução sobre o Tempo Real

Bibliografia• [11] M. Moller, E. Olderog, H. Rasch and H. Webrheim.

Linking CSP-OZ with UML and Java: A Case Study

• [12] A. Sampaio, A. Mota and R. Ramos. Class and Refinement in UML for Real-Time. Eletronic Notes in Theoretical Computer Science, Vol 95, 23:51, 2004

• [13] B. Rumpe, M. Schoenmakers, A. Radermacher, A. Schurr. UML + ROOM as a Standard ADL?

• [14] V. Bianco, L. Lavazza, M. Mauri and G. Occorso. Towards UML-based formal specifications of componentbased real-time software

Bibliografia• [15] Rational Rose Corporation. Model Examples –

Rational Rose RealTime. http://www.ibm.com/rational. Acessado em novembro/2004

• [16] Rational Rose Corporation. Modeling Language Guide – Rational Rose RealTime. http://www.ibm.com/rational. Acessado em novembro/2004

• [17] Rational Rose Corporation. Tutorials – Rational Rose RealTime. http://www.ibm.com/rational. Acessado em novembro/2004

Bibliografia• [18] AxiomSys System Analysis CASE Tool

–http://www.stgcase.com/download/axiomsys.pdf, acessado em 20/11/2004.

• [19] Real-Time Maude 2.0 Manual - http://maude.cs.uiuc.edu/maude2-manual/, acessado em 20/11/2004.

• [20] Artisan Real-time Software Tools – Overview, http://www.artisansw.com/products/products.asp, acessado em 20/11/2004.