TY  - JOUR
AU  - Horváth, Benedek
AU  - Molnár, Vince
AU  - Graics, Bence
AU  - Hajdu, Ákos
AU  - Ráth, István Zoltán
AU  - Horváth, Ákos
AU  - Karban, Robert
AU  - Trancho, Gelys
AU  - Micskei, Zoltán Imre
TI  - Pragmatic verification and validation of industrial executable SysML models
JF  - SYSTEMS ENGINEERING
J2  - SYSTEMS ENG
VL  - 26
PY  - 2023
IS  - 6
SP  - 693
EP  - 714
PG  - 22
SN  - 1098-1241
DO  - 10.1002/sys.21679
UR  - https://m2.mtmt.hu/api/publication/33809830
ID  - 33809830
N1  - IncQuery Labs cPlc., Budapest, Hungary            
            Department of Business Informatics - Software Engineering, Johannes Kepler University Linz, Linz, Austria            
            Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary            
            Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA, United States            
            TMT International Observatory LLC, Pasadena, CA, United States            
            Export Date: 26 May 2023            
            Correspondence Address: Horváth, B.; IncQuery Labs cPlcHungary; email: benedek.horvath@incquerylabs.com
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Horváth, Benedek
AU  - Horváth, Ákos
AU  - Wimmer, Manuel
ED  - Esther, Guerra
ED  - Ludovico, Iovino
TI  - Towards the next generation of reactive model transformations on low-code platforms
T2  - Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings
PB  - Association for Computing Machinery (ACM)
CY  - New York, New York
SN  - 9781450381352
PY  - 2020
SP  - 1
EP  - 10
PG  - 10
DO  - 10.1145/3417990.3420199
UR  - https://m2.mtmt.hu/api/publication/31647416
ID  - 31647416
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Kulcsar, Geza
AU  - Koltai, Kadosa
AU  - Tanyi, Szvetlin
AU  - Peceli, Balint
AU  - Horváth, Ákos
AU  - Micskei, Zoltán Imre
AU  - Varga, Pál
ED  - IEEE, null
TI  - From Models to Management and Back: Towards a System-of-Systems Engineering Toolchain
T2  - NOMS 2020 - 2020 IEEE/IFIP Network Operations and Management Symposium: Management in the Age of Softwarization and Artificial Intelligence
PB  - IEEE
CY  - Piscataway (NJ)
SN  - 9781728149738
T3  - IEEE IFIP Network Operations and Management Symposium, ISSN 1542-1201
PY  - 2020
PG  - 6
DO  - 10.1109/NOMS47738.2020.9110310
UR  - https://m2.mtmt.hu/api/publication/31347211
ID  - 31347211
N1  - IncQuery Labs Ltd., Budapest, Hungary            
            AITIA Inc., Budapest, Hungary            
            Evopro Innovation Kft., Budapest, Hungary            
            Budapest University of Technology and Economics, Hungary            
            Conference code: 160952            
            Cited By :1            
            Export Date: 7 December 2020            
            Funding text 1: ACKNOWLEDGMENT The research has received funding from the EU ECSEL JU under the H2020 Framework Programme, JU grant nr. 826452 (Arrowhead Tools project, https://www.arrowhead.eu) and from the partners’ national funding authorities.            
            Funding text 2: Project no. 2019-2.1.3-NEMZ ECSEL-2019-00003 has been implemented with the support provided from the National Research, Development and Innovation Fund of Hungary, financed under the 2019-2.1.3-NEMZ ECSEL funding scheme.
AB  - Through the increasing complexity and dynamics of industrial automation scenarios, the notion of Systems of Systems (SoS) has gained importance in this field. Here, interconnected constituent (hardware as well as software) systems collaborate in order to achieve common goals and to increase the efficiency of certain industrial applications.The Arrowhead Tools project aims at proposing a comprehensive, flexible platform for supporting SoS engineering in its every phase, in the form of an engineering toolchain. Thereby, although the SoS operation aspect has been already elaborated on, the design phase and the usage of design artifacts as part of a continous tool interoperability scenario received less attention so far. In this paper, we describe such a toolchain interoperability scenario, paving the way towards an established, integrated solution, by linking systems modeling practices with SoS operational management. In particular, we propose a custom-tailored abstract SysML profile for Arrowhead SoS design, and a prototype implementation for a bidirectional link between SoS models and a tool for managing Arrowhead SoS via a custom-tailored textual format. We illustrate the approach through a realistic industrial application.
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Farkas, Rebeka
AU  - Bergmann, Gábor
AU  - Horváth, Ákos
TI  - Adaptive Step Size Control for Hybrid CT Simulation without Rollback
T2  - Proceedings of the 13th International Modelica Conference, Regensburg, Germany, March 4-6, 2019
PB  - Linköping University Electronic Press
CY  - Linköping
SN  - 9789176851227
PY  - 2019
SP  - 503
EP  - 512
PG  - 10
DO  - 10.3384/ecp19157503
UR  - https://m2.mtmt.hu/api/publication/30603470
ID  - 30603470
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Hegedüs, Ábel
AU  - Ráth, István Zoltán
AU  - Bergmann, Gábor
AU  - Debreceni, Csaba
AU  - Horváth, Ákos
AU  - Lunk, Péter
AU  - Menyhért, Ákos
AU  - Papp, István
AU  - Varró, Dániel
AU  - Vileiniskis, Tomas
TI  - Incquery server for teamwork cloud
T2  - Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion Proceedings - MODELS '18
SN  - 9781450359658
PY  - 2018
SP  - 27
EP  - 31
PG  - 5
DO  - 10.1145/3270112.3270125
UR  - https://m2.mtmt.hu/api/publication/30710636
ID  - 30710636
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  - Varró, Dániel
AU  - Semeráth, Oszkár
AU  - Szárnyas, Gábor
AU  - Horváth, Ákos
ED  - Reiko, Heckel
ED  - Gabriele, Taentzer
TI  - Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models
T2  - Graph Transformation, Specifications, and Nets
PB  - Springer Netherlands
CY  - Berlin
CY  - Heidelberg
SN  - 9783319753959
T3  - Lecture Notes in Computer Science, ISSN 0302-9743 ; 10800.
PY  - 2018
SP  - 285
EP  - 312
PG  - 28
DO  - 10.1007/978-3-319-75396-6_16
UR  - https://m2.mtmt.hu/api/publication/3327320
ID  - 3327320
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Semeráth, Oszkár
AU  - Ágnes, Barta
AU  - Horváth, Ákos
AU  - Szatmári, Zoltán
AU  - Varró, Dániel
TI  - Formal validation of domain-specific languages with derived features and well-formedness constraints
JF  - SOFTWARE AND SYSTEMS MODELING
J2  - SOFTW SYST MODEL
VL  - 16
PY  - 2017
IS  - 2
SP  - 357
EP  - 392
PG  - 36
SN  - 1619-1366
DO  - 10.1007/s10270-015-0485-x
UR  - https://m2.mtmt.hu/api/publication/3018014
ID  - 3018014
N1  - Admin megjegyzés-26708308
#JournalID1#
Name: Software & Systems Modeling
ISSN: 1619-1366
#JournalID2#
AB  - Despite the wide range of existing tool support, constructing 
a design environment for a complex domain-specific language 
(DSL) is still a tedious task as the large number of derived 
features and well-formedness constraints complementing the 
domain metamodel necessitate special handling. Such derived 
features and constraints are frequently defined by 
declarative techniques (such graph patterns or OCL 
invariants). However, for complex domains, derived features 
and constraints can easily be formalized incorrectly 
resulting in inconsistent, incomplete or ambiguous DSL 
specifications. To detect such issues, we propose an 
automated mapping of EMF metamodels enriched with derived 
features and well-formedness constraints captured as graph 
queries in EMF-IncQuery or (a subset of) OCL invariants into 
an effectively propositional fragment of first-order logic 
which can be efficiently analyzed by back-end reasoners. On 
the conceptual level, the main added value of our encoding is 
(1) to transform graph patterns of the EMF-IncQuery framework 
into FOL and (2) to introduce approximations for complex 
language features (e.g., transitive closure or 
multiplicities) which are not expressible in FOL. On the 
practical level, we identify and address relevant challenges 
and scenarios for systematically validating DSL 
specifications. Our approach is supported by a tool, and it 
will be illustrated on analyzing a DSL in the avionics 
domain. We also present initial performance experiments for 
the validation using Z3 and Alloy as back-end reasoners.
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Semeráth, Oszkár
AU  - Debreceni, Csaba
AU  - Horváth, Ákos
AU  - Varró, Dániel
ED  - Benoit, Baudry
ED  - Benoit, Combemale
TI  - Incremental Backward Change Propagation of View Models by Logic Solvers
T2  - MODELS '16
PB  - ACM Press
CY  - New York, New York
SN  - 9781450343213
PY  - 2016
SP  - 306
EP  - 316
PG  - 11
DO  - 10.1145/2976767.2976788
UR  - https://m2.mtmt.hu/api/publication/3169820
ID  - 3169820
AB  - View models are key concepts of domain-specific modeling
to provide task-specific focus (e.g., power or communication
architecture of a system) to the designers by highlighting
only the relevant aspects of the system. View models
can be specified by unidirectional forward transformations
(frequently captured by graph queries), and automatically
maintained upon changes of the underlying source model using
incremental transformation techniques. However, tracing
back complex changes from one or more abstract view
to the underlying source model is a challenging task, which,
in general, requires the simultaneous analysis of 
transformation
specifications and well-formedness constraints to create
valid changes in the source model. In this paper we introduce
a novel delta-based backward transformation technique
using SAT solvers to synthetize valid and consistent change
candidates in the source model, where only forward 
transformation rules are specified for the view models.
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Semeráth, Oszkár
AU  - Debreceni, Csaba
AU  - Horváth, Ákos
AU  - Varró, Dániel
ED  - A, Anjorin
ED  - J, Gibbons
TI  - Change Propagation of View Models by Logic Synthesis using SAT solvers.
T2  - Proceedings of the 5th International Workshop on Bidirectional Transformations, Bx 2016, co-located with The European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 8, 2016.
PB  - CEUR Workshop Proceedings
CY  - Aachen
T3  - CEUR Workshop Proceedings ; 1571.
PY  - 2016
SP  - 40
EP  - 44
PG  - 5
UR  - https://m2.mtmt.hu/api/publication/3092093
ID  - 3092093
LA  - English
DB  - MTMT
ER  -