|
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. | Project manager: Prof. a.D. Dr. Dr. h.c. Mario Dal Cin
Project participants: Dipl.-Inf. Konstantinos Kosmidis, Dipl.-Inf. David Kreische
Duration: 1.1.2000 - 31.12.2001
Sponsored by: Deutscher Akademischer Austauschdienst
Mitwirkende Institutionen: TWU Budapest, Dept. of Measurement and Information Systems
| Publications |
---|
Kosmidis, Konstantinos ; Huszerl, G.: UML Extensions for Quantitative Analysis. In: LMU-München, Insitut für Informatik (Ed.) : 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, pp 70-75. | Kosmidis, Konstantinos ; Sand, Matthias: Assurance Analysis by Scenario-based UML Modeling. In: - (Ed.) : Fast Abstracts Proc. High-Assurance System Engineering Symposium HASE 2001 (High-Assurance System Engineering Symposium HASE 2001 Boca Raton 22.-24.10.2001). 2001, pp -. | Dal Cin, Mario ; Kosmidis, Konstantinos ; Ioannid, A.: Modeling Requirements for Dependable Systems with UML Statecharts. In: . (Ed.) : 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, pp B112-113. |
Institution: Chair of Computer Science 3 (Hardware Architectures)
|
|
|