Kutatási területek és kompetenciák

  Szolgáltatásbiztos rendszerek 

Megbízható, nagy rendelkezésre állású, biztonságkritikus, garantált szolgáltatásminőségű rend­sze­rek (számítási platformok, IT infrastruktúrák, beágyazott rendszerek) tervezése, meg­valósítása, felügyelete és alkalma­zástechnikája.

Oktatott tárgyak az adott területen:

• Szolgáltatásbiztonságra tervezés
• Autonóm és hibatűrő informatikai rendszerek
• Intelligens rendszerfelügyelet

Vezető oktatók, kutatók:

• Dr. Pataricza András egyetemi tanár
• dr. Majzik István egyetemi docens

Jellegzetes publikációk:

• 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.

  Modellalapú szoftvertervezés 

Módszertanok, fejlesztési környezetek és technikák kidolgozása számítógépes rendszerek illetve szoftverek precíz mérnöki modellek és modell-transzformációk segítségével történő tervezéséhez, fejlesztéséhez és projektvezetéséhez.

Oktatott tárgyak az adott területen:

• Modellalapú szoftvertervezés
• Szolgáltatásintegráció
• A modellvezérelt tervezés alapjai

Vezető oktatók, kutatók:

• Dr. Pataricza András egyetemi tanár
• dr. Varró Dániel egyetemi docens

Jellegzetes publikációk:

• 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.

      Formális módszerek     

Formális módszerek alkalmazása számítógépes rendszerek, szolgáltatások és szoftverek tervezése, megvalósítása, analízise, valamint funkcionális, megbízhatósági, biztonsági és teljesítmény követelményeinek verifikációja során.

Oktatott tárgyak az adott területen:

• Formális módszerek
• Szoftverellenőrzési technikák
• Szoftver verifikáció és validáció

Vezető oktatók, kutatók:

• Dr. Pataricza András egyetemi tanár
• dr. Majzik István egyetemi docens

Jellegzetes publikációk:

• 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ászló 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.
• Vince Molnár, András Vörös, Dániel Darvas, Tamás Bartha, and István Majzik. Component-wise incremental LTL model checking. Formal Aspects of Computing, 28(3):345-379, 2016.
• Kristóf Marussy, Attila Klenik, Vince Molnár, András Vörös, István Majzik, and Miklós Telek. Efficient decomposition algorithm for stationary analysis of complex stochastic Petri net models. In Fabrice Kordon and Daniel Moldt, editors, Application and Theory of Petri Nets and Concurrency, volume 9698 of Lecture Notes in Computer Science, pp. 281-300. Springer, 2016.