Selected Publications

2007

•  A. Balogh, D. Varró The Model Transformation Language of the VIATRA2 Framework In Science of Programming , October 2007
  BibTeX

•  Peter Bokor and Marco Serafini and Aron Sisak and Andras Pataricza and Neeraj Suri  Sustaining Property Verification of Synchronous Dependable Protocols Over Implementation  In Proc. of 10th IEEE High Assurance Systems Engineering Symposium , 2007
  BibTeX

•  László Gönczy, Reiko Heckel, and Dániel Varró. Model-based testing of service infrastructure components. In Petrenko et al., editor, Proc. of TESTCOM/FATES 2007, volume 4581 of Lecture Notes in Computer Science, Tallinn, Estiona , 2007. Springer.
  BibTeX

  Abstract: We present a methodology for testing service infrastructure components described in a high-level (UML-like) language. The technique of graph transformation is used to precisely capture the dynamic aspect of the protocols which is the basis of state space generation. Then we use model checking techniques to find adequate test sequences for a given requirement. To illustrate our approach, we present the case study of a fault tolerant service broker which implements a well-known dependability pattern at the level of services. Finally, a compact Petri Net representation is derived by workflow mining techniques to generate faithful test cases in a non-deterministic, distributed environment. Note that our methodology is applicable at the architectural level rather than for testing individual service instances only

•   A. Kövi, D. Varró An Eclipse-Based Framework for AIS Service Configurations In Service Availability, 4th International Service Availability Symposium, ISAS 2007, Durham, NH, USA, May 21-22, 2007, Proceedings
  BibTeX

  Abstract: In the paper, we propose an Eclipse-based model-driven framework to support an integrated development, analysis and deployment of Application Interface Specification (AIS) service configurations. Service configurations are first captured by platform-independent models (PIM), which directly correspond to the AIS standard itself, and abstract from vendor-specific details. Specificities of vendor-specific AIS middleware are incorporated into platform-specific models (PSM), which are derived from PIMs by automatic model transformations. Model analysis can be carried out either on the PIM-level to ensure standard compliance of a given service configuration, or on the PSM-level to detect availability bottlenecks by formal analysis early in the service configuration design. Finally, deployment descriptors of the selected AIS platform are generated from verified service configurations by automatic code generation techniques.

•  M. Anastasopoulos, A. Balogh Model-driven development of Particle System Families In Proc. of the 4th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software. (MOMPES 2007) , 2007
  BibTeX

•  Máté Kovács, Dániel Varró and László Gönczy. Formal modeling of BPEL workflows including fault and compensation handling In EFTS '07: Proceedings of the 2007 workshop on Engineering fault tolerant systems , Dubrovnik, Croatia, September 4, 2007
  BibTeX

  Abstract: Electronically executed business processes are frequently implemented using the Business Process Execution Language (BPEL). These workflows may be in control of crucial business processes of an organization, in the same time existing model checking approaches are still immature i.e. they either seem to loose to much information during the generation of the analysis model, or the state space explosion prevents from model checking. We present a formal modeling technique for BPEL workflows including fault and compensation handling providing exact semantics with a state space size that allows for model checking. Additionally, error propagation among variables is supported so the effect of a faulty activity on the entire process can be examined.

•  H. Waeselynck, Z. Micskei, M. D. Nguyen, N. Riviere: Mobile Systems from a Validation Perspective: a Case Study. In Proceedings of 6th International Symposium on Parallel and Distributed Computing (ISPDC 2007), IEEE Press, Hagenberg, Austria, July 5-8, 2007.
  BibTeX

  Abstract: Advances in wireless networking have yielded the development of mobile applications. However, sound technology to specify, design and validate such applications is still to be investigated. In order to exemplify some of the challenges that are raised, this paper reports on a case study: a group membership protocol for ad hoc networks. The protocol has been analyzed by reviewing the specification and the code, and then by testing the implementation. The outcomes provides us with hints for research direction.

•  Z. Micskei, I. Majzik, F. Tam: Comparing Robustness of AIS-Based Middleware Implementations, In Proceedings of International Service Availability Symposium (ISAS 2007), LNCS 4526, Durham, New Hampshire, USA, May 21-22, 2007.
  BibTeX

  Abstract: To enable the interoperability of high availability (HA) middleware systems the Service Availability Forum has released a set of open specifications. The benefit of having open specifications is the choice of implementations available from different vendors. When one chooses a product, one of the selection criteria (besides performance) is the robustness of the implementation, as the crashing or hanging of such a HA middleware causes the failure of the whole system. The challenge is to develop the appropriate technology for measuring and comparing robustness of HA middleware implementations. Based on our earlier results, we present a set of automatic testing tools and a benchmark suite constructed using these tools. We demonstrate the robustness testing approach by comparing the results of benchmarking carried out on three HA middleware implementations.

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

• R. Fajta, P. Domokos and I. Majzik: Adding High Availability Features to Server Applications Using Aspect-Oriented Programming Híradástechnika, the Journal of the Scientific Association for Infocommunications, Vol. LXII, No. 1, pp 56-62, January 2007.
  BibTeX

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

• G. Pintér, Z. Micskei and I. Majzik: Supporting Design and Development of Safety Critical Applications by Model Based Tools In Z. Horváth, L. Kozma, V. Zsók (eds.): Proc. of the 10th Symposium on Programming Languages and Software Tools (SPLST 2007), Dobogókő, Hungary, 14-16 June 2007, pp 61-75, Eötvös Loránd University, 2007. ISBN 978 963 463 925 1
  BibTeX

• I. Majzik, P. Domokos and M. Magyar: Tool-supported Dependability Evaluation of Redundant Architectures in Computer Based Control Systems In E. Schnieder, G. Tarnai (eds.): Proc. FORMS/FORMAT 2007, the 6th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, 25-26 January 2007, Braunschweig, Germany, pp 342-352. GZVB, Braunschweig, Germany, 2007. ISBN 13:978-3-937655-09-3
  BibTeX

•  W. Herzner, R. Schlick, M. Schlager, B. Leiner, A. Balogh, Gy. Csertán, A. Le Guennec, T. Le Sergent, N. Suri, S. Islam, B. Huber Model-Based Development of Distributed Embedded Real-Time Systems with the DECOS Tool-Chain In Proc. of SAE 2007 AeroTech Congress & Exhibition , 2007
  BibTeX

•  A. Patarcza, A. Balogh, J. Rácz Scheduling of Embedded Time-Triggered Systems In Proc. of 2nd Workshop on Engineering Fault-Tolerant Systems , September 2007, Dubrovnik
  BibTeX

•  A. Balogh, A. Patarcza, G. Pintér, A. Sisak, M. Anastasopoulos, J Lee Model-driven Specification, Analysis, and Realization of Assisted Living Systems In Proc. of Regional Conference on Embedded and Ambient Systems {RCEAS 2007}, 22-24. November 2007
  BibTeX

•  A. Balogh, A. Patarcza, Gy. Csertán B. Polgár Model-Based Analysis and Synthesis Methods for Dependable Embedded Systems In Proc. of Regional Conference on Embedded and Ambient Systems {RCEAS 2007}, 22-24. November 2007
  BibTeX

 

---