TY - CHAP AU - Balogh, András AU - Bergmann, Gábor AU - Csertán, György AU - Gönczy, László AU - Horváth, Ákos AU - Majzik, István AU - Pataricza, András AU - Polgár, Balázs AU - Ráth, István Zoltán AU - Varró, Dániel AU - Varró, Gergely György ED - Engels, Gregor ED - Lewerentz, Claus ED - Schäfer, Wilhelm ED - Schürr, Andy ED - Westfechtel, Bernhard TI - Workflow-Driven Tool Integration Using Model Transformations T2 - Graph Transformations and Model-Driven Engineering PB - Springer Netherlands CY - Berlin SN - 9783642173226 T3 - Lecture Notes in Computer Science, ISSN 0302-9743 ; 5765. PY - 2010 SP - 224 EP - 248 PG - 25 DO - 10.1007/978-3-642-17322-6_11 UR - https://m2.mtmt.hu/api/publication/2663518 ID - 2663518 N1 - Admin megjegyzés-23885539 #JournalID1# Name: GRAPH TRANSFORMATIONS AND MODEL-DRIVEN ENGINEERING ISSN: 0302-9743 #JournalID2# Megjegyzés-23929243 UR: http://www.scopus.com/inward/record.url?eid=2-s2.0-78649516023&partnerID=40&md5=ab192c1d1b126c7649accf5f612583f3 AB - The design of safety-critical systems and business-critical services necessitates to coordinate between a large variety of tools used in different phases of the development process. As certification frequently prescribes to achieve justified compliance with regulations of authorities, integrated tool chain should strictly adhere to the development process itself. In order to manage complexity, we follow a model-driven approach where the development process is captured using a precise domain-specific modeling language. Each individual step within this process is represented transparently as a service. Moreover, to carry out individual tasks, systems engineers are guided by semi-automated transformation steps and well-formedness constraint checking. Both of them are formalized by graph patterns and graph transformation rules as provided by the Viatra2 framework. In our prototype implementation, we use the popular JBPM workflow engine as orchestration means between different design and verification tools. We also give some insights how this tool integration approach was applied in recent projects. LA - English DB - MTMT ER - TY - JOUR AU - Bergmann, Gábor AU - Horváth, Ákos AU - Ráth, István Zoltán AU - Varró, Dániel AU - Balogh, András AU - Z, Balogh AU - A, Ökrös TI - Incremental Evaluation of Model Queries over EMF Models JF - LECTURE NOTES IN COMPUTER SCIENCE J2 - LNCS VL - 6394 PY - 2010 SP - 76 EP - 90 PG - 15 SN - 0302-9743 DO - 10.1007/978-3-642-16145-2_6 UR - https://m2.mtmt.hu/api/publication/2660520 ID - 2660520 LA - English DB - MTMT ER - TY - JOUR AU - Islam, S AU - Suri, N AU - Balogh, András AU - Csertán, György AU - Pataricza, András TI - An optimization based design for integrated dependable real-timeembedded systems JF - DESIGN AUTOMATION FOR EMBEDDED SYSTEMS J2 - DES AUTOM EMBED SYST VL - 13 PY - 2009 IS - 4 SP - 245 EP - 285 PG - 41 SN - 0929-5585 DO - 10.1007/s10617-009-9041-7 UR - https://m2.mtmt.hu/api/publication/2651136 ID - 2651136 N1 - Megjegyzés-23929746 Source: Scopus UR: http://www.scopus.com/inward/record.url?eid=2-s2.0-70450227474&partnerID=40&md5=ae2f1b041230f21588ec22073e837925 AB - Moving from the traditional federated design paradigm, integration of mixed-criticality software components onto common computing platforms is increasingly being adopted by automotive, avionics and the control industry. This method faces new challenges such as the integration of varied functionalities (dependability, responsiveness, power consumption, etc.) under platform resource constraints and the prevention of error propagation. Based on model driven architecture and platform based design's principles, we present a systematic mapping process for such integration adhering a transformation based design methodology. Our aim is to convert/transform initial platform independent application specifications into post integration platform specific models. In this paper, a heuristic based resource allocation approach is depicted for the consolidated mapping of safety critical and non-safety critical applications onto a common computing platform meeting particularly dependability/fault-tolerance and real-time requirements. We develop a supporting tool suite for the proposed framework, where VIATRA (VIsual Automated model TRAnsformations) is used as a transformation tool at different design steps. We validate the process and provide experimental results to show the effectiveness, performance and robustness of the approach. LA - English DB - MTMT ER - TY - GEN AU - Eila, Ovaska AU - Balogh, András AU - Sergio, Campos AU - Adrian, Noguero AU - Pataricza, András AU - Kari, Tiensyrja AU - Josetxo, Vicedo ED - Eila, Ovaska TI - Model and Quality Driven Embedded Systems Engineering PY - 2009 SP - 1 EP - 211 PG - 211 UR - https://m2.mtmt.hu/api/publication/2644741 ID - 2644741 LA - English DB - MTMT ER - TY - CONF AU - Pataricza, András AU - Balogh, András AU - Ráth, István Zoltán TI - Automated verification and validation of domain specific languages and their applications T2 - Proceedings of the 4th World Congress for Software Quality PY - 2008 SP - 1 EP - 6 PG - 6 UR - https://m2.mtmt.hu/api/publication/2647581 ID - 2647581 LA - English DB - MTMT ER - TY - CHAP AU - Balogh, András AU - Pataricza, András AU - Pintér, Gergely AU - Sisak, Áron AU - Michalis, Anastasopoulos AU - Jaejoon, Lee ED - Varga, Attila K. ED - Vásárhelyi, József ED - Ladislav, Samuelis TI - Model-driven Specification, Analysis, and Realization of Assisted Living Systems T2 - Proceedings of Regional Conference on Embedded and Ambient Systems : RCEAS 2007 : selected papers PB - John von Neumann Society for Computer Science CY - Budapest SN - 9789638431981 PY - 2008 SP - 115 EP - 122 PG - 8 UR - https://m2.mtmt.hu/api/publication/2615233 ID - 2615233 LA - English DB - MTMT ER - TY - CHAP AU - Balogh, András AU - Pataricza, András AU - Csertán, György AU - Polgár, Balázs ED - Varga, Attila K. ED - Vásárhelyi, József ED - Ladislav, Samuelis TI - Model-Based Analysis and Synthesis Methods for Dependable Embedded Systems T2 - Proceedings of Regional Conference on Embedded and Ambient Systems : RCEAS 2007 : selected papers PB - John von Neumann Society for Computer Science CY - Budapest SN - 9789638431981 PY - 2008 SP - 123 EP - 130 PG - 8 UR - https://m2.mtmt.hu/api/publication/2615232 ID - 2615232 LA - English DB - MTMT ER - TY - CHAP AU - Balogh, András ED - [s n], null TI - Verification of Hardware-Software Integration Processes T2 - Proceedings of the 14th PhD mini-symposium, Budapest University of Technology and Economics, Department of Measurement and Information Systems PB - Budapest University of Technology and Economics CY - Budapest SN - 9789634208952 PY - 2007 SP - 58 EP - 61 PG - 4 UR - https://m2.mtmt.hu/api/publication/2615231 ID - 2615231 LA - English DB - MTMT ER - TY - CONF AU - Balogh, András AU - Pataricza, András AU - Judit, Rácz TI - Scheduling of embedded time-triggered systems T2 - Proceedings of 2nd Workshop on Engineering Fault-Tolerant Systems PB - ACM Press PY - 2007 SP - 44 EP - 49 PG - 6 DO - 10.1145/1316550.1316558 UR - https://m2.mtmt.hu/api/publication/2615226 ID - 2615226 N1 - Cited By :5 Export Date: 20 May 2022 Correspondence Address: Balogh, A.; Budapest University of Technology and Economics, Magyar Tudósok Krt. 2, Budapest, Hungary; email: abalogh@mit.bme.h LA - English DB - MTMT ER - TY - CONF AU - Wolfgang, Herzner AU - Rupert, Schlick AU - Martin, Schlager AU - Bernard, Leiner AU - Balogh, András AU - Csertán, György AU - Alain, LeGuennec AU - Thierry, LeSergent AU - Neeraj, Suri AU - Md, Shariful Islam AU - Bernard, Huber TI - Model-Based Development of Distributed Embedded Real-Time Systems with the DECOS Tool-Chain T2 - Proc. of SAE Aerotech Congress & Exchibition 2007 C1 - Los Angeles (CA) PY - 2007 SP - 1 EP - 11 PG - 11 UR - https://m2.mtmt.hu/api/publication/2615220 ID - 2615220 LA - English DB - MTMT ER -