
10.02.2012
FMOODS & FORTE 2012
FMOODS & FORTE 2012
IFIP International Conference on Formal Techniques for Distributed Systems joint international...
Abgeschlossene Projekte
- SFB 614: Teilprojekt B1 Entwurfstechniken
Der Sonderforschungsbereich 614 ,,Selbstoptimierende Systeme des Maschinenbaus" hat sich zum Ziel gesetzt, Methoden und Werkzeuge für die Entwicklung selbstoptimierender Systeme des Maschinenbaus zu entwickeln. DasTeilprojekt B1 für Entwurfstechniken befasst sich dabei mit UML-basierten Entwurfstechniken für selbstoptimierende Multiagentensysteme (MAS) mit mechatronischen Komponenten. - Performancebewertung von Modellen für automotive Software (PerMAS)
Die im Kontext von automotiven Systemen entwickelte Software wird zunehmend komplexer. Mit der steigenden Komplexität wird es schwieriger die Korrektheit der entwickelten Systeme, speziell bezogen auf Echtzeit Anforderungen, sicher zu stellen. Im Rahmen des Projektes wurde in Kooperation mit der dSPACE GmbH sowie der INCHRON GmbH Möglichkeiten untersucht, wie Echtzeit Anforderungen frühzeitig im Entwicklungsprozess evaluiert werden können. - MATLAB Simulink/Stateflow Analysis and Transformation Environment (MATE)
Das MATE-Projekt beschäftigt sich mit der automatischen Prüfung von Modellierungsrichtlinien in MATLAB Simulink Modellen. Verletzungen von Richtlinien sollen durch Modelltransformationen beseitigt werden. - Adaptive Access Right Management (AARM)
Das Projekt AARM betrachtet Experimente, um das Potential für eine (teil-)automatisierte Adaption von Benutzerrechten auf Basis von Nutzungsinformationen zu eruieren.


