TY - JOUR AU - Búr, Márton AU - Szilágyi, Gábor AU - Vörös, András AU - Varró, Dániel TI - Distributed graph queries over models@run.time for runtime monitoring of cyber-physical systems JF - INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER J2 - INT J SOFTW TOOLS TECHN TRANSFER VL - 22 PY - 2019 SP - 1 EP - 24 PG - 24 SN - 1433-2779 DO - 10.1007/s10009-019-00531-5 UR - https://m2.mtmt.hu/api/publication/30917749 ID - 30917749 N1 - Department of Electrical and Computer Engineering, McGill University, Montreal, Canada Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary MTA-BME Lendület Cyber-Physical Systems Research Group, Budapest, Hungary Cited By :9 Export Date: 23 May 2022 Correspondence Address: Vörös, A.; Department of Measurement and Information Systems, Hungary; email: vori@mit.bme.hu LA - English DB - MTMT ER - TY - CHAP AU - Búr, Márton AU - Gábor, Szilágyi AU - Vörös, András AU - Varró, Dániel ED - Alessandra, Russo ED - Andy, Schürr TI - Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems T2 - Fundamental Approaches to Software Engineering PB - Springer Netherlands CY - Cham (Németország) SN - 9783319893624 T3 - Lecture Notes in Computer Science, ISSN 0302-9743 ; 10802. PY - 2018 SP - 111 EP - 128 PG - 17 DO - 10.1007/978-3-319-89363-1_7 UR - https://m2.mtmt.hu/api/publication/3397893 ID - 3397893 N1 - MTA-BME Lendület Cyber-Physical Systems Research Group, Budapest, Hungary Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary Department of Electrical and Computer Engineering, McGill University, Montreal, Canada Cited By :9 Export Date: 23 May 2022 Correspondence Address: Búr, M.; MTA-BME Lendület Cyber-Physical Systems Research GroupHungary; email: bur@mit.bme.hu AB - In safety-critical cyber-physical systems (CPS), a service failure may result in severe financial loss or damage in human life. Smart CPSs have complex interaction with their environment which is rarely known in advance, and they heavily depend on intelligent data processing carried out over a heterogeneous computation platform and provide autonomous behavior. This complexity makes design time verification infeasible in practice, and many CPSs need advanced runtime monitoring techniques to ensure safe operation. While graph queries are a powerful technique used in many industrial design tools of CPSs, in this paper, we propose to use them to specify safety properties for runtime monitors on a high-level of abstraction. Distributed runtime monitoring is carried out by evaluating graph queries over a distributed runtime model of the system which incorporates domain concepts and platform information. We provide a semantic treatment of distributed graph queries using 3-valued logic. Our approach is illustrated and an initial evaluation is carried out using an educational demonstrator of CPSs. LA - English DB - MTMT ER - TY - CHAP AU - Vörös, András AU - Búr, Márton AU - Ráth, István Zoltán AU - Horváth, Ákos AU - Micskei, Zoltán Imre AU - Balogh, László AU - Hegyi, Bálint AU - Horváth, Benedek AU - Mázló, Zsolt AU - Varró, Dániel ED - Aaron, Dutle ED - César, Muñoz ED - Anthony, Narkawicz TI - MoDeS3: Model-based Demonstrator for Smart and Safe Cyber-Physical Systems T2 - NASA Formal Methods PB - Springer Netherlands CY - Cham SN - 9783319779348 T3 - Lecture Notes in Computer Science, ISSN 0302-9743 ; 10811. PY - 2018 SP - 460 EP - 467 PG - 7 DO - 10.1007/978-3-319-77935-5_31 UR - https://m2.mtmt.hu/api/publication/3349043 ID - 3349043 N1 - WoS:hiba:000518166700031 2020-12-06 18:41 befoglaló első szerző nem egyezik, befoglaló cím nem egyezik AB - We present MoDeS3, a complex research demonstrator illustrating the combined use of model-driven development, formal verification, safety engineering and IoT technologies for smart and safe cyber-physical systems. MoDeS3 represents a smart transportation system-of-systems composed of a model railway and a crane which may automatically load and unload cargo from trains where both subsystems need to fulfill functional and safety requirements. The demonstrator is built by using the model-based software engineering principle, while the system level safety is ensured by the combined use of design-time and runtime verification and validation techniques. LA - English DB - MTMT ER - TY - CHAP AU - Debreceni, Csaba AU - Bergmann, Gábor AU - Búr, Márton AU - Ráth, István Zoltán AU - Varró, Dániel ED - Bodden, E ED - Schafer, W ED - VanDeursen, A ED - Zisman, A TI - The MONDO Collaboration Framework: Secure Collaborative Modeling over Existing Version Control Systems T2 - ESEC/FSE 2017: PROCEEDINGS OF THE 2017 11TH JOINT MEETING ON FOUNDATIONS OF SOFTWARE ENGINEERING PB - Association for Computing Machinery (ACM) CY - New York, New York SN - 9781450351058 PY - 2017 SP - 984 EP - 988 PG - 5 DO - 10.1145/3106237.3122829 UR - https://m2.mtmt.hu/api/publication/3350095 ID - 3350095 LA - English DB - MTMT ER - TY - CHAP AU - Marton, József AU - Szárnyas, Gábor AU - Búr, Márton ED - Csöndes, Tibor ED - Kovács, Gábor ED - György, Réthy TI - Model-driven engineering of an openCypher engine: using graph queries to compile graph queries T2 - SDL 2017: Model-Driven Engineering for Future Internet PB - Springer Netherlands CY - Cham SN - 9783319680156 T3 - Lecture Notes in Computer Science, ISSN 0302-9743 ; 10567. PY - 2017 SP - 80 EP - 98 PG - 19 DO - 10.1007/978-3-319-68015-6_6 UR - https://m2.mtmt.hu/api/publication/3251678 ID - 3251678 N1 - Conference code: 199479 Cited By :3 Export Date: 7 February 2024 Correspondence Address: Marton, J.; Database Laboratory, Hungary; email: marton@db.bme.hu AB - Graph database systems are increasingly adapted for storing and processing heterogeneous network-like datasets. Many challenging applications with near real-time requirements - such as financial fraud detection, on-the-fly model validation and root cause analysis - can be formalised as graph problems and tackled with graph databases efficiently. However, as no standard graph query language has yet emerged, users are subjected to the possibility of vendor lock-in. The openCypher group aims to define an open specification for a declarative graph query language. However, creating an openCypher-compatible query engine requires significant research and engineering efforts. Meanwhile, model-driven language workbenches support the creation of domain-specific languages by providing high-level tools to create parsers, editors and compilers. In this paper, we present an approach to build a compiler and optimizer for openCypher using model-driven technologies, which allows developers to define declarative optimization rules. LA - English DB - MTMT ER - TY - CHAP AU - Búr, Márton AU - Vörös, András AU - Bergmann, Gábor AU - Varró, Dániel ED - Pataki, Béla TI - Towards Modeling Cyber-Physical Systems From Multiple Approaches T2 - Proceedings of the 24th PhD Mini-Symposium PB - BME Méréstechnika és Információs Rendszerek Tanszék CY - Budapest SN - 9789633132432 PY - 2017 SP - 6 EP - 9 PG - 4 DO - 10.5281/zenodo.291888 UR - https://m2.mtmt.hu/api/publication/3204827 ID - 3204827 LA - English DB - MTMT ER - TY - CONF AU - Búr, Márton AU - Dániel, Varró ED - Ferenc, Rudolf ED - Bánhelyi, Balázs ED - Gergely, Tamás ED - Kertész, Attila ED - Kincses, Zoltán TI - Towards hierarchical and distributed run-time monitors from high-level query languages T2 - The 10th Jubilee Conference of PhD Students in Computer Science (CS2) PB - University of Szeged, Institute of Informatics C1 - Szeged PY - 2016 SP - 16 EP - 16 PG - 1 UR - https://m2.mtmt.hu/api/publication/3180987 ID - 3180987 LA - English DB - MTMT ER - TY - CONF AU - Szárnyas, Gábor AU - Búr, Márton AU - Ráth, István Zoltán ED - Louis, M Rose ED - Tassilo, Horn ED - Filip, Křikava TI - Train Benchmark Case: an EMF-INCQUERY Solution T2 - 8th Transformation Tool Contest 2015 PB - CEUR Workshop Proceedings T3 - CEUR Workshop Proceedings, ISSN 1613-0073 ; 1524. PY - 2015 SP - 157 EP - 166 PG - 9 UR - https://m2.mtmt.hu/api/publication/3023258 ID - 3023258 LA - English DB - MTMT ER - TY - CHAP AU - Búr, Márton AU - Ujhelyi, Zoltán AU - Horváth, Ákos AU - Varró, Dániel ED - Parisi-Presicce, Francesco ED - Westfechtel, Bernhard TI - Local Search-Based Pattern Matching Features in EMF-IncQuery T2 - Graph Transformation PB - Springer Netherlands CY - Cham SN - 9783319211459 T3 - Lecture Notes in Computer Science, ISSN 0302-9743 ; 9151. PY - 2015 SP - 275 EP - 282 PG - 8 DO - 10.1007/978-3-319-21145-9_18 UR - https://m2.mtmt.hu/api/publication/2924871 ID - 2924871 AB - Graph patterns provide a declarative formalism to describe model queries used for several important engineering tasks, such as well-formedness constraint validation or model transformations. As different pattern matching approaches, such as local search or incremental evaluation, have different performance characteristics (smaller memory footprint vs. smaller runtime), a wider range of practical problems can be addressed. The current paper reports on a novel feature of the EMF-IncQuery framework supporting local search-based pattern matching strategy to complement the existing incremental pattern matching capabilities. The reuse of the existing pattern language and query development environment of EMF-IncQuery enables to select the most appropriate strategy separately for each pattern without any modifications to the definitions of existing patterns. Furthermore, a graphical debugger component is introduced that visualizes the execution of the search process, helping to understand how complex patterns behave. This tool paper presents the new pattern matching feature from an end users viewpoint while the scientific details of the pattern matching strategy itself are omitted. The approach is illustrated on a case study of automated identification of anti-patterns over program models created from Java source code. LA - English DB - MTMT ER - TY - CHAP AU - Horváth, Ákos AU - Hegedüs, Ábel AU - Búr, Márton AU - Varró, Dániel AU - Starr, Rodrigo R AU - Mirachi, Samoel ED - IEEE, null TI - Hardware-software allocation specification of IMA systems for early simulation T2 - 33rd Digital Avionics Systems Conference, DASC 2014 PB - IEEE CY - New York, New York SN - 9781479950010 PY - 2014 SP - 4D3-1 EP - 4D3-15 PG - 15 DO - 10.1109/DASC.2014.6979474 UR - https://m2.mtmt.hu/api/publication/2801126 ID - 2801126 LA - English DB - MTMT ER -