| UML-basierte Modellierung und Entwurf von technologischen Prozessen Zielsetzung dieses Forschungsvorhabens ist, den Entwurfsprozess für eingebettete Industriesteuerungen mit modernen Softwareengineering-Methoden zu verknüpfen und deren Zuverlässigkeit durch eine automatische Analyse der Auswirkungen potenzieller Fehler im System zu verbessern. | Projektleitung:
Prof. a.D. Dr. Dr. h.c. Mario Dal Cin
Beteiligte:
Dipl.-Inf. Konstantinos Kosmidis, Dipl.-Inf. David Kreische
Laufzeit: 1.1.2000 - 31.12.2001
Förderer:
Deutscher Akademischer Austauschdienst
Mitwirkende Institutionen:
TWU Budapest, Dept. of Measurement and Information Systems
| | Publikationen |
|---|
| Kosmidis, Konstantinos ; Huszerl, G.: UML Extensions for Quantitative Analysis. In: LMU-München, Insitut für Informatik (Hrsg.) : Workshop Proceedings LMU-München, Insitut für Informatik (Workshop Dynamic Behaviour in UML Models: Semantic Questions, UML 2000 York, UK 2.10. 2000). 2000, S. 70-75. | | Kosmidis, Konstantinos ; Sand, Matthias: Assurance Analysis by Scenario-based UML Modeling. In: - (Hrsg.) : Fast Abstracts Proc. High-Assurance System Engineering Symposium HASE 2001 (High-Assurance System Engineering Symposium HASE 2001 Boca Raton 22.-24.10.2001). 2001, S. -. | | Dal Cin, Mario ; Kosmidis, Konstantinos ; Ioannid, A.: Modeling Requirements for Dependable Systems with UML Statecharts. In: . (Hrsg.) : Fast Abstracts Proc. DSN-2001 The International Conference on Dependable Systems and Networks (DSN-2001 The International Conference on Dependable Systems and Networks Göteborg 01.-04.06.01). 2001, S. B112-113. |
|