Escolar Documentos
Profissional Documentos
Cultura Documentos
EMBARCADOS DO PIAUÍ
2011
Projeto de Sistemas
Embarcados
Uma Introdução
Teresina - 2011
Sumário
● 1. Introdução
● 1.1. Aplicações
● 2. Sistemas Embarcados
●
2.1. Características dos SEs
● 3. Projeto de Sistemas Embarcados
● 3.1. Diagrama de Gajski
● 3.2. Metodologias
● 3.3. Fluxo de Projeto
● 4. Aplicações à Robótica
● 4.1. O Projeto Micromouse
● Bibliografia Recomendada
2
Projeto de Sistemas Embarcados – Prof. Marcos Zurita
Introdução
3
Projeto de Sistemas Embarcados – Prof. Marcos Zurita
1. Introdução
processadores/ano.
4
Projeto de Sistemas Embarcados – Prof. Marcos Zurita
1. Introdução
Celulares
6
Projeto de Sistemas Embarcados – Prof. Marcos Zurita
1.1. Aplicações
MP3 Players
7
Projeto de Sistemas Embarcados – Prof. Marcos Zurita
1.1. Aplicações
Automóveis
● Renault Laguna: SEs representam cerca de 25% dos
custos.
8
Projeto de Sistemas Embarcados – Prof. Marcos Zurita
1.1. Aplicações
Aeronaves
9
Projeto de Sistemas Embarcados – Prof. Marcos Zurita
1.1. Aplicações
Câmeras
10
Projeto de Sistemas Embarcados – Prof. Marcos Zurita
1.1. Aplicações
11
Projeto de Sistemas Embarcados – Prof. Marcos Zurita
1.1. Aplicações
12
Projeto de Sistemas Embarcados – Prof. Marcos Zurita
1.1. Aplicações
13
Projeto de Sistemas Embarcados – Prof. Marcos Zurita
1.1. Aplicações
14
Projeto de Sistemas Embarcados – Prof. Marcos Zurita
1.1. Aplicações
15
Projeto de Sistemas Embarcados – Prof. Marcos Zurita
1.1. Aplicações
Relógios de Pulso
16
Projeto de Sistemas Embarcados – Prof. Marcos Zurita
1.1. Aplicações
Marcapasso
17
Projeto de Sistemas Embarcados – Prof. Marcos Zurita
1.1. Aplicações
Robótica
18
Projeto de Sistemas Embarcados – Prof. Marcos Zurita
1.1. Aplicações
Satélites
19
Projeto de Sistemas Embarcados – Prof. Marcos Zurita
1.1. Aplicações
20
Projeto de Sistemas Embarcados – Prof. Marcos Zurita
Sistemas Embarcados
21
Projeto de Sistemas Embarcados – Prof. Marcos Zurita
2. Sistemas Embarcados
22
Projeto de Sistemas Embarcados – Prof. Marcos Zurita
2.1. Características dos SEs
23
Projeto de Sistemas Embarcados – Prof. Marcos Zurita
2.1. Características dos SEs
24
Projeto de Sistemas Embarcados – Prof. Marcos Zurita
2.1. Características dos SEs
25
Projeto de Sistemas Embarcados – Prof. Marcos Zurita
2.1. Características dos SEs
26
Projeto de Sistemas Embarcados – Prof. Marcos Zurita
2.1. Características dos SEs
27
Projeto de Sistemas Embarcados – Prof. Marcos Zurita
2.1. Características dos SEs
28
Projeto de Sistemas Embarcados – Prof. Marcos Zurita
2.1. Características dos SEs
● Seres humanos.
29
Projeto de Sistemas Embarcados – Prof. Marcos Zurita
2.1. Características dos SEs
30
Projeto de Sistemas Embarcados – Prof. Marcos Zurita
2.1. Características dos SEs
31
Projeto de Sistemas Embarcados – Prof. Marcos Zurita
2.1. Características dos SEs
32
Projeto de Sistemas Embarcados – Prof. Marcos Zurita
2.1. Características dos SEs
33
Projeto de Sistemas Embarcados – Prof. Marcos Zurita
2.1. Características dos SEs
34
Projeto de Sistemas Embarcados – Prof. Marcos Zurita
2.1. Características dos SEs
35
Projeto de Sistemas Embarcados – Prof. Marcos Zurita
Projeto de
Sistemas Embarcados
36
Projeto de Sistemas Embarcados – Prof. Marcos Zurita
3. Projeto de Sistemas Embarcados
37
Projeto de Sistemas Embarcados – Prof. Marcos Zurita
3. Projeto de Sistemas Embarcados
38
Projeto de Sistemas Embarcados – Prof. Marcos Zurita
3. Projeto de Sistemas Embarcados
Validação
Especificação
& Síntese
Modelagem
39
Projeto de Sistemas Embarcados – Prof. Marcos Zurita
3. Projeto de Sistemas Embarcados
Validação
● Determinar durante o ciclo de vida do projeto se os
requisitos estão corretos, completos, precisos e
consistentes, assegurando a qualidade do produto.
● Aplica-se a SW e HW.
● Ferramentas:
● Simulação;
● Verificação Formal.
● Detecção de um erro ou não-conformidade:
● → retomada do processo de modelagem.
41
Projeto de Sistemas Embarcados – Prof. Marcos Zurita
3. Projeto de Sistemas Embarcados
Síntese
● Processo de se transformar uma especificação mais
abstrata em uma menos abstrata.
● Síntese ≠ Compilação!
● Compilação
● Entrada: Software
● Saída: Software em nível mais baixo
● Síntese:
●
Entrada: SW; descrição de HW; Mod. Comportamental.
● Saída: SW ou descrição de HW em nível mais baixo.
42
Projeto de Sistemas Embarcados – Prof. Marcos Zurita
3. Projeto de Sistemas Embarcados
Níveis de Abstração
● Estabelecem o grau de detalhamento com que um dado
sistema é descrito.
● Maior o nível de abstração:
● menor o nível de detalhamento (mais abstrata);
● descrição mais simples;
● compreensão mais simples.
● Menor o nível de abstração:
● maior o nível de detalhamento (menos abstrata);
● descrição mais complexa;
● compreensão mais difícil.
43
Projeto de Sistemas Embarcados – Prof. Marcos Zurita
3. Projeto de Sistemas Embarcados
a Somador c
Nível de Blocos b Completo
cin de 1 bit cout
c
Nível de Transistores
Nível de Leiaute
44
Projeto de Sistemas Embarcados – Prof. Marcos Zurita
3.1. Diagrama de Gajski
O Diagrama em Y de Gajski
Sistema
ss
Comportamental Proce ador Estrutural
Lógica
rcuito
Ci
Caminho
do projeto
(design path)
Física
45
Projeto de Sistemas Embarcados – Prof. Marcos Zurita
3.1. Diagrama de Gajski
Modelo Comportamental
do Sistema
Modelo Comportamental
do Processador Modelo Estrutural do Processador
Física
47
Projeto de Sistemas Embarcados – Prof. Marcos Zurita
3.1. Diagrama de Gajski
● Número de níveis de abstração de um projeto não é
rígido. Pode variar com:
● Tipo de projeto;
● Metodologia adotada.
● Na maior parte das vezes são definidos pelas
ferramentas de projeto adotadas:
● Conjuntos bem definidos para as mais populares.
● Diferença gradual de detalhamento entre níveis
consecutivos de abstração:
● → possibilidade de síntese automática ou semi-
automática.
● → ferramentas de verificação podem ser utilizadas
● Top-down
● Meet-in-the-middle
49
Projeto de Sistemas Embarcados – Prof. Marcos Zurita
3.2. Metodologias
Metodologias Bottom-up
Sistema
ss
Comportamental Proce ador Estrutural
Lógica
rcuito
Ci
Física
50
Projeto de Sistemas Embarcados – Prof. Marcos Zurita
3.2. Metodologias
Metodologias Bottom-up
Sistema
ss
Comportamental Proce ador Estrutural
Lógica
rcuito
Ci
Física
51
Projeto de Sistemas Embarcados – Prof. Marcos Zurita
3.2. Metodologias
Metodologias Top-down
Sistema
ss
Comportamental Proce ador Estrutural
Lógica
rcuito
Ci
Física
52
Projeto de Sistemas Embarcados – Prof. Marcos Zurita
3.2. Metodologias
Metodologias Meet-in-the-middle
Sistema
ss
Comportamental Proce ador Estrutural
Lógica
rcuito
Ci
Física
53
Projeto de Sistemas Embarcados – Prof. Marcos Zurita
3.2. Metodologias
Estimadores
● Ferramentas que, a partir de uma descrição em mais
alto nível, são capazes de estimar características de
um nível mais baixo de abstração, tais como:
● Consumo;
● Desempenho;
● Vazão e Latência;
● Área de silício ocupada, etc.
54
Projeto de Sistemas Embarcados – Prof. Marcos Zurita
Fase 1 – Especificação do Produto
Fase 3 – Iteração e
Refinamento do
Particionamento
Fase 4 – Projeto
Projeto do HW
Projeto do SW
Detalhado
do HW e SW
4.3. Fluxo de Projeto
Fase 5 – Integração
do HW e SW
Fase 7 – Manutenção
e Atualização
Lançamento do
Fluxo de Projeto de Sistemas Embarcados
55
Aplicações à Robótica
56
Projeto de Sistemas Embarcados – Prof. Marcos Zurita
4. Aplicações à Robótica
O Projeto Micromouse
58
Projeto de Sistemas Embarcados – Prof. Marcos Zurita
4.1. O Projeto Micromouse
59
Projeto de Sistemas Embarcados – Prof. Marcos Zurita
4.1. O Projeto Micromouse
60
Projeto de Sistemas Embarcados – Prof. Marcos Zurita
4.1. O Projeto Micromouse
61
Projeto de Sistemas Embarcados – Prof. Marcos Zurita
Dúvidas?
62
Projeto de Sistemas Embarcados – Prof. Marcos Zurita
Bibliografia
Recomendada
63
Projeto de Sistemas Embarcados – Prof. Marcos Zurita
Bibliografia Recomendada
● Arnold S. Berger, “Embedded Systems Design – An
Introduction to Process, Tools, & Techniques”, CMP Books,
USA, 2002.
● Thomas Braunl, “Embedded Robotics: Mobile Robot Design
and Applications with Embedded Systems”, Springer, 2008.
● Heath, Steve, “Embedded System Design”, 2ª ed., Elsevier,
2003.
● Marwedel, P., “Embedded System Design - Embedded
Systems Foundations of Cyber-Physical Systems”, 2ª ed.,
Springer, 2011.
● Wolf, W., “Computers as Components - Principles of
Embedded Computing System Design”, Morgan Kaufmann
Publishers, 2ª ed., 2008.
● Gajski, D.D. et Al., G., “Embedded System Design - Modeling,
Synthesis and Verification”, Springer, 2009.
64
Projeto de Sistemas Embarcados – Prof. Marcos Zurita