MegaModelling at Runtime - scalable model-based framework for continuous development and runtime validation of complex systems. | MegaMaRt2 | Project | Results | H2020 | CORDIS

Leistungen

Dissemination and Exploitation Report - final version

D6.5: Dissemination and Exploitation Report - final version [ATOS] (R, M36, PU) This deliverable is an updated version of D6.4, which will report the final changes in the impact strategy and plans as well as provide the outline of the activities up-to date.

Report on Foundations for Model-driven Design Methods

D2.1: Report on Foundations for Model-driven Design Methods [UOC] (R, M6, PU) This report describes the outputs the activities performed in Task 2.1., with the aim at providing the foundations for WP3 and WP4, and for the design of the MegaM@Rt tool chain.

Specification of the MegaM@Rt Runtime Analysis tool set

D3.2: Specification of the MegaM@Rt Runtime Analysis tool set [ABO] (R, M9, PU) This report describes the specification of the MegaM@Rt runtime tools to support automated code generation and model execution, log analysis, runtime verification and testing activities, as defined by tasks T3.2, T3.3, and T3.4, respectively.

Methodology and guidelines for Model Management & Traceability

D4.5: Methodology and guidelines for Model Management & Traceability [UOC] (R, M34, PU) This deliverable provides user guides, tutorials and sample material on tooling features developed in WP4. It will be initiated when providing the functionality to case studies, and then further updated based on the feedback gained from their various usages in the context of MegaM@Rt.

MegaM@Rt Integration Approach

D5.1: MegaM@Rt Integration Approach [ATOS] (R, M20, PU) This report will describe the overall integration approach taking into account the interfaces between tools, model exchange formats and deployment peculiarities in order to provide end-users an integrated experience.

Dissemination and Exploitation Report - intermediate version

D6.4: Dissemination and Exploitation Report - intermediate version [ATOS] (R, M24, PU) This deliverable is an updated version of D6.3, which will report changes in exploitation and dissemination strategy and plans as well as provide the outline of the activities up-to date.

MegaM@Rt design tool set guidelines - final version

D2.6: MegaM@Rt design tool set guidelines - final version [UCAN] (R, M32, PU) This deliverable provides the guidelines defined in Task 2.5 to apply the system design approach envisaged in MegaM@Rt in order to help the end-users.

Case study evaluation report - Phase 1

D5.5: Case study evaluation report - Phase 1 [TEK] (R, M24, PU) This report will present the results of the first evaluation phase for MegaM@Rt technologies. The document will reflect the analysis of the progress towards the roadmap, requirements coverage and the improvements to be planned.

Report on Foundations for Model Management & Traceability

D4.1: Report on Foundations for Model Management & Traceability [ARM] (R, M6, PU) This deliverable describes the current state-of-the-art on megamodelling/model management & traceability techniques by analysing existing tools and research approaches that have already been proposed in this area. It will mainly consist in listing the already provided support and identifying the important missing features, notably as far as scalability aspects are concerned.

Case study evaluation report - Phase 2

D5.7: Case study evaluation report - Phase 2 [NOK] (R, M36, PU) This report will present the results of the second evaluation phase for MegaM@Rt technologies. The report will validate the final release of the MegaM@Rt technologies and will have a particular focus on industrial applicability of the MegaM@Rt technologies as well as end-users endorsement of the overall approach.

Specification of the Model Management & Traceability tool set

D4.2: Specification of the Model Management & Traceability tool set [ARM] (R, M12, PU) This deliverable will describe conceptually the approaches that will be developed in the context of WP4. Based on the study from D4.1, it will notably introduce ideas for scalable solutions for megamodelling/model management, related traceability (design time vs. runtime) as well as relevant model-based techniques (model search and transformation, model fragmentation and views, collaboration and governance support at model-level, etc.).

Dissemination and Exploitation Report - initial version

D6.3: Dissemination and Exploitation Report - initial version [ATOS] (R, M12, PU) This report provides an assessment of the progress towards the targeted impact objectives. This deliverable reports all the activities for dissemination, exploitation, community building and innovation management.

MegaM@Rt design tool set specification

D2.2: MegaM@Rt design tool set specification [INT] (R, M9, PU) This report describes the specification of the MegaM@Rt design tools to support system modelling, verification, validation and autocode generation as defined in Task 2.2, task 2.3 and Task 2.4.

Report on Foundations for Model-based Runtime Analysis Methods

D3.1: Report on Foundations for Model-based Runtime Analysis Methods [ABO] (R, M6, PU) This deliverable contains latest state of the art, state of practice and experimental results done in T3.1. It provides input to the other tasks of WP3 and to WP2 and WP4.

Communication Plan

D6.2: Communication Plan [UOC] (R, M3, PU) Communication plan for the first 12 month of the project. This plan will contribute to the further reports.

Methodology and guidelines for MegaM@Rt Runtime Analysis methods and tools

D3.6: Methodology and guidelines for MegaM@Rt Runtime Analysis methods and tools [ABO] (R, M32, PU) This deliverable comprises the final version of the runtime tools, accompanied by method description and guidelines for being taken into use by end-users.

MegaM@Rt design tool set - intermediate version

D2.4: MegaM@Rt design tool set - intermediate version [INT] (OTHER, M20, PU) This deliverable is consolidated version of D2.3 taking into account the feedback by the end-users and integrating the latest features.

MegaM@Rt design tool set - initial version

D2.3: MegaM@Rt design tool set - initial version [INT] (OTHER, M15, PU) This deliverable covers the provision of the initial version of the MegaM@Rt design tools developed in Task 2.2, Task 2.3 and Task 2.4 to support system modelling, verification, validation and autocode generation. The prototypes are provided to the case study owners for early experiments.

MegaM@Rt Runtime Analysis tool set - final version

D3.5: MegaM@Rt Runtime Analysis tool set - final version[SMA] (OTHER, M32, PU) This deliverable represents the final iteration of the MegaM@Rt runtime tools for the final integration and the second stage of the evaluation. It contains additional feedback from end users and integrates latest features.

MegaM@Rt Runtime Analysis tool set - intermediate version

D3.4: MegaM@Rt Runtime Analysis tool set - intermediate version [SMA] (OTHER, M20, PU) This deliverable is consolidated version of D3.3 taking into account the feedback by the end-users and integrating the latest features.

MegaM@Rt Model Management & Traceability tool set - initial version

D4.3: MegaM@Rt Model Management & Traceability tool set - initial version [SOFT] (OTHER, M20, PU) This deliverable will provide the initial version of the tool set as developed in the context of WP4. Relying on the propositions from D4.2, the support offered by the provided tools will notably cover the features expected by the MegaM@Rt use cases providers in terms of scalable megamodelling/model management, traceability and the needed model-based techniques (to deal with various aspects such as large models, multiple languages, collaboration on (meta)modelling, model checking, model generators/transformations, etc.).

MegaM@Rt design tool set - final version

D2.5: MegaM@Rt design tool set - final version [INT] (OTHER, M32, PU) This deliverable represents the final iteration of the MegaM@Rt design tools for the final integration and th second stage of evaluation.

MegaM@Rt Runtime Analysis tool set - initial version

