DREAM Tool

DREAM 도구는 여러 (실시간, 소비 전력, 리소스) 제약 조건을 표현할 수있는 공통 시맨틱 도메인을 제공하는 것을 목적으로 일반적인 프레임 워크이다.
의미 도메인은 의미 하이브리드 오토마타의 형식주의에 고정 된 실행 C ++ 모델이 있습니다. 계산의 모델은 하이브리드 자동 장치에 해당하지만, 지금까지 우리는 적당한 크기의 시스템에서 시간 초과 오토마타를 사용하여 보수적 근사 모델을 분석하는데 성공했다.
대규모 예제와 함께 사용자를 다루는 것은 시스템이 실행되기 전에 실행 C ++ 모델 시뮬레이션 / 테스트 인터페이스를 사용하는 능력을 갖는다. 우리는 다수의 문제를 해결하기 위해 유전 적 알고리즘을 확장 할 계획이다.
꿈은 하루 미만 시스템의 공식 모델 및 분석을 제공하는 시뮬레이션과 검증 프레임 워크입니다. 꿈의 시스템은 간단한 방법으로 XML을 사용하여 지정됩니다. 나는 당신이 도움이되기를 바랍니다.
실시간 미들웨어 (DRE) 시스템 임베디드 분산 실시간 주요 기능 및 서비스 품질 (QoS) 요구 사항을 지원하는 신뢰할 수있는 효율적인 플랫폼을 제공합니다.
DRE 시스템 개발의 주요 과제는 안전 시스템 구성 요소의 구성과 대상 플랫폼에 기능 사양을 매핑을 포함한다. 모델 기반 기술은 디자인 타임 분석을 가능하게하고 엔드 - 투 - 엔드하는 서비스 품질 특성, 예측 및 성능 측정을 특정 플랫폼에 커밋하기 전에 관련하여 설계 대안의 급속한 평가하는 수단을 제공함으로써 이러한 문제를 해결하는 데 도움이.
분석 방법 드림 임베디드 분산 실시간 (DRE) 시스템 임베디드 분산 실시간의 특성을 서비스 (QoS)을 복수의 품질을 최적화하기위한 오픈 소스 도구 및 방법입니다. 프로젝트는 기반 미들웨어 DRE 시스템의 검증, 개발, 구성 및 통합을 자동화하는 실시간 미들웨어 공식적인 분석 방법의 실제적인 적용에 초점을 맞추고있다.
이 릴리스의 새로운 기능 :
·이 버전은 적어도 2 ~ 3 배의 뛰어난 성능 향상의 결과로, 개선 된 모델 검사 성능을 위해 몇 가지 최적화를 구현했습니다.
· 현재 릴리스에 존재하는 알려진 메모리 누수가 없습니다.
· 균형 AVL 트리는 지금 모델 검사 방법의 여러 단계에서, 지수 속도 향상의 결과로 사용된다.
· XML 스키마 검증이 구현되었습니다.
· 검증 시간보고는 시뮬레이션 속도에 데이터를 포함하도록 업그레이드되었다.
· 임의의 시뮬레이션 기반의 테스트는 이제 마감이 놓친 실행 추적을 제공한다.