UML Based Process-modelling
Tanszéki projektvezető
professor emeritus
Szoba: IB420
Tel.:
+36 1 463-3595 Email: pataric (*) mit * bme * hu |
Tanszéki résztvevők
assistant lecturer
Tel.:
+36 1 463- Email: csertan (*) mit * bme * hu |
mesteroktató
Szoba: IB417
Tel.:
+36 1 463-3586 Email: huszerl (*) mit * bme * hu |
habilitated associate professor
Szoba: IB421
Tel.:
+36 1 463-3598 Email: majzik (*) mit * bme * hu |
professor emeritus
Szoba: IB420
Tel.:
+36 1 463-3595 Email: pataric (*) mit * bme * hu |
Contact information
Bemutatás
The aim of the project is harmonising the design process of embedded industrial control systems and the modern software engineering methods, as well as promoting the reliability of these systems by automatic analysis of the effects of potentially arising faults. Our goal is the extension of the current knowledge in the field of fault modelling, together with contribution to the qualitative and quantitative reliability analysis. The present project focuses on the UML (Unified Modelling Language), a new technology of software design. The main goal is the qualitative and quantitative estimation of the performance and reliability of so-called embedded industrial control systems, since these systems raise - as compared to pure information processing systems - new and theoretically unsolved questions. The diversity of components being used in these systems exceeds the diversity of the components used in common IT systems significantly. Accordingly, the typical models of these systems have strongly heterogen structures, what also makes the numerical evaluation structurally complex. The complexity problem gets more dominant, when considering the fault models necessary to the computation of reliability attributes. The project aims at developing methods for building peculiar fault models of industrial processes in UML so that an expert of the target technology can model these systems without special knowledge in informatics, and so that the models describing the nominal performance of the system in fault-free cases and the degraded performance in case of any supposed faults can be managed efficiently, and the effects of potential faults can be foretold as accurately as possible. In the first year we work on the issues of modelling embedded industrial control systems, and in the second year we implement and evaluate the transformations for qualitative and quantitative analysis.