D3.3: MegaM@Rt Runtime Analysis tool set - initial version [SMA] (OTHER, M15, PU) This deliverable specifies the initial version of the MegaM@Rt runtime tools developed in Tasks 3.2, 3.3, and 3.4 to support the automated code generation and model execution, log analysis, and runtime verification and testing activities. The prototypes are provided to the case study owners for early experiments.

MegaM@Rt Integrated Framework - final version

D5.3: MegaM@Rt Integrated Framework - final version [ATOS] (OTHER, M36, PU) This deliverable is the final official release of the MegaM@Rt framework.

MegaM@Rt Integrated Framework - initial version

D5.2: MegaM@Rt Integrated Framework - initial version [ATOS] (OTHER, M22, PU) This deliverable is the first official release of the MegaM@Rt framework base on the results of the WP2-4.

MegaM@Rt Model Management & Traceability tool set - final version

D4.4: MegaM@Rt Model Management & Traceability tool set - final version [SOFT] (OTHER, M32, PU) This deliverable describes the second version of the tool set as developed in the context of WP4. A refinement of the previous tool set as provided by D4.3 (thanks to feedback collected from first industrial partners usages), this final version of the tool set will be the one actually deployed and used in the context of the MegaM@Rt use cases.

Public Website and Social Media Presence - initial version

D6.1: Public Website and Social Media Presence - initial version [UOC] (DEC, M1, PU) This deliverable is the initial version of the public web-site of the MegaM@Rt project and set-up of the social media channels such as Twitter, Linkedin and Youtube.

Veröffentlichungen

Exhaustive Simulation and Test Generation Using fUML Activity Diagrams

Autoren: Junaid Iqbal, Adnan Ashraf, Dragos Truscan, Ivan Porres
Veröffentlicht in: Advanced Information Systems Engineering - 31st International Conference, CAiSE 2019, Rome, Italy, June 3–7, 2019, Proceedings, Ausgabe 11483, 2019, Seite(n) 96-110, ISBN 978-3-030-21289-6
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-21290-2_7

Mechanically Proving Determinacy of Hierarchical Block Diagram Translations

Autoren: Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis
Veröffentlicht in: Verification, Model Checking, and Abstract Interpretation - 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings, Ausgabe 11388, 2019, Seite(n) 577-600, ISBN 978-3-030-11244-8
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-11245-5_27

A System Modeling Approach to Enhance Functional and Software Development

Autoren: Saurabh Tiwari, Emina Smajlovic, Amina Krekic, Jagadish Suryadevara
Veröffentlicht in: Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers, Ausgabe 11176, 2018, Seite(n) 512-518, ISBN 978-3-030-04770-2
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-04771-9_37

Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap - Report on the MDE@DeRun 2018 Workshop

Autoren: Hugo Bruneliere, Romina Eramo, Abel Gómez, Valentin Besnard, Jean Michel Bruel, Martin Gogolla, Andreas Kästner, Adrian Rutle
Veröffentlicht in: Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers, Ausgabe 11176, 2018, Seite(n) 536-543, ISBN 978-3-030-04770-2
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-04771-9_40

TemporalEMF: A Temporal Metamodeling Framework

Autoren: Abel Gómez, Jordi Cabot, Manuel Wimmer
Veröffentlicht in: Conceptual Modeling - 37th International Conference, ER 2018, Xi'an, China, October 22–25, 2018, Proceedings, Ausgabe 11157, 2018, Seite(n) 365-381, ISBN 978-3-030-00846-8
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-00847-5_26

From Modeling to Test Case Generation in the Industrial Embedded System Domain

Autoren: Aliya Hussain, Saurabh Tiwari, Jagadish Suryadevara, Eduard Enoiu
Veröffentlicht in: Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers, Ausgabe 11176, 2018, Seite(n) 499-505, ISBN 978-3-030-04770-2
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-04771-9_35

MegaM@Rt2 Project: Mega-Modelling at Runtime - Intermediate Results and Research Challenges

Autoren: Andrey Sadovykh, Dragos Truscan, Wasif Afzal, Hugo Bruneliere, Adnan Ashraf, Abel Gómez, Alexandra Espinosa, Gunnar Widforss, Pierluigi Pierini, Elizabeta Fourneret, Alessandra Bagnato
Veröffentlicht in: Software Technology: Methods and Tools - 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings, Ausgabe 11771, 2019, Seite(n) 393-405, ISBN 978-3-030-29851-7
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-29852-4_33

Multi-platform Chatbot Modeling and Deployment with the Jarvis Framework

Autoren: Gwendal Daniel, Jordi Cabot, Laurent Deruelle, Mustapha Derras
Veröffentlicht in: Advanced Information Systems Engineering - 31st International Conference, CAiSE 2019, Rome, Italy, June 3–7, 2019, Proceedings, Ausgabe 11483, 2019, Seite(n) 177-193, ISBN 978-3-030-21289-6
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-21290-2_12

Executable Modeling for Reactive Programming

Autoren: Franck Barbier, Eric Cariou
Veröffentlicht in: Model-Driven Engineering and Software Development - 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers, Ausgabe 991, 2019, Seite(n) 1-8, ISBN 978-3-030-11029-1
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-11030-7_1

The Refinement Calculus of Reactive Systems Toolset

Autoren: Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis
Veröffentlicht in: Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II, Ausgabe 10806, 2018, Seite(n) 201-208, ISBN 978-3-319-89962-6
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-319-89963-3_12

TRILATERAL: A Model-Based Approach for Industrial CPS – Monitoring and Control

Autoren: Markel Iglesias-Urkia, Aitziber Iglesias, Beatriz López-Davalillo, Santiago Charramendieta, Diego Casado-Mansilla, Goiuria Sagardui, Aitor Urbieta
Veröffentlicht in: Model-Driven Engineering and Software Development - 7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20–22, 2019, Revised Selected Papers, Ausgabe 1161, 2020, Seite(n) 376-398, ISBN 978-3-030-37872-1
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-37873-8_16

MegaM@Rt2 EU Project: Open Source Tools for Mega-Modelling at Runtime of CPSs

Autoren: Jesus Gorroñogoitia Cruz, Andrey Sadovykh, Dragos Truscan, Hugo Bruneliere, Pierluigi Pierini, Lara Lopez Muñiz
Veröffentlicht in: Open Source Systems - 16th IFIP WG 2.13 International Conference, OSS 2020, Innopolis, Russia, May 12–14, 2020, Proceedings, Ausgabe 582, 2020, Seite(n) 183-189, ISBN 978-3-030-47239-9
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-47240-5_18

Applying Test-Driven Development for Improved Feedback and Automation of Grading in Academic Courses on Software Development

Autoren: Dragos Truscan, Tanwir Ahmad, Cuong Huy Tran
Veröffentlicht in: Frontiers in Software Engineering Education - First International Workshop, FISEE 2019, Villebrumier, France, November 11–13, 2019, Invited Papers, Ausgabe 12271, 2020, Seite(n) 310-323, ISBN 978-3-030-57662-2
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-57663-9_20

Reconstructing timed symbolic traces from rtioco -based timed test sequences using backward-induction

Autoren: Junaid Iqbal, Dragos Truscan, Jüri Vain, Ivan Porres
Veröffentlicht in: Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems - ECBS '17, 2017, Seite(n) 1-10, ISBN 9781-450348430
Herausgeber: ACM Press
DOI: 10.1145/3123779.3123813

