Research Directions and Competences

  Dependable Systems 

Design, implementation, analysis, and management of computer systems (including computing platforms, IT infrastructures, dependable systems) that are characterized by guaranteed quality of service, reliabilty, high availability, and/or safety

Education related to this field of research:

• Design for Dependability (MSc)
• Autonomous and Fault Tolerant IT Systems (MSc)
• Intelligent System Management (BSc)

Key researchers:

• András Pataricza, DSc, professor
• István Majzik, PhD, associate professor

Selected publications:

• I. Kocsis, Gy. Csertán, P. Pásztor, A. Pataricza: Dependability and Security Metrics in Controlling Infrastructure. In: Second International Conference on Emerging Security Information, Systems and Technologies, pp. 368-374, IEEE Computer Society Press, 2008.
• G. Pintér, H. Madeira, M. Vieira, I. Majzik, A. Pataricza: Integration of OLAP and Data Mining for Analysis of Results from Dependability Evaluation Experiments. In: Int. Journal of Knowledge Management Studies 2:(4), pp. 480-498. 2008
• A. Pataricza: Systematic Generation of Dependability Cases from Functional Models. In: Formal Methods for Automation and Safety in Railway and Automotive Systems (Proc. of Symposium FORMS/FORMAT 2008), L'Harmattan Hongrie, Budapest, 2008.
• G. Pintér, I. Majzik: Error Detection in Control Flow of Event-Driven State Based Applications. In P. Pelliccione, H. Muccini, N. Guelfi, A. Romanovsky (eds.): Software Engineering of Fault Tolerant Systems. Ser. Software Engineering and Knowledge Engineering, Vol. 19, World Scientific Publishing, 2007.
• A. Pataricza: Model-based Dependability Analysis, DSc Thesis, Hungarian Academy of Sciences, Budapest, 2006.

  Model Driven Software Development 

Elaboration of methods, development environments, techniques and tools for the design, development and management of computer systems and software based on precise engineering models and model transformations

Education related to this field of research:

• Model Driven Software Development (MSc)
• System Integration (MSc)
• Foundations of Model-Driven Systems Engineering (PhD)

Key researchers:

• András Pataricza, DSc, professor
• Dániel Varró, PhD, associate professor

Selected publications:

• L. Gönczy, M. Kovács, D. Varró: Modeling and Verification of Reliable Messaging by Graph Transformation Systems. In: Electr. Notes Theor. Comput. Sci., Vol. 175, Nr. 4, pp 37-50, 2007
• D. Varró, A. Balogh: The Model Transformation Language of the VIATRA2 Framework. In: Science of Computer Programming, Vol. 68, Nr. 3, pp 214-234, 2007.
• D. Varró, A. Pataricza: Generic And Meta-transformations For Model Transformation Engineering. In: Lect. Notes Comput. Sci. 3273, pp 290-304, 2004
• L. Baresi, R. Heckel, S. Thöne, D. Varró: Style-based modeling and refinement of service-oriented architectures: A graph transformation-based approach. In: Soft. Syst. Model. 5(2), pp 187-207, 2006.
• D. Varró: Model transformation by example. In: Lect. Notes Comput. Sci. 4199, pp 410-424, 2006.

      Formal Methods     

Application of formal methods for the design, synthesis, analysis, and verification of functional and extra-functional (dependability, performance, safety) properties in computer systems, software, and services

Education related to this field of research:

• Formal Methods (MSc)
• Software Verification Techniques (MSc)
• Software Verification and Validation (PhD)

Key researchers:

• András Pataricza, DSc, professor
• István Majzik, PhD, associate professor
• Tamás Bartha, PhD, associate professor

Selected publications:

• I. Majzik, A. Bondavalli, S. Klapka, T. K. Madsen, D. Iovino: Formal Methods in the Evaluation of a Safe Driver Machine Interface. In G. Tarnai, E. Schnieder (eds): Formal Methods for Automation and Safety in Railway and Automotive Systems. Proc. of Symposium FORMS/FORMAT 2008, Budapest, Hungary, October 9-10, 2008. pp 313-320, L'Harmattan, Budapest, 2008.
• A. Balogh, L. Gönczy, A. Pataricza: Verification and validation of non-functional aspects in enterprise modeling. In Peter Rittgen (ed) „Enterprise Modeling and Computing with UML”, pp 261-303. Idea Group, 2006.
• M. Ferenczi, A. Pataricza, and L. Rónyai, eds. Formal methods in computing. Akadémiai Kiadó, 2005.
• G. Pintér, I. Majzik: Runtime Verification of Statechart Implementations. In R. de Lemos, C. Gacek, A. Romanovsky (eds.): Architecting Dependable Systems III. LNCS-3549, pp 148-172, Springer Verlag, Berlin, 2005.
• I. Majzik, G. Pintér and Z. Micskei: Development of Model Based Tools to Support the Design of Railway Control Applications. In F. Saglietti and N. Oster (eds.): Proc. of the 26th Int. Conference on Computer Safety, Reliability and Security, SAFECOMP 2007, Nuremberg, Germany, pp 430-435, LNCS 4680, Springer Verlag Berlin, 2007.