Filters








574 Hits in 6.1 sec

Integration of Runtime Verification into Metamodeling for Simulation and Code Generation (Position Paper) [chapter]

Fernando Macias, Torben Scheffel, Malte Schmitz, Rui Wang
2016 Lecture Notes in Computer Science  
This paper aims at integrating runtime verification and domain specific modeling into the development process of complex systems.  ...  We provide a unified approach used for both the code generation and the simulation of the system through instance model transformations.  ...  This paper aims to effectively integrate runtime verification and domain specific modeling into the development of complex systems.  ... 
doi:10.1007/978-3-319-46982-9_29 fatcat:sil5eq4fenfx7a3xwvufg2qcri

Integration of Collaborative Analyses for Development of Embedded Control Software

Sangsoo Park, Kang Geun Shin, Shige Wang
2010 Proceedings of the IEEE  
The method used in 957 the generator ensures that only necessary code is generated. 958 Fig. 10 shows an example of code generation from a given 959 runtime architecture model. 960 The generated code with  ...  in the generation 810 include the branch-and-bound (B&B) with forward check-811 Fig. 6 . 6 The integration framework for system-level verification of ECSW.  ...  The resultant runtime architecture model is 1018 specified using the AIRES runtime architecture metamodel. 1019 With the runtime architecture mdoel generated, one can 1020 perform analyses, such as timing  ... 
doi:10.1109/jproc.2009.2039741 fatcat:4arnvl4y5feyzn4e4qv2oxsr5u

An Eclipse Modelling Framework Alternative to Meet the Models@Runtime Requirements [chapter]

François Fouquet, Grégory Nain, Brice Morin, Erwan Daubert, Olivier Barais, Noël Plouzeau, Jean-Marc Jézéquel
2012 Lecture Notes in Computer Science  
This paper highlights specific Models@Runtime requirements, discusses the benefits and limitations of EMF in this context, and presents an alternative implementation to meet these requirements.  ...  For example, Frascati (implementing the Service Component Architecture standard) uses EMF for the design and runtime tooling of its architecture description language.  ...  After highlighting requirements related to Models@Runtime, this paper has presented an initial adaptation of EMF, named Kevoree Modelling Framework (KMF), implemented in Scala and generating code for this  ... 
doi:10.1007/978-3-642-33666-9_7 fatcat:373qpnwucbg4hnbzq6pslws72i

Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap [chapter]

Hugo Bruneliere, Romina Eramo, Abel Gómez, Valentin Besnard, Jean Michel Bruel, Martin Gogolla, Andreas Kästner, Adrian Rutle
2018 Lecture Notes in Computer Science  
It explains the main objectives, content and results of the event. Based on these, the paper also proposes initial directions to explore for further research in the workshop area.  ...  This paper reports on the first Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems (also called MDE@DeRun 2018) that took place during the STAF 2018 week.  ...  We would like to thank everyone who took part in the success of this first edition of the workshop, including the program committee members, the paper authors and everyone who attended the workshop or  ... 
doi:10.1007/978-3-030-04771-9_40 fatcat:wvoko7erqvbc5adfc5cdnu4usq

Model-Driven Time-Series Analytics

Sabine Wolny, Alexandra Mazak, Manuel Wimmer, Rafael Konlechner, Gerti Kappel
2018 Enterprise Modelling and Information Systems Architectures - An International Journal  
In this paper, we present a novel approach for harmonizing model-driven and data-driven approaches.  ...  We show how such data analytics is specified for modelling languages using standard metamodelling techniques and technologies.  ...  , and predictability (e. g., how to derive and use operations from time-series for predicting future runtime states?).  ... 
doi:10.18417/emisa.si.hcm.19 dblp:journals/emisaij/WolnyMWKK18 fatcat:q24lbwvjmvb53b7zmtwi75tawe

The Doctoral Symposium at MODELS 2009 [chapter]

Juergen Dingel
2010 Lecture Notes in Computer Science  
For example, simulation, code generation, model checking and different kinds of analysis require a precise definition of the semantics of a DSML that is not provided sufficiently in many modeling toolsets  ...  This test is performed on runtime and controls that the switch is actually in the position it is supposed to be. Each switch has two positions: Normal (+) and divert (-) position.  ...  In this position paper we propose to regard the coordination model of parallel systems as the first development artifact, focusing on top-down application development.  ... 
doi:10.1007/978-3-642-12261-3_1 fatcat:5sjnbavhwje7lphkdlznmg5kpi

Leveraging Formal Verification Tools for DSML Users: A Process Modeling Case Study [chapter]

Faiez Zalila, Xavier Crégut, Marc Pantel
2012 Lecture Notes in Computer Science  
This work is based on the metamodeling pattern for executable DSML that extends the DSML metamodel to integrate concerns related to execution and behavior.  ...  automatically translated into the formal language; and then to get feedback from the assessment of these properties using its domain language without having to deal with the formal verification language  ...  Conclusion Using the XSPEM case study, this paper has illustrated a method to ease the integration of verification tools for safety and liveness properties on executable models.  ... 
doi:10.1007/978-3-642-34032-1_34 fatcat:3uferx6kync3hpcknpt3i34voi

Fostering metamodels and grammars within a dedicated environment for HPC: the NabLab environment (tool demo)