Short and long distance marker detection technique in outdoor and indoor environments for embedded systems

Autoren: Alvaro Diaz, Daniel Pena, Eugenio Villar
Veröffentlicht in: 2017 32nd Conference on Design of Circuits and Integrated Systems (DCIS), 2017, Seite(n) 1-6, ISBN 978-1-5386-5108-7
Herausgeber: IEEE
DOI: 10.1109/dcis.2017.8311629

The MegaM@Rt2 ECSEL Project: MegaModelling at Runtime — Scalable Model-Based Framework for Continuous Development and Runtime Validation of Complex Systems

Autoren: Wasif Afzal, Hugo Bruneliere, Davide Di Ruscio, Andrey Sadovykh, Silvia Mazzini, Eric Cariou, Dragos Truscan, Jordi Cabot, Daniel Field, Luigi Pomante, Pavel Smrz
Veröffentlicht in: 2017 Euromicro Conference on Digital System Design (DSD), 2017, Seite(n) 494-501, ISBN 978-1-5386-2146-2
Herausgeber: IEEE
DOI: 10.1109/DSD.2017.50

Using Timed Base-Choice Coverage Criterion for Testing Industrial Control Software

Autoren: Henning Bergstrom, Eduard Paul Enoiu
Veröffentlicht in: 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2017, Seite(n) 216-219, ISBN 978-1-5090-6676-6
Herausgeber: IEEE
DOI: 10.1109/ICSTW.2017.41

Automatic Test Generation for Energy Consumption of Embedded Systems Modeled in EAST-ADL

Autoren: Raluca Marinescu, Eduard Enoiu, Cristina Seceleanu, Daniel Sundmark
Veröffentlicht in: 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2017, Seite(n) 69-76, ISBN 978-1-5090-6676-6
Herausgeber: IEEE
DOI: 10.1109/ICSTW.2017.19

Criticality-driven Design Space Exploration for Mixed-Criticality Heterogeneous Parallel Embedded Systems

Autoren: Vittoriano Muttillo, Giacomo Valente, Luigi Pomante
Veröffentlicht in: Proceedings of the 9th Workshop and 7th Workshop on Parallel Programming and RunTime Management Techniques for Manycore Architectures and Design Tools and Architectures for Multicore Embedded Computing Platforms - PARMA-DITAM '18, 2018, Seite(n) 63-68, ISBN 9781-450364447
Herausgeber: ACM Press
DOI: 10.1145/3183767.3183782

Cluster-based test scheduling strategies using semantic relationships between test specifications

Autoren: Sahar Tahvili, Leo Hatvani, Michael Felderer, Wasif Afzal, Mehrdad Saadatmand, Markus Bohlin
Veröffentlicht in: Proceedings of the 5th International Workshop on Requirements Engineering and Testing - RET '18, 2018, Seite(n) 1-4, ISBN 9781-450357494
Herausgeber: ACM Press
DOI: 10.1145/3195538.3195540

Model-based product line engineering in an industrial automotive context - an exploratory case study

Autoren: Damir Bilic, Daniel Sundmark, Wasif Afzal, Peter Wallin, Adnan Causevic, Christoffer Amlinger
Veröffentlicht in: Proceeedings of the 22nd International Conference on Systems and Software Product Line - SPLC '18 - Volume 2, 2018, Seite(n) 56-63, ISBN 9781-450359450
Herausgeber: ACM Press
DOI: 10.1145/3236405.3237200

Functional Dependency Detection for Integration Test Cases

Autoren: Sahar Tahvili, Marcus Ahlberg, Eric Fornander, Wasif Afzal, Mehrdad Saadatmand, Markus Bohlin, Mahdi Sarabi
Veröffentlicht in: 2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C), 2018, Seite(n) 207-214, ISBN 978-1-5386-7839-8
Herausgeber: IEEE
DOI: 10.1109/qrs-c.2018.00047

On the Use of Hackathons to Enhance Collaboration in Large Collaborative Projects : - A Preliminary Case Study of the MegaM@Rt2 EU Project -

Autoren: Andrey Sadovykh, Dragos Truscan, Pierluigi Pierini, Gunnar Widforss, Adnan Ashraf, Hugo Bruneliere, Pavel Smrz, Alessandra Bagnato, Wasif Afzal, Alexandra Espinosa Hortelano
Veröffentlicht in: 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2019, Seite(n) 498-503, ISBN 978-3-9819263-2-3
Herausgeber: IEEE
DOI: 10.23919/date.2019.8715247

Adopting MBSE in Construction Equipment Industry: An Experience Report

Autoren: Jagadish Suryadevara, Saurabh Tiwari
Veröffentlicht in: 2018 25th Asia-Pacific Software Engineering Conference (APSEC), 2018, Seite(n) 512-521, ISBN 978-1-7281-1970-0
Herausgeber: IEEE
DOI: 10.1109/apsec.2018.00066

On Measuring Combinatorial Coverage of Manually Created Test Cases for Industrial Software

Autoren: Miraldi Fifo, Eduard Enoiu, Wasif Afzal
Veröffentlicht in: 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2019, Seite(n) 264-267, ISBN 978-1-7281-0888-9
Herausgeber: IEEE
DOI: 10.1109/icstw.2019.00062

A metamodel for the specification and verification of model refactoring actions

Autoren: Davide Arcelli, Vittorio Cortellessa, Daniele Di Pompeo
Veröffentlicht in: Proceedings of the 2nd International Workshop on Refactoring - IWoR 2018, 2018, Seite(n) 14-21, ISBN 9781-450359740
Herausgeber: ACM Press
DOI: 10.1145/3242163.3242167

Performance-Driven Software Architecture Refactoring

Autoren: Davide Arcelli, Vittorio Cortellessa, Daniele Di Pompeo
Veröffentlicht in: 2018 IEEE International Conference on Software Architecture Companion (ICSA-C), 2018, Seite(n) 2-3, ISBN 978-1-5386-6585-5
Herausgeber: IEEE
DOI: 10.1109/icsa-c.2018.00006

TRILATERAL: Software Product Line based Multidomain IoT Artifact Generation for Industrial CPS

Autoren: Aitziber Iglesias, Markel Iglesias-Urkia, Beatriz López-Davalillo, Santiago Charramendieta, Aitor Urbieta
Veröffentlicht in: Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019, Seite(n) 64-73, ISBN 978-989-758-358-2
Herausgeber: SCITEPRESS - Science and Technology Publications
DOI: 10.5220/0007343500640073

Model-driven round-trip software dependability engineering

Autoren: Michele Tucci
Veröffentlicht in: Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion Proceedings - MODELS '18, 2018, Seite(n) 186-191, ISBN 9781-450359658
Herausgeber: ACM Press
DOI: 10.1145/3270112.3275337

Automating Performance Antipattern Detection and Software Refactoring in UML Models

Autoren: Davide Arcelli, Vittorio Cortellessa, Daniele Di Pompeo
Veröffentlicht in: 2019 IEEE 26th International Conference on Software Analysis, Evolution and Reengineering (SANER), 2019, Seite(n) 639-643, ISBN 978-1-7281-0591-8
Herausgeber: IEEE
DOI: 10.1109/saner.2019.8667967

Exploiting Architecture/Runtime Model-Driven Traceability for Performance Improvement

