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:

Vezető oktatók, kutatók:

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:

Vezető oktatók, kutatók:

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:

Vezető oktatók, kutatók:

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.