Benoît Lelandais, Marie-Pierre Oudot, Benoit Combemale
2018 Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering - SLE 2018  
In this tool paper, we introduce NabLab, a full-fledged industrial environment for scientific computing and High Performance Computing (HPC), involving several metamodels and grammars.  ...  Beyond the description of an industrial experience of the development and use of tool-supported DSLs, we report in this paper our lessons learned, and demonstrate the benefits from usefully combining metamodels  ...  The compilation chain that allows to generate code for different backends from the Nabla file has not yet been integrated into the Eclipse environment.  ... 
doi:10.1145/3276604.3276620 dblp:conf/sle/LelandaisOC18 fatcat:iwu5bo743rcohn7xxes3b6ddr4

Model-driven Design-Runtime Interaction in Safety Critical System Development: an Experience Report

Romina Eramo, Florent Marchand de Kerchove, Maximilien Colange, Michele Tucci, Julien Ouy, Hugo Bruneliere, Davide Di Ruscio
2019 Journal of Object Technology  
One of the major and key challenges in the model-driven engineering of critical software systems is the integration of design and runtime aspects.  ...  Even though several methods and tools are available for performing measurements of runtime properties, the ability to trace them with design models is still limited.  ...  This Joint Undertaking receives support from the European Union's Horizon 2020 research and innovation program and from Sweden, France, Spain, Italy, Finland & Czech Republic.  ... 
doi:10.5381/jot.2019.18.2.a1 fatcat:nt73vlboandpbkbc6qvqk6ytsi

A Service-Oriented Component-Based Framework for Dynamic Reconfiguration Modeling Targeting SystemC/TLM

Khaled Allem, El-Bay Bourennane, Youcef Khelfaoui, João Cardoso
2021 International Journal of Reconfigurable Computing  
Thus, this paper presents an MDE-based framework for DRSoCs design enabling the transformation of UML/MARTE specifications to SystemC/TLM implementation.  ...  In this context, model-driven engineering (MDE) provides support to build and transform precise and structured models for a particular purpose at different levels of abstraction.  ...  Conflicts of Interest e authors declare that there are no conflicts of interest regarding the publication of this study.  ... 
doi:10.1155/2021/5584391 fatcat:okujjxplungfffx4z63t3kdsae

Bootstrapping MDE development from ROS manual code: Part 2—Model generation and leveraging models at runtime

Nadia Hammoudeh García, Harshavardhan Deshpande, André Santos, Björn Kahl, Mirko Bordignon
2021 Journal of Software and Systems Modeling  
In this paper, we present two methods based on metamodels for automated generation of models from manually written artifacts: (1) through static code analysis and (2) by monitoring the execution of a running  ...  For both methods, we present tools that leverage the potentials of our contributions, with a special focus on their application at runtime to observe and diagnose a real system during its execution.  ...  Acknowledgements The research and development project that forms the basis for this report is partially funded within the scope of the "PAiCE Digitale Technologien für die Wirtschaft" technology programme  ... 
doi:10.1007/s10270-021-00873-2 fatcat:624ilug56jdhjebfktbhaw2wjq

iVAMS: Intelligent metamodel-integrated Verilog-AMS for circuit-accurate system-level mixed-signal design exploration

Geng Zheng, Saraju P. Mohanty, Elias Kougianos, Oghenekarho Okobiah
2013 2013 IEEE 24th International Conference on Application-Specific Systems, Architectures and Processors  
To the best of the authors' knowledge this is the first paper to integrate artificial neural network models in Verilog-AMS.  ...  Intelligent surrogate models for low-level analog building blocks are needed to bridge behavioral and transistorlevel simulations.  ...  In order to evaluate the accuracy of the iVAMS metamodels, a verification set consisting of 2000 samples of design variable and circuit response pairs was generated.  ... 
doi:10.1109/asap.2013.6567553 dblp:conf/asap/ZhengMKO13 fatcat:sx7tkcvlcve2fpxkbeluglixtm

Self-adaptive Systems Driven by Runtime Models

Marcello Thiry, Roger A. Schmidt
2017 Proceedings of the 29th International Conference on Software Engineering and Knowledge Engineering  
This paper provides answers for four research questions, based on 16 selected articles.  ...  This article can help practitioners to get an overall picture of current approaches, in terms of methods, techniques and tools.  ...  Also provides modeling, simulation and code generation features.  ... 
doi:10.18293/seke2017-168 dblp:conf/seke/ThiryS17 fatcat:ycfrash6f5c2dftyupvbellqde

Replaying Execution Trace Models for Dynamic Modeling Languages

Ábel Hegedüs, István Ráth, Dániel Varró
2012 Periodica Polytechnica Electrical Engineering  
Our approach complements static and dynamic metamodels by introducing a generic execution trace metamodel which is used to replay completed executions of a simulation directly over the dynamic model.  ...  In the paper, we present a technique for replaying recorded execution traces of dynamic modeling languages.  ...  The static metamodel of SAL is over 1000 lines of code (LOC) and includes over 100 elements each with several relations, while both the SAL dynamic metamodel and the generic trace metamodel are under 100  ... 
doi:10.3311/ppee.7078 fatcat:niy6adxgsbcf3f6ko64tjfghkm

A Model-Driven Tool Chain for OCCI [chapter]

Faiez Zalila, Stéphanie Challita, Philippe Merle
2017 Lecture Notes in Computer Science  
This tool chain is based on a metamodel defining the static semantics for the OCCI standard in Ecore and OCL.  ...  Recently, we are witnessing several works that take advantage of MDE for the cloud [8] .  ...  We argue in this paper that OCCI suffers from the lack of modeling, verification, validation, documentation, deployment, and management tools for both OCCI extensions and configurations.  ... 
doi:10.1007/978-3-319-69462-7_26 fatcat:mgtzsidzwranfm5sdlilkmadve
« Previous Showing results 1 — 15 out of 574 results