Autoren: Davide Arcelli, Vittorio Cortellessa, Daniele Di Pompeo, Romina Eramo, Michele Tucci
Veröffentlicht in: 2019 IEEE International Conference on Software Architecture (ICSA), 2019, Seite(n) 81-90, ISBN 978-1-7281-0528-4
Herausgeber: IEEE
DOI: 10.1109/icsa.2019.00017

EASIER: An Evolutionary Approach for Multi-objective Software ArchItecturE Refactoring

Autoren: Davide Arcelli, Vittorio Cortellessa, Mattia D'Emidio, Daniele Di Pompeo
Veröffentlicht in: 2018 IEEE International Conference on Software Architecture (ICSA), 2018, Seite(n) 105-10509, ISBN 978-1-5386-6398-1
Herausgeber: IEEE
DOI: 10.1109/icsa.2018.00020

Gremlin-ATL: A scalable model transformation framework

Autoren: Gwendal Daniel, Frederic Jouault, Gerson Sunye, Jordi Cabot
Veröffentlicht in: 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2017, Seite(n) 462-472, ISBN 978-1-5386-2684-9
Herausgeber: IEEE
DOI: 10.1109/ase.2017.8115658

Extracting software product line feature models from natural language specifications

Autoren: Anjali Sree-Kumar, Elena Planas, Robert Clarisó
Veröffentlicht in: Proceeedings of the 22nd International Conference on Systems and Software Product Line - SPLC '18, 2018, Seite(n) 43-53, ISBN 9781-450364645
Herausgeber: ACM
DOI: 10.1145/3233027.3233029

Applying graph kernels to model-driven engineering problems

Autoren: Robert Clarisó, Jordi Cabot
Veröffentlicht in: Proceedings of the 1st International Workshop on Machine Learning and Software Engineering in Symbiosis - MASES 2018, 2018, Seite(n) 1-5, ISBN 9781-450359726
Herausgeber: ACM
DOI: 10.1145/3243127.3243128

Fixing Defects in Integrity Constraints via Constraint Mutation

Autoren: Robert Clariso, Jordi Cabot
Veröffentlicht in: 2018 11th International Conference on the Quality of Information and Communications Technology (QUATIC), 2018, Seite(n) 74-82, ISBN 978-1-5386-5841-3
Herausgeber: IEEE
DOI: 10.1109/quatic.2018.00020

A Systematic Mapping Study on API Documentation Generation Approaches

Autoren: Kristian Nybom, Adnan Ashraf, Ivan Porres
Veröffentlicht in: 2018 44th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2018, Seite(n) 462-469, ISBN 978-1-5386-7383-6
Herausgeber: IEEE
DOI: 10.1109/seaa.2018.00081

On the benefits of using aspect-orientation in UPPAAL timed automata

Autoren: Juri Vain, Dragos Truscan, Junaid Iqbal, Leonidas Tsiopoulos
Veröffentlicht in: 2017 International Conference on Infocom Technologies and Unmanned Systems (Trends and Future Directions) (ICTUS), 2017, Seite(n) 84-91, ISBN 978-1-5386-0514-1
Herausgeber: IEEE
DOI: 10.1109/ictus.2017.8285981

Improved Traceability for Bidirectional Model Transformations

Autoren: Romina Eramo, Alfonso Pierantonio, Michele Tucci
Veröffentlicht in: 2019
Herausgeber: ACM/IEEE

Vulnerability Assessment of Web Services with Model-Based Mutation Testing

Autoren: Faezeh Siavashi, Dragos Truscan, Juri Vain
Veröffentlicht in: 2018 IEEE International Conference on Software Quality, Reliability and Security (QRS), 2018, Seite(n) 301-312, ISBN 978-1-5386-7757-5
Herausgeber: IEEE
DOI: 10.1109/qrs.2018.00043

Enhancing the JTL tool for bidirectional transformations

Autoren: Romina Eramo, Alfonso Pierantonio, Michele Tucci
Veröffentlicht in: Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming - Programming'18 Companion, 2018, Seite(n) 36-41, ISBN 9781-450355131
Herausgeber: ACM
DOI: 10.1145/3191697.3191720

Injecting hypervisor-based software partitions into Design Space Exploration activities considering mixed-criticality requirements

Autoren: Vittoriano Muttillo, Giacomo Valente
Veröffentlicht in: 2018 7th Mediterranean Conference on Embedded Computing (MECO), 2018, Seite(n) 1-5, ISBN 978-1-5386-5683-9
Herausgeber: IEEE
DOI: 10.1109/meco.2018.8406056

HEPSIM: An ESL HW/SW co-simulator/analysis tool for heterogeneous parallel embedded systems

Autoren: Daniele Ciambrone, Vittoriano Muttillo, Luigi Pomante, Giacomo Valente
Veröffentlicht in: 2018 7th Mediterranean Conference on Embedded Computing (MECO), 2018, Seite(n) 1-6, ISBN 978-1-5386-5683-9
Herausgeber: IEEE
DOI: 10.1109/meco.2018.8406078

Criticality-aware Design Space Exploration for Mixed-Criticality Embedded Systems

Autoren: Vittoriano Muttillo, Giacomo Valente, Luigi Pomante
Veröffentlicht in: Companion of the 2018 ACM/SPEC International Conference on Performance Engineering - ICPE '18, 2018, Seite(n) 45-46, ISBN 9781-450356299
Herausgeber: ACM
DOI: 10.1145/3185768.3185769

HEPSYCODE-RT - a Real-Time Extension for an ESL HW/SW Co-Design Methodology

Autoren: Vittoriano Muttillo, Giacomo Valente, Daniele Ciambrone, Vincenzo Stoico, Luigi Pomante
Veröffentlicht in: Proceedings of the Rapido'18 Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools - RAPIDO '18, 2018, Seite(n) 1-6, ISBN 9781-450364171
Herausgeber: ACM
DOI: 10.1145/3180665.3180670

Tuning DSE for Heterogeneous Multi-Processor Embedded Systems by means of a Self-Equalized Weighted Sum Method

Autoren: Vittoriano Muttillo, Giuseppe Fiorilli, Tania Di Mascio
Veröffentlicht in: Proceedings of the 10th and 8th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures and Design Tools and Architectures for Multicore Embedded Computing Platforms - PARMA-DITAM 2019, 2019, Seite(n) 1-4, ISBN 9781-450363211
Herausgeber: ACM
DOI: 10.1145/3310411.3310412

CC4CS - an Off-the-Shelf Unifying Statement-Level Performance Metric for HW/SW Technologies

Autoren: Vittoriano Muttillo, Giacomo Valente, Luigi Pomante, Vincenzo Stoico, Fausto D'Antonio, Fabio Salice
Veröffentlicht in: Companion of the 2018 ACM/SPEC International Conference on Performance Engineering - ICPE '18, 2018, Seite(n) 119-122, ISBN 9781-450356299
Herausgeber: ACM
DOI: 10.1145/3185768.3186291

Design Space Exploration for Mixed-Criticality Embedded Systems Considering Hypervisor-Based SW Partitions

Autoren: Vittoriano Muttillo, Giacomo Valente, Luigi Pomante
Veröffentlicht in: 2018 21st Euromicro Conference on Digital System Design (DSD), 2018, Seite(n) 740-744, ISBN 978-1-5386-7377-5
Herausgeber: IEEE
DOI: 10.1109/dsd.2018.00115

