DREAM Tool 0.7 Beta
DREAM 도구는 여러 (실시간, 소비 전력, 리소스) 제약 조건을 표현할 수있는 공통 시맨틱 도메인을 제공하는 것을 목적으로 일반적인 프레임 워크이다.의미 도메인은 의미 하이브리드 오토마타의 형식주의에 고정 된 실행 C ++ 모델이 있습니다. 계산의 모델은 하이브리드 자동 장치에 해당하지만, 지금까지 우리는 적당한 크기의 시스템에서 시간 초과 오토마타를 사용하여 보수적 근사 모델을 분석하는데 성공했다.대규모 예제와 함께 사용자를 다루는 것은 시스템이...