Institute of Computer Science

11/22/2016

12:12 PM Produktionzelle Support #453 (In Progress): Def. System Komponenten

11:59 AM Produktionzelle Support #456: Install & Konfigurieren Tools

Oscar Machado Quintela wrote:
> SystemC & UPPAAL SMC &STATE

11:53 AM Produktionzelle Feature #466 (New): Impl. Result Checker/ Invarianten Prüfung

Model-Checking

11:52 AM Produktionzelle Feature #465 (New): Impl. des Restrukturierungsalgorithmus

Algorithmus liefert eine neue Rollenverteilung für das Managed System

11:49 AM Produktionzelle Feature #464 (New): Impl. Abstraktes Modell MAPE-Loop

Lösungsvorschlag: Formal Models for Analysing Dynamic Adaptation Behavior in Real-Time Systems

11:47 AM Produktionzelle Feature #463 (New): Impl. Adaptation Rules (UPPAAL)

11:45 AM Produktionzelle Feature #462 (New): Trans. Managed System to UPPAL ohne O/C-TM

STATE

11:42 AM Produktionzelle Feature #461 (New): Impl. Managed System ohne O/C

11:38 AM Produktionzelle Support #459 (New): Def. Knowledge & Knowledge-Parameter

11:37 AM Produktionzelle Support #458 (New): Def. Control-Parameter