A Tool-Supported Approach for Building the Architecture and Roadmap in MegaM@Rt2 Project

Autoren: Andrey Sadovykh, Alessandra Bagnato, Dragos Truscan, Pierluigi Pierini, Hugo Bruneliere, Abel Gómez, Jordi Cabot, Orlando Avila-García, Wasif Afzal
Veröffentlicht in: Proceedings of 6th International Conference in Software Engineering for Defence Applications - SEDA 2018, Ausgabe 925, 2020, Seite(n) 265-274, ISBN 978-3-030-14686-3
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-14687-0_24

A Feature-based Survey of Model View Approaches

Autoren: Hugo Bruneliere, Erik Burger, Jordi Cabot, Manuel Wimmer
Veröffentlicht in: Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems - MODELS '18, 2018, Seite(n) 211-211, ISBN 9781-450349499
Herausgeber: ACM
DOI: 10.1145/3239372.3242895

Enhanced publish/subscribe in CoAP - describing advanced subscription mechanisms for the observe extension

Autoren: Markel Iglesias-Urkia, Diego Casado-Mansilla, Simon Mayer, Aitor Urbieta
Veröffentlicht in: Proceedings of the 8th International Conference on the Internet of Things - IOT '18, 2018, Seite(n) 1-8, ISBN 9781-450365642
Herausgeber: ACM
DOI: 10.1145/3277593.3277594

Availability-Driven Architectural Change Propagation Through Bidirectional Model Transformations Between UML and Petri Net Models

Autoren: Vittorio Cortellessa, Romina Eramo, Michele Tucci
Veröffentlicht in: 2018 IEEE International Conference on Software Architecture (ICSA), 2018, Seite(n) 125-12509, ISBN 978-1-5386-6398-1
Herausgeber: IEEE
DOI: 10.1109/icsa.2018.00022

Towards Scalable Model Views on Heterogeneous Model Resources

Autoren: Hugo Bruneliere, Florent Marchand de Kerchove, Gwendal Daniel, Jordi Cabot
Veröffentlicht in: Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems - MODELS '18, 2018, Seite(n) 334-344, ISBN 9781-450349499
Herausgeber: ACM
DOI: 10.1145/3239372.3239408

From Natural Language Requirements to Passive Test Cases Using Guarded Assertions

Autoren: Flemstrom Daniel, Enoiu Eduard, Azal Wasif, Sundmark Daniel, Gustafsson Thomas, Kobetski Avenir
Veröffentlicht in: 2018 IEEE International Conference on Software Quality, Reliability and Security (QRS), 2018, Seite(n) 470-481, ISBN 978-1-5386-7757-5
Herausgeber: IEEE
DOI: 10.1109/qrs.2018.00060

Towards MARTE++: an enhanced UML-based language to Model and Analyse Real-Time and Embedded Systems for the IoT age

Autoren: Julio L. Medina and Eugenio Villar
Veröffentlicht in: 2017
Herausgeber: UC

The MegaM@Rt2 ECSEL Project: MegaModelling at Runtime — Scalable Model-based Framework for Continuous Development and Runtime Validation of Complex Systems

Autoren: Abel Gómez, Orlando Ávila-García, Jordi Cabot, José Ramón Juárez, Aitor Urbieta
Veröffentlicht in: 2018
Herausgeber: SISTEDES

Automated Functional Dependency Detection Between Test Cases Using Doc2Vec and Clustering

Autoren: Sahar Tahvili, Leo Hatvani, Michael Felderer, Wasif Afzal, Markus Bohlin
Veröffentlicht in: 2019 IEEE International Conference On Artificial Intelligence Testing (AITest), 2019, Seite(n) 19-26, ISBN 978-1-7281-0492-8
Herausgeber: IEEE
DOI: 10.1109/aitest.2019.00-13

A Practical Approach Towards Validating HIL Simulation of a Safety-Critical System

Autoren: Athanasios Stratis, Adnan Causevic
Veröffentlicht in: 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2017, Seite(n) 40-43, ISBN 978-1-5386-2387-9
Herausgeber: IEEE
DOI: 10.1109/issrew.2017.22

An Energy-aware Mutation Testing Framework for EAST-ADL Architectural Models

Autoren: Marinescu, Raluca; Filipovikj, Predrag; Enoiu, Eduard
Veröffentlicht in: 29th Nordic Workshop on Programming Theory, Ausgabe 2, 2017, Seite(n) 40--42
Herausgeber: Turku Center of Computer Science
DOI: 10.5281/zenodo.3473469

Test Agents: The Next Generation of Test Cases

Autoren: Eduard Enoiu, Mirgita Frasheri
Veröffentlicht in: 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2019, Seite(n) 305-308, ISBN 978-1-7281-0888-9
Herausgeber: IEEE
DOI: 10.1109/ICSTW.2019.00070

IntegrationDistiller: Automating Integration Analysis and Testing of Object-Oriented Applications

Autoren: Mehrdad Saadatmand
Veröffentlicht in: 2019 IEEE International Conference on Industrial Technology (ICIT), 2019, Seite(n) 1385-1392, ISBN 978-1-5386-6376-9
Herausgeber: IEEE
DOI: 10.1109/icit.2019.8755027

Combinatorial Modeling and Test Case Generation for Industrial Control Software Using ACTS

Autoren: Sara Ericsson, Eduard Enoiu
Veröffentlicht in: 2018 IEEE International Conference on Software Quality, Reliability and Security (QRS), 2018, Seite(n) 414-425, ISBN 978-1-5386-7757-5
Herausgeber: IEEE
DOI: 10.1109/QRS.2018.00055

A Comparative Study of Manual and Automated Testing for Industrial Control Software

Autoren: Eduard Enoiu, Daniel Sundmark, Adnan Causevic, Paul Pettersson
Veröffentlicht in: 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST), 2017, Seite(n) 412-417, ISBN 978-1-5090-6031-3
Herausgeber: IEEE
DOI: 10.1109/icst.2017.44

Can Pairwise Testing Perform Comparably to Manually Handcrafted Testing Carried Out by Industrial Engineers?

Autoren: Peter Charbachi, Linus Eklund, Eduard Enoiu
Veröffentlicht in: 2017 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C), 2017, Seite(n) 92-99, ISBN 978-1-5386-2072-4
Herausgeber: IEEE
DOI: 10.1109/qrs-c.2017.23

On the Measurement of Software Complexity for PLC Industrial Control Systems using TIQVA

Autoren: Adnan Muslija , Eduard Paul Enoiu
Veröffentlicht in: The 35th ACM/SIGAPP Symposium On Applied Computing, Ausgabe 4, 2020
Herausgeber: ACM
DOI: 10.5281/zenodo.3695585

MBRP: Model-based Requirements Prioritization Using PageRank Algorithm

Autoren: Muhammad Abbas, Irum Inayat , Naila Jan , Mehrdad Saadatmand, Eduard Paul Enoiu, Daniel Sundmark
Veröffentlicht in: 2019 26th Asia-Pacific Software Engineering Conference (APSEC), Ausgabe 3, 2019
Herausgeber: IEEE
DOI: 10.5281/zenodo.3695571

