Especificacao De Requisitos De Sistemas E Programas
Mostrando 1-7 de 7 artigos, teses e dissertações.
-
1. 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
-
2. 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
-
3. Desenvolvimento e avaliação de modelo computacional para geração de alertas a partir de notificações de casos de meningite meningocócica / Development and evaluation of a computing model of alerts from meningococcal meningitis notification cases
INTRODUÇÃO: este trabalho apresenta a arquitetura de um sistema de emissão de alertas para surtos e epidemias em tempo real, baseado em notificações eletrônicas da meningite, e discute os resultados dos testes e simulações realizados. MÉTODOS: esse sistema foi desenvolvido em quatro etapas: Concepção, Análise, Construção e Teste/Simulações. A
Publicado em: 2008
-
4. Requirements definition for a monitoring system of vehicles in a transport of goods via roads. / Definição de requisitos para um sistema de monitoramento de veículos no transporte rodoviário de cargas.
Esta dissertação apresenta o levantamento e definição dos requisitos necessários para um sistema de monitoramento de veículos no transporte rodoviário de cargas, cujo custo de implantação seja acessível a grande parte das empresas. Para isso são aplicados alguns métodos da Engenharia de Requisitos, tais como: Vord, Preview e Volere. O conjunto de
Publicado em: 2007
-
5. Extensão de um modelo OO formal com aspectos temporais
Na área de Engenharia de Software, há vários modelos formais de especificação orientado a objetos (OO). Um destes é o OO-Method / OASIS. OO-Method se baseia nos seguintes princípios: - dar suporte às noções do modelo conceitual orientado a objetos; - integrar os modelos formais com metodologias de aceitação industrial; - possibilitar a produção
Publicado em: 2007
-
6. BSmart: desenvolvimento rigoroso de aplicações Java Card com base no método formal B
A tecnologia Java Card permite o desenvolvimento e execução de pequenas aplicações embutidas em smart cards. Uma aplicação Java Card é composta por um cliente, externo ao cartão, e por uma aplicação contida no cartão que implementa os serviços disponíveis ao cliente por meio de uma Application Programming Interface (API). Usualmente, essas aplic
Publicado em: 2007
-
7. Framework orientado a objetos para projeto de hardware e software embarcados para sistemas tempo-real
A crescente complexidade dos sistemas tempo-real embarcados demanda novas metodologias e ferramentas para gerenciar os problemas de projeto, análise, integração e validação de sistemas complexos. Este trabalho aborda o tema co-projeto de sistemas tempo-real embarcados, propondo estratégias para a integração das fases iniciais de modelagem de um siste
Publicado em: 2007