MDSE Modelagem com Máquinas de Estados em MATLAB
•
1 gostou•525 visualizações
O documento discute modelagem de sistemas com enfoque em MDSE (Model Driven System Engineering). Apresenta conceitos como modelagem com máquinas de estado no MATLAB e linguagem de projeto baseada em grafos. Também aborda modelagem de um satélite simples como estudo de caso.
Recomendados
Mais conteúdo relacionado
Semelhante a MDSE Modelagem com Máquinas de Estados em MATLAB
Semelhante a MDSE Modelagem com Máquinas de Estados em MATLAB (20)
Mais de Christopher Cerqueira
Mais de Christopher Cerqueira (20)
Último
Último (20)
MDSE Modelagem com Máquinas de Estados em MATLAB
- 2. MDSE (MODEL DRIVEN SYSTEM ENGINEERING) Fundamentos Modelagem com Máquinas de Estados em MATLAB Christopher Cerqueira 22:24:33 2
- 3. Quests dessa manhã! • Apresentar sobre MDSE (Model Driven System Engineering) • O que estamos fazendo • Entendendo o Problema • Modelagem SysML • Modelando no MATLAB • Graph Based Design Language 22:24:33 3
- 4. MDSE Model Driven System Engineering 22:24:33 4
- 5. Como é feita a engenharia
- 6. Como é feita a engenharia ● Concepção de missão: são criado modelos, para verificar a viabilidade a missão. ● Requisitos/Arquitetura (Projeto Simplificado): são criado modelos, para especificar como o produto deve ser desenvolvido. ● Projeto detalhado: são criado modelos, específicos de como os equipamentos devem funcionar. ● Implementação: são realizados processos para concretizar os modelos. ● Integração: testa-se os objetos concretos frente aos modelos detalhados. ● Operação: utiliza-se os objetos.
- 7. Bemmmmmm e então!? Modelo Modelo Modelo Modelo → Equipamento Real Equipamento Equipamento Tudo OK!
- 8. 3 Eras de escrita de requisitos: ● Requisito textual ● Requisito diagramático ● Requisito dinâmico (modelo/simulação) REQ001 – O churrasco do curso de inverno deve conter carne.
- 10. MD(S)E é uma mudança de paradigma MDE Lectures – Prof. Jean Bézivin 22:24:34 10MDSE Mudança de paradigma: unificação de objetos via modelos
- 11. Modelos • Um modelo é uma imagem simplificada de um sistema. • Sistema: “A system is a set of elements in interaction” (von Bertalanffy)(1) • Modelo vem da palavra em latim “modullus”, diminutivo de “modus” (medida) • As terminologias são recentes mas a ideia é antiga (1) Model Based Systems Engineering: Fundamentals and Methods Por Patrice Micouin 22:24:34 11MDSE
- 16. Múltiplos nomes ● MDD – Model Driven Development ● MDSD – Model Driven Software Development ● MDA – Model Driven Architect ● MDSE – Model Driven Software Engineering ● MDRE – Model Driven Reverse Engineering ● MM – Model Management ● ADM – Architecture Driven Modernization ● DDD – Domain Driven Design ● MBD – Model Based Development ● DSL – Domain Specific Language ● … → infinito
- 19. Identificando Eventos • Iluminação* (não foi colocado) • Ligado. (Sigla: E – Enable / nE – not Enable) • Transmissão. (Sigla T – Transmit / nT – not Transmit) • Filmagem. (Sigla: F – Film / nF – not Film) • Estados possíveis = • 4 eventos binários = 16 estados possíveis (teóricos) • Para simplificar ( e fazer sentido) utilizou-se 5 estados: • (1) Desligado, (2) Stand-by, (3) Transmitindo e Gravando, (4) Transmitindo e (5) Gravando 22:25:45 19Entendendo o problema
- 20. Autômato do Satélite (JPlavisFSM) 22:25:45 20Entendendo o problema Casos de testes gerados automaticamente:
- 22. SysML 22:25:45 ● SysML é uma linguagem de modelagem gráfica em resposta ao UML para Engenharia de Sistemas ● SysML suporta especificação, análise, projeto, verificação e validação de sistemas incluindo hardware, software, dados, pessoal, procedimento e infraestruturas. ● Dados são salvos, em XML. ● http://www.omgsysml.org/ ● SysML V1.4 Beta Specification – Março 2014
- 23. SysML - Modelos
- 24. Básico do SysML (System Modelling Language)
- 26. MATLAB e StateFlow • Modeling environment, graphical components, and simulation engine for modeling and simulating complex logic • Deterministic execution semantics with hierarchy, parallelism, temporal operators, and events • State diagrams, state transition tables, and state transition matrices representing finite state machines • Flow charts, MATLAB functions, and truth tables for representing algorithms • State diagram animation, state activity logging, data logging, and integrated debugging for analyzing the design and detecting run-time errors • Static and run-time checks for transition conflicts, cyclic problems, state inconsistencies, data-range violations, and overflow conditions • Mealy and Moore finite-state machines http://www.mathworks.com/products/stateflow/ 22:24:38 26MATLAB
- 29. Desafio: Como implantar MBSE em uma etapa do ciclo de vida??(no estudo de caso: Fase 0) 29
- 30. Perguntas:
- 31. 1. Quais são as linguagens computacionais para descrever modelos!??!
- 32. 2. Os engenheiros tem facilidade de modelar nas linguagens disponíveis!??!
- 33. 3. Como simplificar o linguajar para descrição de modelos? E tornar modelagem e simulação natural para a engenharia...
- 34. E por fim 4. Como aplicar este linguajar a um cenário de engenharia espacial ?
- 38. Mudança de paradigma de design 38
- 39. Motor de decisão baseado em regras – if then (ASAP) Sequência de atividades Regras de construção (topologia)
- 40. Programando em lógica de design
- 41. Topologias x Interfaces entre os elementos de sistema
- 43. O que nós aprendemos hj?!!?
- 44. ● Deve-se evoluir os modelos no ciclo de vida. REUSO = NÃO PERDER TEMPO ● Deve-se entender os papéis de cada um da sua instituição. ● Modelando PlavisFSM ● ● ●