Minisy@Dmis 2017
Total Page：16
File Type：pdf, Size：1020Kb
PROCEEDINGS OF THE 24TH PHDMINI-SYMPOSIUM (MINISY@DMIS 2017) JANUARY 30–31, 2017 BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS BUILDING I BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS DEPARTMENT OF MEASUREMENT AND INFORMATION SYSTEMS c 2017 Department of Measurement and Information Systems, Budapest University of Technology and Economics. For personal use only – unauthorized copying is prohibited. Head of the Department: Dr. Tamas´ Daboczi´ Conference chairman: Bela´ Pataki Organizers: Csaba Debreceni Andras´ Szabolcs Nagy Andras´ Pataki Tamas´ Toth´ Homepage of the Conference: http://minisy.mit.bme.hu/ Sponsored by: Schnell Laszl´ o´ Foundation ISBN 978-963-313-243-2 FOREWORD This proceedings is a collection of the lectures of the 24th Minisymposium held at the Department of Measurement and Information Systems of the Budapest University of Technology and Economics. In the previous years the main purpose of these symposiums was to give an opportunity to the PhD students of our department to present a summary of their work done in the preceding year. It is an interesting additional benefit, that the students get some experience: how to organize such events. Beyond this actual goal, it turned out that the proceedings of our symposiums give an interesting overview of the research and PhD education carried out in our department. Last year the scope of the Minisymposium had been widened; foreign partners and some of the best MSc students were also involved. This was a real benefit, therefore, this year we have kept this widened scope. The lectures reflect partly the scientific fields and work of the students, but we think that an insight into the research and development activity of our and partner departments is also given by these contribu- tions. Traditionally our activity was focused on measurement and instrumentation. The area has slowly changed, widened during the last few years. New areas mainly connected to embedded information systems, new aspects e.g. dependability and security are now in our scope of interest as well. Both theoretical and practical aspects are dealt with. The lectures are at different levels: some of them present the very first results of a research, others contain more new results. Some of the first year PhD students have been working on their fields only for half a year. Therefore, there are two types of papers. One is a short independent publication; it is published in the proceedings. The other is simply a summary of the PhD student’s work. This second one is intended to give an overview of the research done during the last year; therefore, it could contain shorter or longer parts of the PhD student’s other publications. It does not necessarily contain new results, which have not been published earlier. It is clearly indicated in each paper that which category it belongs to. To avoid copyright conflicts, these papers are not published in the proceedings. Anyone interested, please contact the author. During this twenty-three-year period there have been shorter or longer cooperation between our de- partment and some universities, research institutes, organizations and firms. Some PhD research works gained a lot from these connections. In the last year the cooperation was especially fruitful with the European Organization for Nuclear Research (CERN), Geneva, Switzerland; Vrije Universiteit Brussel Dienst ELEC, Brussels, Belgium; Robert Bosch GmbH., Stuttgart, Germany; Department of Engineer- ing, Universita` degli Studi di Perugia, Italy; National Instruments Hungary Kft., Budapest; University of Innsbruck, Austria; University of Geneva, Italy; University of Florence, Italy. We hope that similarly to the previous years, also this Minisymposium will be useful for the lecturers, for the audience and for all who read the proceedings. Budapest, January, 2017 Bela´ Pataki Chairman of the PhD Mini-Symposium 2 LIST OF PARTICIPANTS Participant Supervisor Programme Bur,´ Marton´ Varro,´ Daniel´ PhD Darvas, Daniel´ Majzik, Istvan´ PhD Debreceni, Csaba Varro,´ Daniel´ PhD Farkas, Rebeka Hajdu, Akos´ MSc Ferencz, Balint´ Kovacsh´ azy,´ Tamas´ PhD Graics, Bence Molnar,´ Vince BSc Gujgiczer, Anna and Elekes, Marton´ Vor¨ os,¨ Andras´ BSc Hadhazi,´ Daniel´ Horvath,´ Gabor´ PhD Hajdu, Akos´ Micskei, Zoltan´ PhD Hajdu, Csaba Daboczi,´ Tamas´ PhD Hausler,¨ Martin Breu, Ruth PhD Honfi, David´ Micskei, Zoltan´ PhD Klenik Attila Pataricza Andras´ MSc Klikovits, Stefan Gonzalez-Berges, Manuel PhD Molnar,´ Vince Majzik, Istvan´ PhD Nagy, Andras´ Szabolcs Varro,´ Daniel´ PhD Palko,´ Andras´ Sujbert, Laszl´ o´ BSc Sallai, Gyula Toth,´ Tamas´ BSc Schiavone, Enrico Bondavalli, Andrea PhD Schoukens, Maarten Rolain, Yves Post PhD Semerath,´ Oszkar´ Varro,´ Daniel´ PhD Szarnyas,´ Gabor´ Varro,´ Daniel´ PhD Szilagyi,´ Gabor´ Vor¨ os,¨ Andras´ MSc Toth,´ Tamas´ Majzik, Istvan´ PhD Virosztek, Tamas´ Kollar,´ Istvan´ PhD Zoppi, Tommaso Bondavalli, Andrea PhD 4 PAPERS OF THE MINI-SYMPOSIUM Author Title Page Bur,´ Marton´ Towards Modeling Cyber-Physical Systems From 6 Multipe Viewpoints Darvas, Daniel´ Well-Formedness and Invariant Checking of 10 PLCspecif Specifications Debreceni, Csaba Approaches to Identify Object Correspondences Between 14 Source Models and Their View Models Farkas, Rebeka Activity-Based Abstraction Refinement for Timed Systems 18 Ferencz, Balint´ Effects of Memory Errors in IEEE 1588 Clock Networks ** Graics, Bence Formal Compositional Semantics for Yakindu Statecharts 22 Gujgiczer, Anna and Elekes, Marton´ Towards Model-Based Support for Regression Testing 26 Hadhazi,´ Daniel´ Spectral Leakage in Matrix Inversion Tomosynthesis 30 Hajdu, Akos´ Exploratory Analysis of the Performance of a 34 Configurable CEGAR Framework Hajdu, Csaba Possibilities for Implementing a Signal Model 38 Within a Fourier Analyzer Hausler,¨ Martin Sustainable Management of Versioned Data 42 Honfi, David´ User-defined Sandbox Behavior for 46 Dynamic Symbolic Execution Klenik, Attila Performance Benchmarking Using Software-in-the-Loop ** Klikovits, Stefan Towards Language Independent Dynamic Symbolic Execution 50 Molnar,´ Vince Constraint Programming with 54 Multi-valued Decision Diagrams: A Saturation Approach Nagy, Andras´ Szabolcs Effects of Graph Transformation Rules to 58 Design Space Exploration Problems Palko,´ Andras´ Enhanced Spectral Estimation Using FFT in Case of Data Loss 62 Sallai, Gyula Boosting Software Verification with Compiler Optimizations 66 Schiavone, Enrico Securing Critical Systems through 70 Continuous User Authentication and Non-repudiation Schoukens, Maarten Block-Oriented Identification using 74 the Best Linear Approximation: Benefits and Drawbacks Semerath,´ Oszkar´ Towards the Evaluation of ** Graph Constraint over Partial Models Szarnyas,´ Gabor´ Formalizing openCypher Graph Queries in Relational Algebra ** Szilagyi,´ Gabor´ Distributed Runtime Verification of 78 Cyber-Physical Systems Based on Graph Pattern Matching Toth,´ Tamas´ Timed Automata Verification using Interpolants 82 Virosztek, Tamas´ Theoretical Limits of Parameter Estimation ** Based on Quantized Data Zoppi, Tommaso Executing Online Anomaly Detection in 86 Complex Dynamic Systems The research reports indicated by * are not published in this volume. To gain access, please contact the organizers or the authors. 5 Towards Modeling Cyber-Physical Systems From Multiple Approaches Marton´ Bur´ 1,2, Andras´ Vor¨ os¨ 1,2,Gabor´ Bergmann1,2,Daniel´ Varro´1,2,3 1Budapest University of Technology and Economics, Department of Measurement and Information Systems, Hungary 2MTA-BME Lendulet¨ Research Group on Cyber-Physical Systems, Hungary 3McGill University, Department of Electrical and Computer Engineering, Canada Email: bur, vori, bergmann, varro @mit.bme.hu { } Abstract—Cyber-physical systems are gaining more and more Models created at design time can be subject to traditional importance even in critical domains, where model-based develop- verification techniques. They can guarantee the correctness of ment and runtime monitoring is becoming an important research the system design. In contrast, runtime techniques analyze the area. However, traditional approaches do not always provide the suitable toolset to model their dynamic characteristics. In runs of the system during its operation and they can reveal this paper, we aim to overview and highlight the strengths errors in the real life implementation. and limitations of existing runtime and design time modeling Our approach is similar to the one of model-driven engi- techniques that can help runtime monitoring and verification neering (MDE) that facilitates problem description by utilizing from the viewpoint of dynamic cyber-physical systems. We domain specific languages such as domain specific models. In evaluated instance modeling, metamodeling, and metamodeling with templates, and provided example use-case scenarios for these terms of this paper models are considered as typed graphs. approaches. We also overview the applicability of SysML in these In this paper we introduce our envisioned approach for contexts. modeling dynamically changing, extensible cyber-physical systems. We aim to overview possible model-based approaches I. INTRODUCTION for IoT/cyber-physical system development, and will investi- Critical cyber-physical systems (CPS) are appearing at our gate how these techniques can provide support for runtime everyday life: healthcare applications, autonomous cars and modeling of such systems. smart robot and transportation systems are becoming more and more widespread. However, they often have some critical functionality: