Sysml
Mostrando 1-10 de 10 artigos, teses e dissertações.
-
1. Proposta de um método para definição de requisitos de sistemas PLM (Product Lifecycle Management)
A proposta desse trabalho é desenvolver o método REQ4PLM que auxiliará empresas nacionais no processo de definição de requisitos para seleção de sistemas PLM. No método proposto, os processos do ciclo de vida do produto são modelados e analisados para identificação de stakeholders, seus interesses e indicadores de desempenho. Feito o isso, o méto
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 13/07/2011
-
2. MDM-DA: um método dirigido por modelos para documentação e análise de requisitos de sistemas.
Este trabalho de pesquisa propõe um Método Dirigido por Modelos para a Documentação e Análise (MDM-DA) de requisitos de Sistemas Computadorizados - SC, visando melhorar a qualidade e a eficácia na documentação da execução de atividades da Engenharia de Requisitos, e manter rastreabilidade entre os elementos produzidos durante o ciclo de desenvolvim
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 14/12/2010
-
3. MDM-DA: um método dirigido por modelos para documentação e análise de requisitos de sistemas.
Este trabalho de pesquisa propõe um Método Dirigido por Modelos para a Documentação e Análise (MDM-DA) de requisitos de Sistemas Computadorizados - SC, visando melhorar a qualidade e a eficácia na documentação da execução de atividades da Engenharia de Requisitos, e manter rastreabilidade entre os elementos produzidos durante o ciclo de desenvolvim
Publicado em: 2010
-
4. Um enfoque baseado em conhecimento e dirigido a modelos de engenharia de requisitos para projeto conceitual de satélites / A knowledge-based and model-driven requirements engineering approach for conceptual satellite design
Satélites estão tornando-se cada vez mais complexos, tornando questões técnicas de projeto significativamente relevantes. A crescente complexidade destes sistemas torna a atividade de engenharia de requisitos mais importante e mais difícil. Tipicamente, existem especificações e restrições de projeto que impõem um alto nível de exigência para a en
Publicado em: 2010
-
5. Um enfoque baseado em conhecimento e dirigido a modelos de engenharia de requisitos para projeto conceitual de satélites / A knowledge-based and model-driven requirements engineering approach for conceptual satellite design
Satélites estão tornando-se cada vez mais complexos, tornando questões técnicas de projeto significativamente relevantes. A crescente complexidade destes sistemas torna a atividade de engenharia de requisitos mais importante e mais difícil. Tipicamente, existem especificações e restrições de projeto que impõem um alto nível de exigência para a en
Publicado em: 2010
-
6. Integrated model-based design and simulation of critical embedded systems / Projeto e simulação integrados baseados em modelos para sistemas embarcados críticos
A partir da introdução do sistema de controle fly-by-wire nos programas Concorde e A320 de aviação civil, a complexidade dos sistemas aviônicos embarcados aumenta constantemente. A operação dos aviões atuais e futuros é fortemente dependente para seu funcionamento dos seus sistemas aviônicos embarcados. A inovação em termos de computação dessa
Publicado em: 2010
-
7. Estudo de verificação e validação de sistemas embarcados espaciais utilizando SysML e Model Checking.
Entre as principais dificuldades do desenvolvimento de software embarcado crítico e de tempo real está a especificação e o processo de verificação e validação apoiado ao projeto conceitual. Neste contexto, a modelagem de sistemas tem uma importante função, uma vez que um processo complexo possa ser analisado e validado antes de sua real implementa�
Publicado em: 2009
-
8. Modelagem e anÃlise de especificaÃÃes de sistemas de tempo-real crÃticos com restriÃÃes de energia
Requirements analysis is a critical task in any Embedded Real-Time System (ERTS) project. Normally, these systems have stringent timing constraints that must be satisÂed for the correct functioning, since violation might be catastrophic, such as loss of human lives or large amount of Ânancial resources. In addition, there are systems where energy is anothe
Publicado em: 2009
-
9. Proposta de método para gestão de requisitos de sistemas integrando modelagem de negócio e linguagens formais. / Proposal for management system requirements method integrating business modeling and formal languages.
Despite new and effective software engineering techniques, system development projects are likely to have the same problems that affect the management support software. Delivery delay, above budget and not fitting the real needs of end users or the organization that is funding the system development, are the most common problems. The latter problem is the on
Publicado em: 2008
-
10. ASSETRE: uma arquitetura de software para sistemas embarcados de tempo real.
Nas Ãltimas duas dÃcadas, muitos sistemas embarcados de tempo real vÃm se utilizando de arquiteturas, modelos e tÃcnicas como a anÃlise estruturada. As ferramentas de ambientes integrados de engenharia de software ajudada por computador (I-CASE-E) nÃo vÃm sendo utilizadas de maneira apropriada, a modelagem dos sistemas ainda à vista como um projeto s
Publicado em: 2007