MARZENIE (oprogramowanie)

Distributed Real-time Embedded Analysis Method (DREAM) to niezależne od platformy narzędzie typu open source do weryfikacji i analizy rozproszonych systemów czasu rzeczywistego i systemów wbudowanych (DRE), które koncentruje się na praktycznym zastosowaniu weryfikacji formalnej i analizy czasowej do rzeczywistych -czasowe oprogramowanie pośrednie . DREAM obsługuje formalną weryfikację harmonogramowania w oparciu o automaty zadaniowo-czasowe przy użyciu kontrolera modeli Uppaal i zestawu narzędzi Verimag IF, a także losowe testowanie komponentów czasu rzeczywistego za pomocą symulatora zdarzeń dyskretnych. DREAM jest rozwijany w Center for Embedded Computer Systems na University of California, Irvine , we współpracy z naukowcami z Vanderbilt University .

Linki zewnętrzne