Ferramenta SONHO é uma estrutura genérica que visa proporcionar um domínio semântico comum que pode expressar vários (em tempo real, o consumo de energia, recursos) restrições.
O domínio tem uma semântica C ++ modelo executável que foi semanticamente ancorada ao formalismo autômatos híbrido. Embora o modelo de computação corresponde ao autômato híbrido, até agora temos sido bem sucedidos na análise dos modelos por aproximação conservadora usando autômatos cronometrado em sistemas de tamanho moderado.
Para lidar com exemplos de grande escala o usuário tem a possibilidade de usar a interface de simulação / teste no modelo C ++ executável antes de implementar o sistema. Pretendemos estender os algoritmos genéticos para resolver um grande número de problemas.
SONHO é uma estrutura de simulação e verificação que fornece um modelo formal e análise do seu sistema em menos de um dia. Sistemas no sonho são especificados usando XML de uma forma direta. Eu espero que você encontrá-lo útil.
Middleware em tempo real fornece plataformas confiáveis e eficientes de apoio às necessidades funcionais e de qualidade de serviço (QoS) de chave distribuída em tempo real sistemas embarcados (DRE).
Principais desafios em desenvolvimentos de sistemas DRE incluem composição segura dos componentes do sistema e mapear as especificações funcionais para a plataforma de destino. Tecnologias baseadas em modelo ajudar a resolver estas questões, permitindo a análise de tempo de design e fornecendo os meios para a rápida avaliação de alternativas de projeto com relação ao fim-de-final propriedades de QoS, previsibilidade e medidas de desempenho antes de cometer a uma plataforma específica.
O Real-time distribuída incorporado Método de Análise SONHO é uma ferramenta open-source e método para otimizar a qualidade múltiplo de serviço (QoS) de propriedades distribuídos em tempo real sistemas embarcados (DRE). O projecto centra-se na aplicação prática de métodos de análise formais para middleware em tempo real para automatizar a verificação, desenvolvimento, configuração e integração de sistemas DRE à base de middleware.
O que há de novo nesta versão:
· Esta versão implementou várias otimizações para melhorar o desempenho do modelo de verificação, resultando em ganhos impressionantes de pelo menos 2-3 vezes de desempenho.
· Não existem vazamentos de memória conhecidos presentes na versão atual.
· Balanceadas árvores AVL são agora usados, resultando em aumentos de velocidade exponencial em vários passos do método de verificação do modelo.
· Foi implementado validação do XML Schema.
· Relatórios em tempo de Verificação foi atualizado para incluir dados sobre as velocidades de simulação.
· Testes baseados em simulação aleatória agora fornece um rastreio de execução quando um prazo não for cumprido.
Comentários não encontrado