Especificação, Modelação e Projecto de Sistemas Embutidos

 

Universidade de Aveiro
Disciplina opcional do 5º ano dos Mestrados Integrados em:
Código da disciplina: 45866

Índice



 Novidades 

 [Topo] 

 Docentes 

modelacao-sistemas-scicos-scilab.pdf

 [Topo] 

 Apresentação da disciplina 

Enquadramento e motivação

Na actualidade os SE estão presentes em quase todos os aspectos do nosso quotidiano. Sem ser exaustivo podem referir-se a título de exemplo: Apesar de ser partilharem muitos dos atributos dos sistemas computacionais genéricos, os SE apresentam um conjunto de características distintivas, como por exemplo:
Estas restrições não estão habitualmente presentes nos sistemas computacionais vulgares e têm um grande impacto nas diversas fases do projecto dos SE, as quais são objecto de estudo nesta disciplina.

Objectivos da disciplina

Funcionamento da disciplina

De um modo geral as actividades a desenvolver ao longo do semestre enquadram-se nas seguintes classes:

Avaliação

Bibliografia

Serão fornecidas referências bibliográficas adicionais sempre que necessário!

 

Edições anteriores

 [Topo] 

 Planificação e slides das aulas teóricas 

 [Topo] 

 Temas/artigos para discussão nas aulas teóricas 

  1. Modelação de Sistemas com SCICOS/SCILAB (Slides)
    Link
  2. AADL (Slides)
    Link
  3. SysML tool (Slides)
    Link
  4. Real men program in C (Slides)
    Link
  5. UML Statechart Framework for Java and C++ (Slides)
    Link
  6. UML para Embedded Systems (Slides)
    Link
  7. Modelação de Sistemas Embutidos Industriais com UML
    Link
  8. Model-Driven Development for Embedded Systems
    Link
  9. Modelica: o que é e para que serve? (Slides)
    Link
  10.  [Topo] 

     Recursos para as aulas práticas 

     [Topo] 

     Mini-projectos 

    Indicações para a apresentação dos mini-projectos

    As apresentações dos trabalhos práticos decorrerão na última aula teórica e serão organizadas em blocos de 10 min por grupo. Durante esse tempo, cada grupo deverá efectuar uma breve apresentação, cerca de 5 min., seguida de demonstração. A apresentação não poderá ter mais de 4 a 5 slides ou transparências sobre: 1-Objectivos, 2-Enquadramento, 3-Abordagem, 4-Resultados, 5-Ponto da situação.

    O relatório deverá ser entregue até ao dia 8 de Janeiro de 2010 e está limitado a 10 páginas, excluíndo eventuais anexos técnicos. O respectivo formato deverá obedecer às seguintes indicações: folha de capa com nome da disciplina, do docente, do ano lectivo, do trabalho e dos autores, texto em coluna simples, espaçamento simples entre linhas, tipo de letra TimesNewRoman tamanho 11 ou 12, margens laterais de 2,5cm e indicação do número de página no rodapé. A respectiva estrutura deverá seguir os pontos acima referidos para organizar a apresentação. O objectivo do relatório é o de explicar a abordagem usada na resolução do problema proposto bem como os resultados obtidos. Será também o sítio indicado para salientar os detalhes considerados relevantes e que poderiam ter passado despercebidos na apresentação. 

    No caso do trabalho não estar concluído na data da apresentação, esta deverá mostrar o estado actual podendo haver uma nova apresentação a realizar perto da data da entrega do relatório.

    Durante a última aula haverá uma verificação dos livros de registo!

    Lista de mini-projectos

    1. Modelação de Sistemas com SCICOS/SCILAB
       

    2. Modelação, em TrueTime, de um sistema tipo "Bola na Calha". Interface para avaliação de estratégias e parâmetros de controlo.
       

    3. Modelação em TrueTime de um protocolo do tipo "onda" para redes wireless.
       

    4. Modelação, em TrueTime, de um Sistema Distribuido de Segunda Ordem, com base na rede CAN. Avaliação do impacto da interferência e erros no desempenho de controlo.
       

    5. Modelação, em TrueTime, de um Sistema Distribuido de Segunda Ordem, com base na rede TTP. Avaliação do impacto da interferência e erros no desempenho de controlo.
       

    6. Modelação, em TrueTime, de um Sistema Distribuido de Segunda Ordem, com base na rede Switched Ethernet. Avaliação do impacto da interferência e erros no desempenho de controlo.
       

    7. Modelação, em TrueTime, de um Sistema Distribuido de Segunda Ordem, com base na rede IEEE 802.11b. Avaliação do impacto da interferência e erros no desempenho de controlo.
       

    8. Modelação, em TrueTime, de um Sistema Distribuido de Segunda Ordem, com base na rede IEEE 802.15.4 (ZigBee). Avaliação do impacto da interferência e erros no desempenho de controlo.