Towards Execution Time Prediction for Manual Test Cases from Test Specification

Autoren: Sahar Tahvili, Mehrdad Saadatmand, Markus Bohlin, Wasif Afzal, Sharvathul Hasan Ameerjan
Veröffentlicht in: 2017 43rd Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2017, Seite(n) 421-425, ISBN 978-1-5386-2141-7
Herausgeber: IEEE
DOI: 10.1109/seaa.2017.10

Xmodeling Studio : un outil pour définir des DSL exécutables

Autoren: L ́ea Brunschwig1, Eric Cariou1, and Olivier Le Goaer1
Veröffentlicht in: 7ème Conférence en IngénieriE du Logiciel (CIEL 2018), 2018
Herausgeber: 7ème Conférence en IngénieriE du Logiciel (CIEL 2018)

Model-Based System Engineering in Practice - Document Generation - MegaM@Rt2 Project Experience

Autoren: Andrey Sadovykh, Adnan Ashraf, Alessandra Bagnato, Dragos Truscan, Pierluigi Pierini, Hugo Bruneliera, Orlando Avila-Carcia, Wasif Afzal
Veröffentlicht in: Proceedings of the 14th Central and Eastern European Software Engineering Conference Russia on ZZZ - CEE-SECR '18, 2018, Seite(n) 1-6, ISBN 9781-450361767
Herausgeber: ACM Press
DOI: 10.1145/3290621.3290633

A Microservice Reference Case Study for Design-Runtime Interaction in MDE

Autoren: Daniele Di Pompeo, Michele Tucci, Alessandro Celi, Romina Eramo
Veröffentlicht in: 2019
Herausgeber: CEUR

Proceedings of the 2nd International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems (MDE@DeRun 2019)

Autoren: Hugo Bruneliere, Romina Eramo, Abel Gomez
Veröffentlicht in: 2019
Herausgeber: CEUR

Exploratory Performance Testing Using Reinforcement Learning

Autoren: Tanwir Ahmad, Adnan Ashraf, Dragos Truscan, Ivan Porres
Veröffentlicht in: 2019 45th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2019, Seite(n) 156-163, ISBN 978-1-7281-3421-5
Herausgeber: IEEE
DOI: 10.1109/seaa.2019.00032

MATERA2-AlfTester: An Exhaustive Simulation and Test Generation Tool for fUML Models

Autoren: Junaid Iqbal, Adnan Ashraf, Dragos Truscan, Ivan Porres
Veröffentlicht in: 2019 45th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2019, Seite(n) 466-470, ISBN 978-1-7281-3421-5
Herausgeber: IEEE
DOI: 10.1109/seaa.2019.00075

HW/SW Co-Design Framework for Mixed-Criticality Embedded Systems Considering Xtratum-Based SW Partitions

Autoren: Vittoriano Muttillo, Luigi Pomante, Patricia Balbastre, Jose Simo, Alfons Crespo
Veröffentlicht in: 2019 22nd Euromicro Conference on Digital System Design (DSD), 2019, Seite(n) 554-561, ISBN 978-1-7281-2862-7
Herausgeber: IEEE
DOI: 10.1109/dsd.2019.00085

An Integrated Model-Based Tool Chain for Managing Variability in Complex System Design

Autoren: Damir Bilic, Etienne Brosse, Andrey Sadovykh, Dragos Truscan, Hugo Bruneliere, Uwe Ryssel
Veröffentlicht in: 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), 2019, Seite(n) 288-293, ISBN 978-1-7281-5125-0
Herausgeber: IEEE
DOI: 10.1109/models-c.2019.00045

UMLto[No]SQL: Mapping Conceptual Schemas to Heterogeneous Datastores

Autoren: Gwendal Daniel, Abel Gomez, Jordi Cabot
Veröffentlicht in: 2019 13th International Conference on Research Challenges in Information Science (RCIS), 2019, Seite(n) 1-13, ISBN 978-1-7281-4844-1
Herausgeber: IEEE
DOI: 10.1109/rcis.2019.8877094

Analysis of large sparse graphs using regular decomposition of graph distance matrices

Autoren: Hannu Reittu, Lasse Leskela, Tomi Raty, Marco Fiorucci
Veröffentlicht in: 2018 IEEE International Conference on Big Data (Big Data), 2018, Seite(n) 3784-3792, ISBN 978-1-5386-5035-6
Herausgeber: IEEE
DOI: 10.1109/bigdata.2018.8622118

Towards analyzing large graphs with quantum annealing

Autoren: Hannu Reittu, Ville Kotovirta, Lasse Leskela, Hannu Rummukainen, Tomi Raty
Veröffentlicht in: 2019 IEEE International Conference on Big Data (Big Data), 2019, Seite(n) 2457-2464, ISBN 978-1-7281-0858-2
Herausgeber: IEEE
DOI: 10.1109/bigdata47090.2019.9006174

Towards a Model-Driven Product Line Engineering Process – An Industrial Case Study

Autoren: Damir Bilic and Daniel Sundmark and Wasif Afzal and Peter Wallin and Adnan Causevic and Christoffer Amlinger and Dani Barkah
Veröffentlicht in: 2020
Herausgeber: ACM

Una Aproximación Basada en Modelos para la Definición de Arquitecturas Asíncronas

Autoren: Abel Gómez, Iker Fernandez de Larrea, Markel Iglesias-Urkia, Beatriz Lopez-Davalillo, Aitor Urbieta, Jordi Cabot
Veröffentlicht in: 2019
Herausgeber: SISTEDES

A generic solution for weaving business code into executable models

Autoren: Eric Cariou, Olivier le Goaer, Léa Brunschwig, Franck Barbier
Veröffentlicht in: Ausgabe 4th International Workshop on Executable Modeling at MoDELS (EXE 2018), 2018
Herausgeber: CEUR Workshop Proceedings

On the Measurement of Software Complexity for PLC Industrial Control Systems using TIQVA

Autoren: Adnan Muslija and Eduard Paul Enoiu
Veröffentlicht in: 2020
Herausgeber: ACM

Runtime Architect: Link Performance Design to Runtime Aspects

Autoren: Rafik Henia, Laurent Rioux, Nicolas Sordon, Adel Gasri
Veröffentlicht in: Real Time Systems Symposium, 2019, Seite(n) 11-12
Herausgeber: IEEE

Enabling easy Web of Things compatible device generation using a Model-Driven Engineering approach

Autoren: Markel Iglesias-Urkia, Abel Gómez, Diego Casado-Mansilla, Aitor Urbieta
Veröffentlicht in: Proceedings of the 9th International Conference on the Internet of Things - IoT 2019, 2019, Seite(n) 1-8, ISBN 9781-450372077
Herausgeber: ACM Press
DOI: 10.1145/3365871.3365898

A Contract-Based Approach to Scheduling and Verification of Dynamic Dataflow Networks

Autoren: Jonatan Wiik, Johan Ersfolk, Marina Walden
Veröffentlicht in: 2018 16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), 2018, Seite(n) 1-10, ISBN 978-1-5386-6195-6
Herausgeber: IEEE
DOI: 10.1109/memcod.2018.8557004

Modelling Programmable Logic Controllers in Refinement Calculus of Reactive Systems

