DREAM 도구는 여러 (실시간, 소비 전력, 리소스) 제약 조건을 표현할 수있는 공통 시맨틱 도메인을 제공하는 것을 목적으로 일반적인 프레임 워크이다.
의미 도메인은 의미 하이브리드 오토마타의 형식주의에 고정 된 실행 C ++ 모델이 있습니다. 계산의 모델은 하이브리드 자동 장치에 해당하지만, 지금까지 우리는 적당한 크기의 시스템에서 시간 초과 오토마타를 사용하여 보수적 근사 모델을 분석하는데 성공했다.
대규모 예제와 함께 사용자를 다루는 것은 시스템이 실행되기 전에 실행 C ++ 모델 시뮬레이션 / 테스트 인터페이스를 사용하는 능력을 갖는다. 우리는 다수의 문제를 해결하기 위해 유전 적 알고리즘을 확장 할 계획이다.
꿈은 하루 미만 시스템의 공식 모델 및 분석을 제공하는 시뮬레이션과 검증 프레임 워크입니다. 꿈의 시스템은 간단한 방법으로 XML을 사용하여 지정됩니다. 나는 당신이 도움이되기를 바랍니다.
실시간 미들웨어 (DRE) 시스템 임베디드 분산 실시간 주요 기능 및 서비스 품질 (QoS) 요구 사항을 지원하는 신뢰할 수있는 효율적인 플랫폼을 제공합니다.
DRE 시스템 개발의 주요 과제는 안전 시스템 구성 요소의 구성과 대상 플랫폼에 기능 사양을 매핑을 포함한다. 모델 기반 기술은 디자인 타임 분석을 가능하게하고 엔드 - 투 - 엔드하는 서비스 품질 특성, 예측 및 성능 측정을 특정 플랫폼에 커밋하기 전에 관련하여 설계 대안의 급속한 평가하는 수단을 제공함으로써 이러한 문제를 해결하는 데 도움이.
분석 방법 드림 임베디드 분산 실시간 (DRE) 시스템 임베디드 분산 실시간의 특성을 서비스 (QoS)을 복수의 품질을 최적화하기위한 오픈 소스 도구 및 방법입니다. 프로젝트는 기반 미들웨어 DRE 시스템의 검증, 개발, 구성 및 통합을 자동화하는 실시간 미들웨어 공식적인 분석 방법의 실제적인 적용에 초점을 맞추고있다.
이 릴리스의 새로운 기능 :
·이 버전은 적어도 2 ~ 3 배의 뛰어난 성능 향상의 결과로, 개선 된 모델 검사 성능을 위해 몇 가지 최적화를 구현했습니다.
· 현재 릴리스에 존재하는 알려진 메모리 누수가 없습니다.
· 균형 AVL 트리는 지금 모델 검사 방법의 여러 단계에서, 지수 속도 향상의 결과로 사용된다.
· XML 스키마 검증이 구현되었습니다.
· 검증 시간보고는 시뮬레이션 속도에 데이터를 포함하도록 업그레이드되었다.
· 임의의 시뮬레이션 기반의 테스트는 이제 마감이 놓친 실행 추적을 제공한다.
최근에 본 소프트웨어를
ac97.zip 29 Oct 15
Copper 12 Dec 14
My Tattoo ID 11 Jul 15
django_tfa 15 Apr 15
Bynamite 27 Apr 18
NetGraph 31 Mar 18
pc62.zip 30 Oct 15
iFind 23 Sep 15
YouChoob 21 Jan 15
win98_jp.zip 7 Dec 15
카테고리별로 검색
인기있는 소프트웨어
Puppy Linux "Slacko" 28 Apr 17
Macpup 19 Feb 15
Elementary OS 17 Aug 18
PyVISA 3 Jun 15
Lantern 3 Jun 15
Xubuntu 16 Aug 18
Simple Scan 2 Dec 17
DREAM Tool
유사한 소프트웨어
코멘트 DREAM Tool
최근에 본 소프트웨어를
ac97.zip 29 Oct 15
Copper 12 Dec 14
My Tattoo ID 11 Jul 15
django_tfa 15 Apr 15
Bynamite 27 Apr 18
NetGraph 31 Mar 18
pc62.zip 30 Oct 15
iFind 23 Sep 15
YouChoob 21 Jan 15
win98_jp.zip 7 Dec 15
카테고리별로 검색
인기있는 소프트웨어
Sophos UTM 17 Feb 15
KAVClient 3 Jun 15
Elementary OS 17 Aug 18
Kismet 17 Feb 15
Psiphon 20 Feb 15
DDRescue-GUI 17 Aug 18
Xplore 3 Jun 15
댓글을 찾을 수 없습니다