Especificação, Verificação e Teste de Protocolos
|
|
- Rafael Emanuel Fontes Fartaria
- 8 Há anos
- Visualizações:
Transcrição
1 EVTP 1 Especificação, Verificação e Teste de Protocolos FEUP/MRSC/AMSR MPR EVTP 2 Bibliografia Aula preparada com base nos seguintes documentos» Gerard J. Holzmann, "Design and Validation of Computer Protocols", Prentice-Hall.» F. Belina, D. Hogrefe and A. Sarma, SDL with applications from protocol specification, Prentice Hall.» Telelogic, Specification and Description Language (SDL) tutorial.» D. Hogrefe, OSI formal specification case study: the Inres protocol and service, revised, May 1992.
2 EVTP 3 Introdução EVTP 4 Projecto de um Protocolo» Inglaterra, 1841» Túnel de 2 km semáforo homem telégrafo bandeiras TÚNEL homem telégrafo A B A B Telégrafo = { verde comboionotúnel, túnellivre, comboionotúnel comboiosaiu? } vermelho comboio verde túnellivre
3 EVTP 5 Complexidade do Projecto 1º comboio 2º comboio verde verde comboionotúnel bandeira verm comboionotúnel comboiosaiu? túnellivre 3º comboio Bandeira verde» 21 pessoas mortas, 176 feridas Protocolo de Comunicações EVTP 6» Tendo A interface através da qual se recebe serviço interface 2 A definição abstracta do serviço a fornecer interface 1» Projecto de um protocolo consiste Transformar interface 2, passo a passo, até se conseguir fornecer serviço 1
4 EVTP 7 Elementos Básicos de um Protocolo» Serviço a fornecer» Restrições» Vocabulário Formalização da interface superior Impostas pelo ambiente em que o protocolo é executado Formalização da interface inferior mensagens usadas para implementar o protocolo» Codificação das mensagens do vocabulário Sintaxe / formato de cada mensagem» Procedimentos que regulam a troca de mensagens Gramática, regras de funcionamento EVTP 8 Pilhas de Protocolos» Exemplo, TCP/IP mail web ftp news smtp http ftp nntp mail web ftp news TCP IP tcp ip TCP IP FISICO + LÓGICO
5 Processo de Desenvolvimento de Um Protocolo EVTP 9 Especificação Verificação Implementação Teste Aproximação Possível EVTP 10 Requisitos Funcionais Casos de Utilização (MSC) Simulação desenpenho (SDL, NS) Especificação (SDL) Verificação Formal (SDL, Promela) Projecto Hardware Projecto Software (C++,C)
6 EVTP 11 Especificação de Protocolos SDL (Specification and Description Language) EVTP 12 Linguagem de Especificação de Protocolos SDL - Specification and Description Language especificação de estrutura e funcionamento de sistemas formal (algebra de processos) comparação de sistemas representação gráfica e textual suportada por CADs normalizada por ITU (Institute of Telecommunications Union) Vantagens simulação e verificação de propriedades dos sistemas geração automática de código (C, C++) geração automática de testes para verificação de conformidade (TTCN) Domínios de aplicação Telecomunicações (protocolos, sistemas) Sistemas de tempo real
7 EVTP 13 Estrutura Sistema, Bloco, Processo System Example Block B1... C1 [ ] B1 R1 [ ] P1(1,1) C2 [ ] R2 [ ] C3 [ ] B2 R3 [ ] P2(0,5) Process P2... Pr1 Procedure Pr1... Pr1 state1... EVTP 14 Comunicação por Sinais Block B1... R1 [ ] P1(1,1) R2 [ sig1 ] Processo emissor Lista da sinais P2(1,1) Processo receptor Process P1 Process P2 DCL Number Integer; Emissão de sinal Sig1(5) Sig1 (Number) Recepção de sinal
8 EVTP 15 Filas de Sinais sinal rotas de sinais e canais instância de processo rotas de sinais e canais instância de processo instância de processo sinal Fila de entrada EVTP 16 Consumo de Sinais num Processo b a d a estado s1: sinal a inicía transição para estado s2 s1 d a b a d estado s2: sinal d é ignorado s2 b a estado s2: sinal a despoleta transição para outro estado a b f
9 EVTP 17 Criação Dinâmica de Instância de Processo Process P2... Pedido de criação de uma nova instância do processo Pr1 Pr1 S1... EVTP 18 Tipos de Dados» Tipos de dados predefinidos Boolean, Character, Charstring Integer, Natural, Real Pid Duration, Time» Definição de tipos novos e tipos sinónimos de dados Newtype Syntype» Cada instância de processo tem endereço único no sistema contêm 4 variaveis tipo Pid self - endereço próprio sender - endereço do processo que enviou o último sinal consumido offspring - endereço do último processo criado parent - endereço do processo pai
10 EVTP 19 INRES - Especificação» INRES - INitiator RESponder Protocolo não real Usado no estudo de testes de conformidade de protocolos Caso simples de um protocolo (ex. Transporte, nível 4)» Bom exemplo Simples. Pequeno. Contêm aspectos essenciais do modelo OSI e dos protocolos» Dois serviços e um protocolo serviço INRES: serviço de transporte orientado às ligações serviço Medium: transmissão não fiável de PDUs protocolo INRES: regras de comunicação entre o Initiator e o Responder EVTP 20 Arquitectura do Serviço INRES Inres user Inres user Inres entity Inres service primitives Inres service Inres protocol Inres entity Inres service primitives Medium service primitives Medium service primitives Medium service
11 EVTP 21 Serviço INRES Orientado às ligações» Estabelecer lig., transferir dados, terminar lig. 2 pontos de acesso de serviço (SAP)» ISAPini, ISAPresp» Serviço não simétrico» Chamada Iniciada em ISAPini Com dados de ISAPini ISAPresp ISAPini Terminada em ISAPresp Initiator user Primitivas de serviço» ICONreq: pedido de ligaçao» ICONind: indicação de ligação» ICONresp: resposta de pedido de ligação» ICONconf: confirmação aceitação» IDATreq(ISDU): pedido transfer. dados (ISDU)» IDATind(ISDU): indicação de dados» IDISreq: pedido de terminação de ligação» : indicação de terminação de ligação ICONconf ICONreq IDATreq Inres service ICONind IDATind IDISreq ICONresp Responder user ISAPresp EVTP 22 Serviço INRES Estabelecimento de Ligação ICONreq ICONreq ICONind ICONind ICONresp ICONconf ICONreq ICONreq ICONind IDISreq ICONreq ICONind ICONresp
12 Serviço INRES Transferência de Dados e Terminação de Ligação EVTP 23 IDATreq IDISreq IDATind IDATreq IDISreq EVTP 24 Serviço Medium Transporte não fiável de dados Dados podem ser perdidos Dados não são corrompidos Dados não são duplicados user MSAP1 MSAP1 user MSAP2 MSAP2 2 pontos de acesso de serviço (SAP) MSAP1, MSAP2 Serviço simétrico Medium service Medium service Primitivas de serviço (MSDU): pedido transfer. dados (MSDU) (MSDU): indicação de dados
13 EVTP 25 Protocolo INRES PDUs, Semântica PDU Significado Parâmetros Primitivas associadas CR connection establishment none ICONreq, ICONind CC connection confirmation none ICONresp, ICONconf DT data transfer sequence number,isdu IDATreq, IDATind AK acknowledgement sequence number - disconnection none IDISreq, ICONconf IDATind ICONind ISAPini ICONreq IDATreq IDISreq ICONresp ISAPresp Responder Inres protocol CC,,AK CR,DT Initiator MSAP1 MSAP2 Medium service EVTP 26 Procedimentos - EstabelecimentoDeLigação» Iniciada por utilizador do Initiator com ICONreq» Initiator envia CR para Responder» Initiator pode receber do Responder : CC, ou nada CC: Initiator envia ICONconf para seu utilizador TransferênciaDeDados : TerminaçãoDeLigação Nada: fim de 5s, Initiator envia CR de novo Ao fim de 4 tentativas TerminaçãoDeLigação
14 EVTP 27 Procedimentos TransferênciaDeDados» Utilizador do Initiator envia IDATreq(ISDU) ISDU contém informação da camada superior ( PDU + info controlo) Initiator envia DT para Responder PDU da camada superior transportado transparentemente Initiator espera até 5s por confirmação AK Se não chegar AK, retransmite DT. Ao fim de 4 tentativas TerminaçãoDeLigação» DT, AK contêm número sequência. 2 valores possíveis: 0,1 Initiator começa com valor 1 espera confirmação com mesmo valor: DT( 1,...) AK( 1 ) Se recebe confirmação com mesmo valor transmite novos dados, DT( 0,... ) com valor diferente (erro) retransmite dados, DT( 1,... ) EVTP 28 Procedimentos TerminaçãoDeLigação» IDISreq enviado por utilizador de Responder enviado por Responder para Initiator EstabelecimentoDeLigação» No Initiator recebido enviado pelo Initiator para o seu utilizador EstabelecimentoDeLigação
15 EVTP 29 INRES em SDL SYSTEM Inres_protocol ISAP1 ICONconf, ICONreq, IDATreq ICONind, IDATind ICONresp, IDISreq ISAP2 EVTP 30 BLOCK Ini_Station ISAP SIGNAL CC, AK(Sequencenumber),, CR, DT(Sequencenumber, ISDUType); Initiator Coder_Ini (1,1) CC, AK, IPDU CR, DT (1,1) SIGNAL ICONreq, IDATreq(ISDUType), ICONconf, ICONind, ICONresp, IDISreq,, IDATind(ISDUType), (MSDUType), (MSDUType); MACRO Data_type_definitions BLOCK Res_Station ISAP SIGNAL CC, AK(Sequencenumber),, CR, DT(Sequencenumber, ISDUType); Responder (1,1) CR, DT IPDU CC, AK, (1,1) Coder_Resp MSAP MSAP MSAP1 MSAP2 BLOCK Medium MSAP_1 MSAP_2 MSAP_Manager1 (1,1) SIGNAL IDAT(MSDUType); MSAP_Manager2 (1,1) MSAP Manager IDAT Internal IDAT MSAP Manager
16 PROCESS Initiator 1(2) PROCESS Initiator 2(2) Connected EVTP 31 DCL Counter Integer, d ISDUType, Num, Nummer Sequencenumber; ICONreq Counter:=1 IDATreq(d) DT (Number,d) TIMER T; SYNONYM P Duration=5; CR Counter:=1 Sending SET (NOW+P,T) SET (NOW+P,T) AK(Num) T IDATreq Wait Sending RESET (T) 1 CC T 1 Num= Number TRUE FALSE RESET (T) TRUE Counter<4 FALSE RESET (T) Sending TRUE Counter<4 FALSE Number:= succ(number) Number:=1 CR DT (Number,d) Connected ICONconf Counter:= Counter+1 RESET (T) Counter:= Counter+1 Connected SET (NOW+P,T) SET (NOW+P,T) Wait Sending PROCESS Responder 1(1) EVTP 32 Responder DCL d ISDUType, Num, Number Sequencenumber; Connected DT(Num,d) CR CR Num= succ(number) TRUE ICONind FALSE ICONind AK(Num) IDATind(d) Wait Wait Connected AK(Num) ICONresp Number:= succ(number) * Number:=0 Connected IDISreq CC Connected
17 EVTP 33 Coder_ini PROCESS Coder_Ini 1(1) DCL d ISDUType, num Sequencenumber, Sdu MSDUType; Idle CR DT(num,d) (Sdu) Sdu!id:=CR Sdu!id:=DT, Sdu!Num:=num, Sdu!Data:=d ELSE CC Sdu!id AK (Sdu) CC AK (Sdu!Num) Idle Idle Idle EVTP 34 Coder_Resp PROCESS Coder_Resp DCL 1(1) Num Sequencenumber, Sdu MSDUType; Idle CC AK(num) (Sdu) Sdu!id:= Sdu!id:=CC Sdu!id:=AK, Sdu!Num:=num (Sdu) ELSE CR Sdu!id DT Idle Idle CR DT (Sdu!Num, Sdu!Data) Idle
Sistemas Multimédia. Arquitectura Protocolar Simples Modelo OSI TCP/IP. Francisco Maia famaia@gmail.com. Redes e Comunicações
Sistemas Multimédia Arquitectura Protocolar Simples Modelo OSI TCP/IP Redes e Comunicações Francisco Maia famaia@gmail.com Já estudado... Motivação Breve História Conceitos Básicos Tipos de Redes Componentes
Leia maisRedes de Computadores. Protocolos de comunicação: TCP, UDP
Redes de Computadores Protocolos de comunicação: TCP, UDP Introdução ao TCP/IP Transmission Control Protocol/ Internet Protocol (TCP/IP) é um conjunto de protocolos de comunicação utilizados para a troca
Leia maisProf. Marcelo Cunha Parte 5 www.marcelomachado.com
Prof. Marcelo Cunha Parte 5 www.marcelomachado.com Criado em 1974 Protocolo mais utilizado em redes locais Protocolo utilizado na Internet Possui arquitetura aberta Qualquer fabricante pode adotar a sua
Leia maisProtocolos de Internet (família TCP/IP e WWW) Primeiro Técnico. Prof. Cesar
Primeiro Técnico Protocolos de Internet (família TCP/IP e WWW) Prof. Cesar 1 TCP - Transmission Control Protocol Esse protocolo tem como principal objetivo realizar a comunicação entre aplicações de dois
Leia maisRedes de Computadores I Licenciatura em Eng. Informática e de Computadores 1 o Semestre, 26 de Outubro de 2005 1 o Teste A
Redes de Computadores I Licenciatura em Eng. Informática e de Computadores 1 o Semestre, 26 de Outubro de 2005 1 o Teste A Número: Nome: Duração: 1 hora O teste é sem consulta O teste deve ser resolvido
Leia maisRedes de Computadores. Trabalho de Laboratório Nº7
Redes de Computadores Curso de Eng. Informática Curso de Eng. de Electrónica e Computadores Trabalho de Laboratório Nº7 Análise do tráfego na rede Protocolos TCP e UDP Objectivo Usar o Ethereal para visualizar
Leia maisAPLICAÇÃO REDE APLICAÇÃO APRESENTAÇÃO SESSÃO TRANSPORTE REDE LINK DE DADOS FÍSICA 1/5 PROTOCOLOS DE REDE
1/5 PROTOCOLOS DE O Modelo OSI O OSI é um modelo usado para entender como os protocolos de rede funcionam. Para facilitar a interconexão de sistemas de computadores, a ISO (International Standards Organization)
Leia maisREDES DE COMPUTADORES
REDES DE COMPUTADORES 09/2013 Cap.3 Protocolo TCP e a Camada de Transporte 2 Esclarecimentos Esse material é de apoio para as aulas da disciplina e não substitui a leitura da bibliografia básica. Os professores
Leia maisProtocolos de Redes Revisão para AV I
Protocolos de Redes Revisão para AV I 01 Aula Fundamentos de Protocolos Conceituar protocolo de rede; Objetivos Compreender a necessidade de um protocolo de rede em uma arquitetura de transmissão entre
Leia maisRedes de Computadores Modelo de referência TCP/IP. Prof. MSc. Hugo Souza
Redes de Computadores Modelo de referência TCP/IP Prof. MSc. Hugo Souza É uma pilha de protocolos de comunicação formulada em passos sequenciais de acordo com os serviços subsequentes das camadas pela
Leia maisAULA 01 INTRODUÇÃO. Eduardo Camargo de Siqueira REDES DE COMPUTADORES Engenharia de Computação
AULA 01 INTRODUÇÃO Eduardo Camargo de Siqueira REDES DE COMPUTADORES Engenharia de Computação CONCEITO Dois ou mais computadores conectados entre si permitindo troca de informações, compartilhamento de
Leia maisAULA 03 MODELO OSI/ISO. Eduardo Camargo de Siqueira REDES DE COMPUTADORES Engenharia de Computação
AULA 03 MODELO OSI/ISO Eduardo Camargo de Siqueira REDES DE COMPUTADORES Engenharia de Computação INTRODUÇÃO 2 INTRODUÇÃO 3 PROTOCOLOS Protocolo é a regra de comunicação usada pelos dispositivos de uma
Leia maisProtocolos Hierárquicos
Protocolos Hierárquicos O que é a Internet? Milhões de elementos de computação interligados: hospedeiros = sistemas finais Executando aplicações distribuídas Enlaces de comunicação fibra, cobre, rádio,
Leia maisSistemas Distribuídos
Sistemas Distribuídos LICENCIATURA EM COMPUTAÇÃO Prof. Adriano Avelar Site: www.adrianoavelar.com Email: eam.avelar@gmail.com Mecanismos de Comunicação Voltando ao exemplo da calculadora... Rede local
Leia mais4. Protocolos Teóricos e Protocolos de Controlo de Ligação Protocolos ARQ; Especificação de Protocolos; Eficiência ARQ.
4. Protocolos Teóricos e Protocolos de Controlo de Ligação Protocolos ARQ; Especificação de Protocolos; Eficiência ARQ. Redes de Comunicações/Computadores I Secção de Redes de Comunicação de Dados Protocolos
Leia maisRedes TCP/IP. Prof. M.Sc. Alexandre Fraga de Araújo. alexandref@ifes.edu.br. INSTITUTO FEDERAL DO ESPÍRITO SANTO Campus Cachoeiro de Itapemirim
Redes TCP/IP alexandref@ifes.edu.br O que é a Internet? Milhões de elementos de computação interligados: hospedeiros = sistemas finais Executando aplicações Enlaces de comunicação: fibra, cobre, rádio,
Leia maisREDES DE COMPUTADORES
REDES DE COMPUTADORES O QUE É PROTOCOLO? Na comunicação de dados e na interligação em rede, protocolo é um padrão que especifica o formato de dados e as regras a serem seguidas. Sem protocolos, uma rede
Leia mais1 Redes de Computadores - TCP/IP Luiz Arthur
1 Redes de Computadores - TCP/IP Luiz Arthur TCP/IP O protocolo TCP/IP atualmente é o protocolo mais usado no mundo. Isso se deve a popularização da Internet, a rede mundial de computadores, já que esse
Leia maisRede d s d e d Com o pu p t u ado d r o es Conceitos Básicos M d o e d los o de d Re R de d s:
Tecnologia em Redes de Computadores Redes de Computadores Professor: André Sobral e-mail: alsobral@gmail.com Conceitos Básicos Modelos de Redes: O O conceito de camada é utilizado para descrever como ocorre
Leia maisArquitetura de Redes: Camadas de Protocolos (Parte I) Prof. Eduardo
Arquitetura de Redes: Camadas de Protocolos (Parte I) Prof. Eduardo Introdução O que é Protocolo? - Para que os pacotes de dados trafeguem de uma origem até um destino, através de uma rede, é importante
Leia maisComunicando através da rede
Comunicando através da rede Fundamentos de Rede Capítulo 2 1 Estrutura de Rede Elementos de comunicação Três elementos comuns de comunicação origem da mensagem o canal destino da mensagem Podemos definir
Leia maisUNIVERSIDADE FEDERAL DE SANTA CATARINA DEPARTAMENTO DE INFORMÁTICA E ESTÁTISTICA GRADUAÇÃO EM CIÊNCIAS DA COMPUTAÇÃO DISCIPLINA: COMUNICAÇÃO DE DADOS
UNIVERSIDADE FEDERAL DE SANTA CATARINA DEPARTAMENTO DE INFORMÁTICA E ESTÁTISTICA GRADUAÇÃO EM CIÊNCIAS DA COMPUTAÇÃO DISCIPLINA: COMUNICAÇÃO DE DADOS PROFESSOR: CARLOS BECKER WESTPHALL Terceiro Trabalho
Leia maisArquitetura de Redes. Prof. Dr. S. Motoyama
Arquitetura de Redes Prof. Dr. S. Motoyama 1 Arquitetura em camadas Arquitetura de RC Estruturar em camadas é decompor o problema de construção de uma rede em componentes gerenciáveis. A estruturação em
Leia maisOURO MODERNO www.ouromoderno.com.br. Web Designer APOSTILA DE EXEMPLO. (Esta é só uma reprodução parcial do conteúdo)
Web Designer APOSTILA DE EXEMPLO (Esta é só uma reprodução parcial do conteúdo) 1 Índice Aula 1 FTP... 3 FTP e HTTP... 4 Exercícios... 6 2 Aula 1 FTP FTP significa File Transfer Protocol, traduzindo Protocolo
Leia maisCamada de Transporte TCP/IP e Aplicação
Universidade do Sul de Santa Catarina Camada de Transporte TCP/IP e Aplicação 1 Camada de Transporte Os serviços de transporte incluem os seguintes serviços básicos: Segmentação de dados de aplicações
Leia maisRedes de Computadores. Prof. André Y. Kusumoto andre_unip@kusumoto.com.br
Redes de Computadores Prof. André Y. Kusumoto andre_unip@kusumoto.com.br Open Systems Interconnection Modelo OSI No início da utilização das redes de computadores, as tecnologias utilizadas para a comunicação
Leia maiswww.victorpinheiro.jimdo.com www.victorpinheiro.jimdo.com
SERVIÇOS DE REDES DE COMPUTADORES Prof. Victor Guimarães Pinheiro/victor.tecnologo@gmail.com www.victorpinheiro.jimdo.com www.victorpinheiro.jimdo.com Modelo TCP/IP É o protocolo mais usado da atualidade
Leia maisAULA Redes de Computadores e a Internet
UNIVERSIDADE FEDERAL DE UBERLÂNDIA Faculdade de Computação Curso de Bacharelado em Ciência da Computação Disciplina: INF64 (Introdução à Ciência da Computação) Prof: Anilton Joaquim da Silva / Ezequiel
Leia maisRedes de Computadores
s de Computadores Prof. Macêdo Firmino Revisão do Modelo de Camadas da Internet (TCP/IP) Macêdo Firmino (IFRN) s de Computadores Novembro de 2012 1 / 13 Modelo de Camadas Revisão de de Computadores Os
Leia maisArquitetura e Protocolos de Rede TCP/IP. Modelo Arquitetural
Arquitetura e Protocolos de Rede TCP/IP Modelo Arquitetural Motivação Realidade Atual Ampla adoção das diversas tecnologias de redes de computadores Evolução das tecnologias de comunicação Redução dos
Leia maisUSO GERAL DOS PROTOCOLOS SMTP, FTP, TCP, UDP E IP
USO GERAL DOS PROTOCOLOS SMTP, FTP, TCP, UDP E IP SMTP "Protocolo de transferência de correio simples (ou em inglês Simple Mail Transfer Protocol ) é o protocolo padrão para envio de e- mails através da
Leia maisCamada de Aplicação. DNS Domain Name System. Redes de Computadores Prof. Leandro C. Pykosz
Camada de Aplicação Redes de Computadores Prof. Leandro C. Pykosz Camada de Aplicação A camada de aplicação fornece os serviços "reais" de rede para os usuários. Os níveis abaixo da aplicação fornecem
Leia maisRede de Computadores
Escola de Ciências e Tecnologia UFRN Rede de Computadores Prof. Aquiles Burlamaqui Nélio Cacho Luiz Eduardo Eduardo Aranha ECT1103 INFORMÁTICA FUNDAMENTAL Manter o telefone celular sempre desligado/silencioso
Leia maisInternet ou Net. É uma rede mundial de computadores ligados entre si através s de linhas telefónicas comuns.
Internet Internet ou Net É uma rede mundial de computadores ligados entre si através s de linhas telefónicas comuns. Como Comunicam os computadores Os computadores comunicam entre si utilizando uma linguagem
Leia maisUFG - Instituto de Informática
UFG - Instituto de Informática Especialização em Desenvolvimento de Aplicações Web com Interfaces Ricas EJB 3.0 Prof.: Fabrízzio A A M N Soares professor.fabrizzio@gmail.com Aula 13 Web Services Web Services
Leia maisRedes de Computadores
Introdução Inst tituto de Info ormátic ca - UF FRGS Redes de Computadores Arquitetura de redes Aula 02 A. Car rissimi --ago-1 Comunicação de dados envolve diferentes entidades Entidade=qualquer dispositivo
Leia maisRedes de Computadores. Revisões
Redes de Computadores Revisões Classifique, com V ou F, as afirmações seguintes! A comunicação entre sistemas (ex: computadores), tendo em vista a execução de aplicações telemáticas, só é possível se existir
Leia maisProfessor: Gládston Duarte
Professor: Gládston Duarte INFRAESTRUTURA FÍSICA DE REDES DE COMPUTADORES Computador Instalação e configuração de Sistemas Operacionais Windows e Linux Arquiteturas físicas e lógicas de redes de computadores
Leia maisREDES DE COMPUTADORES
REDES DE COMPUTADORES Prof. Esp. Fabiano Taguchi http://fabianotaguchi.wordpress.com fabianotaguchi@gmail.com ENLACE X REDE A camada de enlace efetua de forma eficiente e com controle de erros o envio
Leia maisREDES DE COMPUTADORES I 2007/2008 LEIC - Tagus-Park TPC Nº 2. Avaliação sumária da matéria do Capítulo 2
REDES DE COMPUTADORES I 2007/2008 LEIC - Tagus-Park TPC Nº 2 Avaliação sumária da matéria do Capítulo 2 Pergunta: 1 A figura (ver Anexo) ilustra três diagramas de mensagens referentes a pedidos que clientes
Leia maisSoftware de rede e Modelo OSI André Proto UNESP - São José do Rio Preto andre.proto@sjrp.unesp.br O que será abordado Hierarquias de protocolos (camadas) Questões de projeto relacionadas às camadas Serviços
Leia maisCamada de Transporte, protocolos TCP e UDP
Camada de Transporte, protocolos TCP e UDP Conhecer o conceito da camada de transporte e seus principais protocolos: TCP e UDP. O principal objetivo da camada de transporte é oferecer um serviço confiável,
Leia maisREDES DE COMPUTADORES. Arquiteturas de Redes
REDES DE COMPUTADORES Arquiteturas de Redes Agenda Necessidade de Padronização Protocolos e Padrões Órgãos de Padronização Conceitos de Arquitetura em Camadas Arquitetura de Redes OSI TCP/IP Necessidade
Leia maisAula 2 Arquitetura de Redes. Prof. Dr. S. Motoyama
Aula 2 Arquitetura de Redes Prof. Dr. S. Motoyama 1 Arquitetura em camadas Arquitetura de RC Estruturar em camadas é decompor o problema de construção de uma rede em componentes gerenciáveis. A estruturação
Leia maisRedes de Computadores - Capitulo II 2013. prof. Ricardo de Macedo 1 ISO INTERNATIONAL ORGANIZATION FOR STANDARDZATION
Capitulo 2 Prof. Ricardo de Macedo ISO INTERNATIONAL ORGANIZATION FOR STANDARDZATION Organização Internacional para Padronização. Definição de um padrão de interoperabilidade. Modelo OSI OSI OPEN SYSTEM
Leia mais1 Arquitecturas e protocolos de comunicação
Arquitecturas e protocolos de comunicação 1 Arquitecturas e protocolos de comunicação 1/33 Arquitectura dos protocolos de comunicações Arquitectura do sistema de comunicação É um bloco complexo de software
Leia maisIntrodução à Internet
Tecnologias de Informação e Comunicação Introdução Internet? Introdução 11-03-2007 TECNOLOGIAS DA INFORMAÇÃO E COMUNICAÇÃO 2 Internet Introdução É uma rede global de computadores interligados que comunicam
Leia maisUNIVERSIDADE. Sistemas Distribuídos
UNIVERSIDADE Sistemas Distribuídos Ciência da Computação Prof. Jesus José de Oliveira Neto Comunicação Inter-Processos Sockets e Portas Introdução Sistemas distribuídos consistem da comunicação entre processos
Leia maisRedes e Telecomunicações
Redes e Telecomunicações Comunicação Processo pelo qual uma informação gerada num ponto (origem) é transferida para outro ponto (destino) Telecomunicações Telecomunicação do grego: tele = distância do
Leia maisARP- Address Resolution Protocol
ARP- Address Resolution Protocol Elena Baikova M 4856 Estrutura do TCP/IP 1 ARP - O Problema O computador A quer transmitir dados através de uma rede TCP/IP para o computador B O endereço IP do computador
Leia maisSistemas Distribuídos Comunicação entre Processos em Sistemas Distribuídos: Middleware de comunicação Aula II Prof. Rosemary Silveira F. Melo Comunicação em sistemas distribuídos é um ponto fundamental
Leia maisSMTP, POP, IMAP, DHCP e SNMP. Professor Leonardo Larback
SMTP, POP, IMAP, DHCP e SNMP Professor Leonardo Larback Protocolo SMTP O SMTP (Simple Mail Transfer Protocol) é utilizado no sistema de correio eletrônico da Internet. Utiliza o protocolo TCP na camada
Leia maisUnidade 2.1 Modelos de Referência
Faculdade INED Curso Superior de Tecnologia: Banco de Dados Redes de Computadores Disciplina: Redes de Computadores Prof.: Fernando Hadad Zaidan 1 Unidade 2.1 Modelos de Referência 2 Bibliografia da disciplina
Leia mais7.1 Modelo TCP / IP Departamento de Engenharia, Electrónica, Telecomunicações e Computadores Redes de Computadores
7.1 Modelo TCP / IP Instituto Superior de Engenharia de Lisboa Departamento de Engenharia, Electrónica, Telecomunicações e Computadores Redes de Computadores Historial Inicio dos anos 60 : Arpanet Motivação
Leia maisRedes - Internet. Sumário 26-09-2008. Aula 3,4 e 5 9º C 2008 09 24. } Estrutura baseada em camadas. } Endereços IP. } DNS -Domain Name System
Redes - Internet 9º C 2008 09 24 Sumário } Estrutura baseada em camadas } Endereços IP } DNS -Domain Name System } Serviços, os Servidores e os Clientes } Informação Distribuída } Principais Serviços da
Leia maisInternet. Professor: Francisco Silva
Internet e Serviços Internet A Internet, ou apenas Net, é uma rede mundial de computadores ligados entre si através de linhas telefónicas comuns, linhas de comunicação privadas, satélites e outros serviços
Leia maisRedes de Computadores
Redes de Computadores Capítulo 1 Gustavo Reis gustavo.reis@ifsudestemg.edu.br - O que é a Internet? - Milhões de elementos de computação interligados: hospedeiros = sistemas finais - Executando aplicações
Leia maisRedes de Computadores: Introdução
s de Computadores: Introdução Instituto Superior de Engenharia de Lisboa Departamento de Engenharia de Electrónica e Telecomunicações e de Computadores s de Computadores Necessidades de comunicação 28-02-2010
Leia maisModelo TCP / IP. História da família TCP/IP Modelo utilizado pela família TCP/IP Comparação com o modelo OSI
Modelo TCP / IP História da família TCP/IP Modelo utilizado pela família TCP/IP Comparação com o modelo OSI Historial Inicio dos anos 60 : Arpanet Motivação : Guerra fria (sputnik) ARPA (Advanced Research
Leia maisArquitetura de Sistemas Operativos
Arquitetura de Sistemas Operativos Sistemas Operativos 2011/2012 1 Introdução Os sistemas operativos implementam mecanismos que asseguram independência entre processos (i.e., a execução de um processo
Leia maisSoftware de Telecomunicações. Introdução ao Cinderella
Software de Telecomunicações Introdução ao Cinderella Prof RG Crespo Software de Telecomunicações Cinderella : 1/26 Descrição Ambiente de desenvolvimento, que inclui: Editor gráfico em SDL Analisador Simulador
Leia maisINTRODUÇÃO ÀS REDES DE COMPUTADORES
INTRODUÇÃO ÀS REDES DE COMPUTADORES Teresa Vazão 2 INTRODUÇÃO Um pai para a Internet.. 1961 - Leonard Kleinrock (aluno de PhD MIT): Inventor do conceito de rede de comutação de pacotes 1969 IMP - Interface
Leia maisMÓDULO 8 Modelo de Referência TCP/IP
MÓDULO 8 Modelo de Referência TCP/IP A internet é conhecida como uma rede pública de comunicação de dados com o controle totalmente descentralizado, utiliza para isso um conjunto de protocolos TCP e IP,
Leia maisSistemas Distribuídos Capítulos 3 e 4 - Aula 4
Sistemas Distribuídos Capítulos 3 e 4 - Aula 4 Aula passada Threads Threads em SDs Processos Clientes Processos Servidores Aula de hoje Clusters de Servidores Migração de Código Comunicação (Cap. 4) Fundamentos
Leia maisUnidade 2.1 Modelos de Referência. Bibliografia da disciplina. Modelo OSI. Modelo OSI. Padrões 18/10/2009
Faculdade INED Unidade 2.1 Modelos de Referência Curso Superior de Tecnologia: Redes de Computadores Disciplina: Fundamentos de Redes Prof.: Fernando Hadad Zaidan 1 2 Bibliografia da disciplina Bibliografia
Leia maisRede de Computadores (REC)
Rede de Computadores (REC) Aula 04 Camada de Aplicação Prof. Jackson Mallmann dcc2jm@joinville.udesc.br Exemplos de requisição via telnet. iniciar / executar / cmd (Windows) telnet endereço telnet 192.168.1.3
Leia maisREDES DE COMPUTADORES Prof. Ricardo Rodrigues Barcelar http://www.ricardobarcelar.com.br
- Aula 2 - MODELO DE REFERÊNCIA TCP (RM TCP) 1. INTRODUÇÃO O modelo de referência TCP, foi muito usado pela rede ARPANET, e atualmente usado pela sua sucessora, a Internet Mundial. A ARPANET é de grande
Leia maisInternet - A rede Mundial
Internet - A rede Mundial Fernando Albuquerque 061-2733589 fernando@cic.unb.br O que é? Qual a sua história? Como funciona? Como está organizada? Quais os serviços? Como acessar? Quais os cuidados? Qual
Leia mais(Open System Interconnection)
O modelo OSI (Open System Interconnection) Modelo geral de comunicação Modelo de referência OSI Comparação entre o modelo OSI e o modelo TCP/IP Analisando a rede em camadas Origem, destino e pacotes de
Leia maisPorta Série. Trabalhos Práticos AM 2007/2008. Porta Série. Objectivos
3 Objectivos - Configurar os parâmetros associados à comunicação série assíncrona. - Saber implementar um mecanismo de menus para efectuar a entrada e saída de dados, utilizando como interface um terminal
Leia maisRedes de Comunicação Modelo OSI
Redes de Comunicação Modelo OSI Instituto Superior de Engenharia de Lisboa Departamento de Engenharia, Electrónica, Telecomunicações e Computadores Redes de Computadores Processos que comunicam em ambiente
Leia maisMódulo de Transmissão e Ativos de Rede Curso Técnico de Informática. Prof. George Silva
Módulo de Transmissão e Ativos de Rede Curso Técnico de Informática Prof. George Silva FTIN FORMAÇÃO TÉCNICA EM INFORMÁTICA COMPONENTES ATIVOS DE REDES AULA 04 Objetivo Entender o encapsulamento de dados
Leia maisInformática I. Aula 22. http://www.ic.uff.br/~bianca/informatica1/ Aula 22-03/07/06 1
Informática I Aula 22 http://www.ic.uff.br/~bianca/informatica1/ Aula 22-03/07/06 1 Critério de Correção do Trabalho 1 Organização: 2,0 O trabalho está bem organizado e tem uma coerência lógica. Termos
Leia maisRedes de computadores são sistemas complexos. Decomposição dos sistemas em elementos realizáveis
Redes de computadores são sistemas complexos Decomposição dos sistemas em elementos realizáveis Maioria das redes são organizadas como uma série de camadas Permite a divisão de um problema grande e complexo
Leia maisCurso Técnico de Redes de Computadores Disciplina de Fundamentos de Rede
Curso Técnico de Redes de Computadores Disciplina de Fundamentos de Rede CAMADA DE APLICAÇÃO Professora: Juliana Cristina de Andrade E-mail: professora.julianacrstina@gmail.com Site: www.julianacristina.com
Leia mais1 Arquitecturas e protocolos de comunicação
Arquitecturas e protocolos de comunicação 1 Arquitecturas e protocolos de comunicação 1/33 Arquitectura dos protocolos de comunicações Arquitectura do sistema de comunicação É um bloco complexo de software
Leia maisArquiteturas de Rede. Prof. Leonardo Barreto Campos
Arquiteturas de Rede 1 Sumário Introdução; Modelo de Referência OSI; Modelo de Referência TCP/IP; Bibliografia. 2/30 Introdução Já percebemos que as Redes de Computadores são bastante complexas. Elas possuem
Leia maisTECNOLOGIA WEB. Principais Protocolos na Internet Aula 2. Profa. Rosemary Melo
TECNOLOGIA WEB Principais Protocolos na Internet Aula 2 Profa. Rosemary Melo Tópicos abordados Compreender os conceitos básicos de protocolo. Definir as funcionalidades dos principais protocolos de Internet.
Leia maisTecnologia de Redes de Computadores - aula 1
Tecnologia de Redes de Computadores - aula 1 Prof. Celso Rabelo Centro Universitário da Cidade 1 Objetivo Programa Bibliografia 2 Conceitos Um pouco de história Comutação de Pactoes Comutação de pacote
Leia maisRedes de Computadores
Redes de Computadores Camada de Aplicação Slide 1 Aplicação e Protocolo de Aplicação Aplicação: processos distribuídos em comunicação rodam nos computadores usuários da rede como programas de usuário trocam
Leia maisFACULDADE PITÁGORAS. Prof. Ms. Carlos José Giudice dos Santos cpgcarlos@yahoo.com.br www.oficinadapesquisa.com.br
FACULDADE PITÁGORAS DISCIPLINA FUNDAMENTOS DE REDES REDES DE COMPUTADORES Prof. Ms. Carlos José Giudice dos Santos cpgcarlos@yahoo.com.br www.oficinadapesquisa.com.br Material elaborado com base nas apresentações
Leia maisComunicação entre Processos
Comunicação entre Processos Comunicação entre Processos - Sistemas Operacionais fornecem mecanismos para comunicação entre processos (IPC), tal como filas de mensagens, semáfaros e memória compartilhada.
Leia maisProtocolo. O que é um protocolo? Humano: que horas são? eu tenho uma pergunta
Protocolo O que é um protocolo? Humano: que horas são? eu tenho uma pergunta Máquina: Definem os formatos, a ordem das mensagens enviadas e recebidas pelas entidades de rede e as ações a serem tomadas
Leia maisRedes de Telecomunicações (11382)
Redes de Telecomunicações (11382) Ano Lectivo 2014/2015 * 1º Semestre Pós Graduação em Information and Communication Technologies for Cloud and Datacenter Aula 5 18/11/2014 1 Agenda Comunicação na camada
Leia maisFábio Costa e Miguel Varela
Sistema de Informação e Gestão dos Laboratórios do Departamento de Eng.ª Electrotécnica com Tecnologia RFID Projecto Final de Licenciatura em Eng. Electrotécnica e de Computadores Ramo de Electrónica e
Leia maisRedes de Computadores
Redes de Computadores Hardware de Rede Slide 1 Tipos de Redes segundo a Abrangência PAN (Personal Area Network): interconexão de equipamentos com distância máxima de 10m. LAN (Local Area Network) ou Rede
Leia maisTransferência de arquivos (FTP)
Transferência de arquivos (FTP) Protocolo de transferência de arquivos (File Transfer Protocol) Descrito na RFC 959 Usa o TCP, a porta 21 (conexão de controle) e a porta 20 (conexão de dados) Em uma mesma
Leia maisModelos de Camadas. Professor Leonardo Larback
Modelos de Camadas Professor Leonardo Larback Modelo OSI Quando surgiram, as redes de computadores eram, em sua totalidade, proprietárias, isto é, uma determinada tecnologia era suportada apenas por seu
Leia maisINTERNET. TCP/IP protocolo de comunicação sobre o qual se baseia a Internet. (conjunto de regras para a comunicação entre computadores)
TCP/IP protocolo de comunicação sobre o qual se baseia a Internet. (conjunto de regras para a comunicação entre computadores) A cada computador integrado na rede é atribuído um número IP que o identifica
Leia maisMÓDULO 7 Modelo OSI. 7.1 Serviços Versus Protocolos
MÓDULO 7 Modelo OSI A maioria das redes são organizadas como pilhas ou níveis de camadas, umas sobre as outras, sendo feito com o intuito de reduzir a complexidade do projeto da rede. O objetivo de cada
Leia maisTECNOLOGIAS WEB AULA 2 PROF. RAFAEL DIAS RIBEIRO @RIBEIRORD
TECNOLOGIAS WEB AULA 2 PROF. RAFAEL DIAS RIBEIRO @RIBEIRORD Objetivos: Definir as funcionalidades dos principais protocolos de Internet. Compreender os conceitos básicos de protocolo. Conhecer mais a respeito
Leia maisProf. Luís Rodolfo. Unidade III REDES DE COMPUTADORES E TELECOMUNICAÇÃO
Prof. Luís Rodolfo Unidade III REDES DE COMPUTADORES E TELECOMUNICAÇÃO Redes de computadores e telecomunicação Objetivos da Unidade III Apresentar as camadas de Transporte (Nível 4) e Rede (Nível 3) do
Leia maisGrande conjunto de informação que existe em todo o Mundo alojada em centenas de milhares de computadores chamados servidores Web.
1. Complete a tabela. Designação Descrição Rede mundial de computadores ligados entre si através de linhas telefónicas comuns, linhas de comunicação privadas, satélites e outros serviços de telecomunicação.
Leia maisMódulo 9 Conjunto de Protocolos TCP/IP e endereçamento IP
CCNA 1 Conceitos Básicos de Redes Módulo 9 Conjunto de Protocolos TCP/IP e endereçamento IP Introdução ao TCP/IP 2 Modelo TCP/IP O Departamento de Defesa dos Estados Unidos (DoD) desenvolveu o modelo de
Leia maisRedes de Computadores e Teleinformática. Zacariotto 4-1
Redes de Computadores e Teleinformática Zacariotto 4-1 Agenda da aula Introdução Redes de computadores Redes locais de computadores Redes de alto desempenho Redes públicas de comunicação de dados Computação
Leia maisPROTÓTIPO TIPO DE UM SOFTWARE AGENTE SNMP PARA REDE WINDOWS
UNIVERSIDADE REGIONAL DE BLUMENAU BACHARELADO EM CIÊNCIAS DA COMPUTAÇÃO PROTÓTIPO TIPO DE UM SOFTWARE AGENTE SNMP PARA REDE WINDOWS Acadêmico: Luciano Waltrick Goeten Orientador: Prof. Sérgio Stringari
Leia maisProgramação de Sistemas
Programação de Sistemas Introdução aos modelos de comunicação Programação de Sistemas Modelos de comunicação :1/19 Introdução (1) Os sistemas operativos implementam mecanismos que asseguram independência
Leia mais