Autoren: Viorel Preoteasa, Timo Latvala, Kimmo Varpaaniemi
Veröffentlicht in: Concurrency Specification and Programming 2019, Ausgabe Vol-2571, 2019, ISSN 1613-0073
Herausgeber: CEUR-WS

Applying Test-driven Development in Evaluating Student Projects

Autoren: Cuong Huy Tran, Dragos Truscan, Tanwir Ahmad
Veröffentlicht in: 6th International Conference on Higher Education Advances (HEAd'20), 2020, ISBN 9788490488119
Herausgeber: Universitat Politècnica de València
DOI: 10.4995/head20.2020.11218

Identifying worst-case user scenarios for performance testing of web applications using Markov-chain workload models

Autoren: Tanwir Ahmad, Dragos Truscan, Ivan Porres
Veröffentlicht in: Future Generation Computer Systems, 2018, ISSN 0167-739X
Herausgeber: Elsevier BV
DOI: 10.1016/j.future.2018.01.042

SPOF—Slave Powerlink on FPGA for Smart Sensors and Actuators Interfacing for Industry 4.0 Applications

Autoren: Giacomo Valente, Vittoriano Muttillo, Mirco Muttillo, Gianluca Barile, Alfiero Leoni, Walter Tiberti, Luigi Pomante
Veröffentlicht in: Energies, Ausgabe 12/9, 2019, Seite(n) 1633, ISSN 1996-1073
Herausgeber: Multidisciplinary Digital Publishing Institute (MDPI)
DOI: 10.3390/en12091633

ESPRET: A tool for execution time estimation of manual test cases

Autoren: Sahar Tahvili, Wasif Afzal, Mehrdad Saadatmand, Markus Bohlin, Sharvathul Hasan Ameerjan
Veröffentlicht in: Journal of Systems and Software, Ausgabe 146, 2018, Seite(n) 26-41, ISSN 0164-1212
Herausgeber: Elsevier BV
DOI: 10.1016/j.jss.2018.09.003

Distributing relational model transformation on MapReduce

Autoren: Amine Benelallam, Abel Gómez, Massimo Tisi, Jordi Cabot
Veröffentlicht in: Journal of Systems and Software, Ausgabe 142, 2018, Seite(n) 1-20, ISSN 0164-1212
Herausgeber: Elsevier BV
DOI: 10.1016/j.jss.2018.04.014

sOrTES: A Supportive Tool for Stochastic Scheduling of Manual Integration Test Cases

Autoren: Sahar Tahvili, Rita Pimentel, Wasif Afzal, Marcus Ahlberg, Eric Fornander, Markus Bohlin
Veröffentlicht in: IEEE Access, Ausgabe 7, 2019, Seite(n) 12928-12946, ISSN 2169-3536
Herausgeber: Institute of Electrical and Electronics Engineers Inc.
DOI: 10.1109/access.2019.2893209

Reasoning about UML/OCL class diagrams using constraint logic programming and formula

Autoren: Beatriz Pérez, Ivan Porres
Veröffentlicht in: Information Systems, Ausgabe 81, 2019, Seite(n) 152-177, ISSN 0306-4379
Herausgeber: Elsevier Science & Technology
DOI: 10.1016/j.is.2018.08.005

Advanced prefetching and caching of models with PrefetchML

Autoren: Gwendal Daniel, Gerson Sunyé, Jordi Cabot
Veröffentlicht in: Software & Systems Modeling, Ausgabe 18/3, 2019, Seite(n) 1773-1794, ISSN 1619-1366
Herausgeber: Springer Verlag
DOI: 10.1007/s10270-018-0671-8

The MegaM@Rt2 ECSEL project: MegaModelling at Runtime – Scalable model-based framework for continuous development and runtime validation of complex systems

Autoren: Wasif Afzal, Hugo Bruneliere, Davide Di Ruscio, Andrey Sadovykh, Silvia Mazzini, Eric Cariou, Dragos Truscan, Jordi Cabot, Abel Gómez, Jesús Gorroñogoitia, Luigi Pomante, Pavel Smrz
Veröffentlicht in: Microprocessors and Microsystems, Ausgabe 61, 2018, Seite(n) 86-95, ISSN 0141-9331
Herausgeber: Elsevier BV
DOI: 10.1016/j.micpro.2018.05.010

A feature-based survey of model view approaches

Autoren: Hugo Bruneliere, Erik Burger, Jordi Cabot, Manuel Wimmer
Veröffentlicht in: Software & Systems Modeling, Ausgabe 18/3, 2019, Seite(n) 1931-1952, ISSN 1619-1366
Herausgeber: Springer Verlag
DOI: 10.1007/s10270-017-0622-9

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

Autoren: Romina Eramo, Florent Marchand de Kerchove, Maximilien Colange, Michele Tucci, Julien Ouy, Hugo Bruneliere, Davide Di Ruscio
Veröffentlicht in: The Journal of Object Technology, Ausgabe 18/2, 2019, Seite(n) 1:1, ISSN 1660-1769
Herausgeber: EtH Zurich
DOI: 10.5381/jot.2019.18.2.a1

Integrating Electrical Substations Within the IoT Using IEC 61850, CoAP, and CBOR

Autoren: Markel Iglesias-Urkia, Diego Casado-Mansilla, Simon Mayer, Josu Bilbao, Aitor Urbieta
Veröffentlicht in: IEEE Internet of Things Journal, Ausgabe 6/5, 2019, Seite(n) 7437-7449, ISSN 2327-4662
Herausgeber: Institute of Electrical and Electronics Engineers Inc.
DOI: 10.1109/JIOT.2019.2903344

Dealing with Non-Functional Requirements in Model-Driven Development: A Survey

Autoren: David Ameller, Ana Moreira, Henry Muccini, Antonio Vallecillo, Manuel Wimmer, Vasco Amaral, Wolfgang Bohm, Hugo Bruneliere, Loli Burgueno, Miguel Goulao, Sabine Teufl, Xavier Franch, Luca Berardinelli, Cristina Gomez, Silverio Martinez-Fernandez, Joao Araujo, Stefan Biffl, Jordi Cabot, Vittorio Cortellessa, Daniel Mendez
Veröffentlicht in: IEEE Transactions on Software Engineering, 2019, Seite(n) 1-1, ISSN 0098-5589
Herausgeber: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tse.2019.2904476

Model-based testing using UML activity diagrams: A systematic mapping study

Autoren: Tanwir Ahmad, Junaid Iqbal, Adnan Ashraf, Dragos Truscan, Ivan Porres
Veröffentlicht in: Computer Science Review, Ausgabe 33, 2019, Seite(n) 98-112, ISSN 1574-0137
Herausgeber: Elsevier BV
DOI: 10.1016/j.cosrev.2019.07.001

On a tool-supported model-based approach for building architectures and roadmaps: The MegaM@Rt2 project experience

Autoren: Andrey Sadovykh, Wasif Afzal, Dragos Truscan, Pierluigi Pierini, Hugo Bruneliere, Alessandra Bagnato, Abel Gómez, Jordi Cabot, Orlando Avila-García
Veröffentlicht in: Microprocessors and Microsystems, Ausgabe 71, 2019, Seite(n) 102848, ISSN 0141-9331
Herausgeber: Elsevier BV
DOI: 10.1016/j.micpro.2019.102848

SystemC-based electronic system-level design space exploration environment for dedicated heterogeneous multi-processor systems

Autoren: Luigi Pomante, Vittoriano Muttillo, Marco Santic, Paolo Serri
Veröffentlicht in: Microprocessors and Microsystems, Ausgabe 72, 2020, Seite(n) 102898, ISSN 0141-9331
Herausgeber: Elsevier BV
DOI: 10.1016/j.micpro.2019.102898

Information Flow in Software Testing – An Interview Study With Embedded Software Engineering Practitioners

Autoren: Per Erik Strandberg, Eduard Paul Enoiu, Wasif Afzal, Daniel Sundmark, Robert Feldt
Veröffentlicht in: IEEE Access, Ausgabe 7, 2019, Seite(n) 46434-46453, ISSN 2169-3536
Herausgeber: Institute of Electrical and Electronics Engineers Inc.
DOI: 10.1109/access.2019.2909093

Guest editors’ introduction to the special issue on Model Driven Engineering and Reverse Engineering: Research and Practice

Autoren: Francesca Arcelli Fontana, Hugo Bruneliere, Hausi Müller, Claudia Raibulet
Veröffentlicht in: Journal of Systems and Software, Ausgabe 159, 2020, Seite(n) 110446, ISSN 0164-1212
Herausgeber: Elsevier BV
DOI: 10.1016/j.jss.2019.110446

Regular Decomposition of Large Graphs: Foundation of a Sampling Approach to Stochastic Block Model Fitting

Autoren: Hannu Reittu, Ilkka Norros, Tomi Räty, Marianna Bolla, Fülöp Bazsó
Veröffentlicht in: Data Science and Engineering, Ausgabe 4/1, 2019, Seite(n) 44-60, ISSN 2364-1185
Herausgeber: Springer
DOI: 10.1007/s41019-019-0084-x

Unsupervised online detection and prediction of outliers in streams of sensor data

Autoren: Niko Reunanen, Tomi Räty, Juho J. Jokinen, Tyler Hoyt, David Culler
Veröffentlicht in: International Journal of Data Science and Analytics, 2019, ISSN 2364-415X
Herausgeber: Springer
DOI: 10.1007/s41060-019-00191-3

Robust methods and conditional expectations for vehicular traffic count analysis

Autoren: Jorma Kilpi, Ilkka Norros, Pirkko Kuusela, Fanny Malin, Tomi Räty
Veröffentlicht in: European Transport Research Review, Ausgabe 12/1, 2020, ISSN 1867-0717
Herausgeber: Springer Verlag
DOI: 10.1186/s12544-020-0399-8

A Two-Layer Component-Based Allocation for Embedded Systems with GPUs

Autoren: Gabriel Campeanu, Mehrdad Saadatmand
Veröffentlicht in: Designs, Ausgabe 3/1, 2019, Seite(n) 6, ISSN 2411-9660
Herausgeber: MDPI
DOI: 10.3390/designs3010006

Clustering Structure Analysis in Time-Series Data With Density-Based Clusterability Measure

Autoren: Juho Jokinen, Tomi Räty & Timo Lintonen
Veröffentlicht in: IEEE/CAA Journal of Automatica Sinica, 2019, ISSN 2329-9274
Herausgeber: IEEE Advancing Technology for Humanity

Self-Learning of Multivariate Time Series Using Perceptually Important Points

Autoren: Timo Lintonen & Tomi Räty
Veröffentlicht in: IEEE/CAA Journal of Automatica Sinica, 2019, ISSN 2329-9274
Herausgeber: IEEE Advancing Technology for Humanity

An evaluation of Monte Carlo-based hyper-heuristic for interaction testing of industrial embedded software applications

Autoren: Bestoun S. Ahmed, Eduard Enoiu, Wasif Afzal, Kamal Z. Zamli
Veröffentlicht in: Soft Computing, 2020, ISSN 1432-7643
Herausgeber: Springer Verlag
DOI: 10.1007/s00500-020-04769-z

Model Testing of Complex Embedded Systems Using EAST-ADL and Energy-Aware Mutations

Autoren: Eduard Paul Enoiu, Cristina Seceleanu
Veröffentlicht in: Designs, Ausgabe 4/1, 2020, Seite(n) 5, ISSN 2411-9660
Herausgeber: MDPI
DOI: 10.3390/designs4010005

An improved software reliability prediction model by using high precision error iterative analysis method

Autoren: Gul Jabeen, Ping Luo, Wasif Afzal
Veröffentlicht in: Software Testing, Verification and Reliability, Ausgabe 29/6-7, 2019, ISSN 0960-0833
Herausgeber: John Wiley & Sons Inc.
DOI: 10.1002/stvr.1710

Improving software requirements reasoning by novices: a story-based approach

Autoren: Rubia Fatima, Affan Yasin, Lin Liu, Jianmin Wang, Wasif Afzal, Atif Yasin
Veröffentlicht in: IET Software, Ausgabe 13/6, 2019, Seite(n) 564-574, ISSN 1751-8806
Herausgeber: Institution of Engineering and Technology
DOI: 10.1049/iet-sen.2018.5379

Scalable model views over heterogeneous modeling technologies and resources

Autoren: Hugo Bruneliere, Florent Marchand de Kerchove, Gwendal Daniel, Sina Madani, Dimitris Kolovos, Jordi Cabot
Veröffentlicht in: Software and Systems Modeling, 2020, ISSN 1619-1366
Herausgeber: Springer Verlag
DOI: 10.1007/s10270-020-00794-6

The Refinement Calculus of Reactive Systems Toolset

Autoren: Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis
Veröffentlicht in: International Journal on Software Tools for Technology Transfer, 2020, ISSN 1433-2779
Herausgeber: Springer Verlag
DOI: 10.1007/s10009-020-00561-4

Service-Oriented Approach in Base Transceiver Station Platform Software Design Utilizing Domain-Specific Modeling

Autoren: Veikka Grekula
Veröffentlicht in: 2018
Herausgeber: OULU University

3D Visualization in Continuous Integration Big Data

Autoren: Rubini MattaSantharam
Veröffentlicht in: 2018
Herausgeber: Oulu University

Code Change Based Selective Testing in Continuous Integration Environment

Autoren: Juhani Wilen
Veröffentlicht in: 2018
Herausgeber: Oulu University

Multivariate statistical quality control and visualization

Autoren: Jarmo Niemi
Veröffentlicht in: 2019
Herausgeber: Oulu University

Digital twin using multivariate prediction

Autoren: Jere Puolakanaho
Veröffentlicht in: 2019
Herausgeber: Oulu University

Generic Model-based Approaches for Software Reverse Engineering and Comprehension

Autoren: Hugo Bruneliere
Veröffentlicht in: PhD thesis in Computer Science - Software Engineering (University of nantes), 2018
Herausgeber: University of Nantes

Model-Based Verification and Testing of Web Services - Functionality, Robustness, and Vulnerability Analysis

Autoren: Feazeh Siavashi
Veröffentlicht in: 2020
Herausgeber: Åbo Akademi Univesity

Suche nach OpenAIRE-Daten ...

MegaModelling at Runtime - scalable model-based framework for continuous development and runtime validation of complex systems.

Leistungen

Veröffentlichungen

Diese Seite teilen

Herunterladen