kleucio claudio paulo aragão prof. eliane martins sistema tempo real room bedroom system um sistema...
TRANSCRIPT
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.