Ferramenta de sonho Dream Ferramenta é uma estrutura genérica que visa fornecer um domínio semântico comum.
Baixe Agora

Ferramenta de sonho Classificação e resumo

Ferramenta de sonho Tag

estrutura genérico Quadro Genérico semântica Framework de análise. domínio semântico

Ferramenta de sonho Descrição

A ferramenta dos sonhos é uma estrutura genérica que visa fornecer um domínio semântico comum. Dream Ferramenta é uma estrutura genérica que visa fornecer um domínio semântico comum que pode expressar várias restrições (em tempo real, consumo de energia, recursos). O domínio semântico tem um modelo de C ++ executável que foi semanticamente ancorado ao formalismo híbrido automatista. Embora o modelo de computação corresponda ao Hybrid AutomatA, até agora temos sido bem sucedidos na análise dos modelos por aproximação conservadora usando autômatos cronometrados em sistemas de tamanho moderado. Para lidar com exemplos de grande escala O usuário tem a capacidade de usar a interface de simulação / teste no modelo de C ++ executável antes de implementar o sistema. Planejamos estender os algoritmos genéticos para resolver um grande número de problemas.Dream é uma estrutura de simulação e verificação que fornece um modelo formal e análise do seu sistema em menos de um dia. Os sistemas no sonho são especificados usando XML de maneira direta. Espero que você achém útil. REAL-Time Middleware fornece plataformas confiáveis e eficientes suportando as necessidades funcionais e de qualidade de serviço (QoS) de sistemas distribuídos em tempo real incorporado (DRE). Os desafios do DRE SYSTEM incluem composição segura dos componentes do sistema e mapeando as especificações funcionais na plataforma de destino. As tecnologias baseadas em modelos ajudam a abordar essas questões, permitindo a análise de tempo de design e fornecendo os meios para a avaliação rápida de alternativas de design em relação às propriedades de QoS de ponta a ponta, previsibilidade e medidas de desempenho antes de se comprometer com uma plataforma específica. - Método de análise incorporado Dream é uma ferramenta e método de código aberto para otimizar várias propriedades de qualidade de serviço (QoS) de sistemas distribuídos em tempo real incorporado (DRE). O projeto se concentra na aplicação prática de métodos formais de análise para o middleware em tempo real para automatizar a verificação, desenvolvimento, configuração e integração de sistemas de dre baseados em middleware. Qual é o novo nesta versão: · Esta versão implementou várias otimizações para a verificação melhorada do modelo Desempenho, resultando em ganhos de desempenho impressionantes de pelo menos 2-3 vezes. · Não há vazamentos de memória conhecidos presentes na liberação atual. · As árvores AVL balanceadas são agora usadas, resultando em Speedups exponenciais em várias etapas do método de verificação do modelo. · A validação de esquema XML foi implementada. · Relatório de tempo de verificação foi atualizado para incluir dados sobre as velocidades de simulação. · O teste baseado em simulação aleatório agora fornece um traço de execução quando um prazo é perdido.

Ferramenta de sonho Software Relacionado