Академический Документы
Профессиональный Документы
Культура Документы
1
Sistemas de Tempo Real - Jean-Marie Farines, Joni da Silva Fraga, Rmulo Silva de Oliveira
Introduo
2
Sistemas de Tempo Real - Jean-Marie Farines, Joni da Silva Fraga, Rmulo Silva de Oliveira
Introduo
a Hiptese Sncrona
3
Sistemas de Tempo Real - Jean-Marie Farines, Joni da Silva Fraga, Rmulo Silva de Oliveira
Hiptese Sncrona
4
Sistemas de Tempo Real - Jean-Marie Farines, Joni da Silva Fraga, Rmulo Silva de Oliveira
Hiptese Sncrona
5
Sistemas de Tempo Real - Jean-Marie Farines, Joni da Silva Fraga, Rmulo Silva de Oliveira
Hiptese Sncrona
6
Sistemas de Tempo Real - Jean-Marie Farines, Joni da Silva Fraga, Rmulo Silva de Oliveira
Tipos de Linguagens Sncronas
l Nestas linguagens,
a reao gera sadas
a partir da avaliao de um conjunto de equaes
que as definem em funo das entradas atuais
e das entradas prvias (armazenadas).
7
Sistemas de Tempo Real - Jean-Marie Farines, Joni da Silva Fraga, Rmulo Silva de Oliveira
l Nestas linguagens,
cada reao corresponde a passagem de uma situao
uma nova situao
em termos de controle
8
Sistemas de Tempo Real - Jean-Marie Farines, Joni da Silva Fraga, Rmulo Silva de Oliveira
Linguagem Esterel
9
Sistemas de Tempo Real - Jean-Marie Farines, Joni da Silva Fraga, Rmulo Silva de Oliveira
Linguagem Esterel
l O modelo reativo
Sistema entra em ao reagindo presena de estmulos
vindos do ambiente em instantes discretos
l As reaes sendo instantneas, atmicas,
entradas e sadas se apresentam sincronizadas
l O modelo sncrono no permite uma nova ativao do sistema
enquanto o mesmo estiver reagindo ao estmulo atual
l No h concorrncia entre as reaes,
eliminando assim uma fonte de no determinismo
que corresponderia
ao entrelaamento de execues concorrentes
l A noo de tempo fsico na verdade substituda
pela noo de ordem
e de simultaneidade entre eventos
10
Sistemas de Tempo Real - Jean-Marie Farines, Joni da Silva Fraga, Rmulo Silva de Oliveira
Linguagem Esterel
module ABRO:
input A, B, R;
output O;
loop
[await A || await B];
emit O
each R
end module
11
Sistemas de Tempo Real - Jean-Marie Farines, Joni da Silva Fraga, Rmulo Silva de Oliveira
Linguagem Esterel
l loop
[await A || await B || await C];
emit O
each R
12
Sistemas de Tempo Real - Jean-Marie Farines, Joni da Silva Fraga, Rmulo Silva de Oliveira
Comandos
13
Sistemas de Tempo Real - Jean-Marie Farines, Joni da Silva Fraga, Rmulo Silva de Oliveira
Comandos
14
Sistemas de Tempo Real - Jean-Marie Farines, Joni da Silva Fraga, Rmulo Silva de Oliveira
Exemplo
15
Sistemas de Tempo Real - Jean-Marie Farines, Joni da Silva Fraga, Rmulo Silva de Oliveira
Exemplo
16
Sistemas de Tempo Real - Jean-Marie Farines, Joni da Silva Fraga, Rmulo Silva de Oliveira
Exemplo
module Medidor-Velocidade:
input Centmetro, Segundo;
relation Centmetro # Segundo;
output Velocidade : integer;
loop
var Distancia := 0 : integer in
abort
every Centmetro do
Distancia := Distancia + 1
end every
when Segundo do
emit Velocidade (Distancia)
end abort
end var
end loop
end module
17
Sistemas de Tempo Real - Jean-Marie Farines, Joni da Silva Fraga, Rmulo Silva de Oliveira
Conceito de Tempo
18
Sistemas de Tempo Real - Jean-Marie Farines, Joni da Silva Fraga, Rmulo Silva de Oliveira
Outro Exemplo
Outro Exemplo
module Corredor
constant Nmero-Voltas: integer;
input Manha, Volta, Metro, Passo, Segundo;
relation Manha => Segundo,
Volta => Metro;
output Correr-Devagar, Pular, Correr-Rpido;
. . .
20
Sistemas de Tempo Real - Jean-Marie Farines, Joni da Silva Fraga, Rmulo Silva de Oliveira
Outro Exemplo
. . .
every Manha do
abort
abort
abort
sustain Correr-Devagar
when 100 Metro;
abort
every Passo do
emit Pular
end every
when 15 Segundo;
sustain Correr-Rpido
when Volta
when Nmero-Voltas Volta
end every
end module
21
Sistemas de Tempo Real - Jean-Marie Farines, Joni da Silva Fraga, Rmulo Silva de Oliveira
23
Sistemas de Tempo Real - Jean-Marie Farines, Joni da Silva Fraga, Rmulo Silva de Oliveira
Ferramentas
25
Sistemas de Tempo Real - Jean-Marie Farines, Joni da Silva Fraga, Rmulo Silva de Oliveira
Concluso
26
Sistemas de Tempo Real - Jean-Marie Farines, Joni da Silva Fraga, Rmulo Silva de Oliveira