Publications – Scientific results from the MegaMart2 project

MegaM@Rt2 project results will be disseminated as scientific publications and presentations in conferences (such as, posters, keynote, tutorial, etc.) so that other technology vendors and industrial software development organizations are able to create tools and platforms that exploit or interoperate with MegaM@Rt2 technologies.

In what follows, we list the publications that have been accepted so far in workshops, conferences and journals. We´ll keep updating this list as soon as new publications become available.

 

2018 publications

    1. HEPSYCODE-RT: a Real-Time Extension for an ESL HW/SW Co-Design Methodology, V. Muttillo, G. Valente, D. Ciambrone, V. Stoico, and L. Pomante, RAPIDO 2018 
    2. Criticality-driven Design Space Exploration for Mixed-Criticality Heterogeneous Parallel Embedded Systems, V. Muttillo, G. Valente, and L. Pomante, PARMA-DITAM 2018 
    3. Criticality-aware Design Space Exploration for Mixed-Criticality Embedded Systems, V. Muttillo, G. Valente, and L. Pomante, ICPE 2018
    4. The MegaM@Rt2 ECSEL Project — MegaModelling at Runtime — Scalable Model-based Framework for Continuous Development and Runtime Validation of Complex SystemsWasif Afzal, Hugo Brunelière, Davide Di Ruscio, Andrey Sadovykh, Silvia Mazzini, Eric Cariou, Dragos Truscan, Jordi Cabot, Daniel Field, Luigi Pomante, EPESD 2018
    5. CC4CS: an Off-the-Shelf Unifying Statement-Level Performance Metric for HW/SW Technologies, Vittoriano Muttillo, Giacomo Valente, Luigi Pomante, Vincenzo Stoico, Fausto D’Antonio, Fabio Salice, Companion of ICPE 2018
    6. HEPSIM: An ESL HW/SW co-simulator/analysis tool for heterogeneous parallel embedded systems, Daniele Ciambrone, Vittoriano Muttillo, Luigi Pomante, Giacomo Valente, MECO 2018
    7. Injecting hypervisor-based software partitions into Design Space Exploration activities considering mixed-criticality requirements, Vittoriano Muttillo, Giacomo Valente, MECO 2018
    8. Towards Scalable Model Views on Heterogeneous Model Resources, Hugo Bruneliere,Florent Marchand de Kerchove, Gwendal Daniel, Jordi Cabot, MODELS 2018
    9. Enhanced publish/subscribe in CoAP: Describing advanced subscription mechanisms for the Observe extensionMarkel Iglesias-Urkia, Diego Casado-Mansilla, Simon Mayer and Aitor Urbieta, IOT 2018
    10. From Modeling to Test Case Generation in the Industrial Embedded System Domain, Aliya Hussain , Saurabh Tiwari, Jagadish Suryadevara, Eduard Paul Enoiu, MDE@DeRun 2018
    11. Combinatorial Modeling and Test Case Generation for Industrial Control Software Using ACTS, Sara Ericsson, Eduard Enoiu, QRS 2018
    12. From Natural Language Requirements to Passive Test Cases using Guarded Assertions, Daniel Flemström, Eduard Paul Enoiu, Wasif Afzal, Daniel Sundmark, Thomas Gustafsson , Avenir Kobetski, QRS 2018
    13. Improved Traceability for Bidirectional Model Transformations, Romina Eramo, Alfonso Pierantonio, Michele Tucci, MDETools2018
    14. Enhancing the JTL tool for bidirectional transformations, Romina Eramo, Alfonso Pierantonio, Michele Tucci, BX2018
    15. Availability-Driven Architectural Change Propagation Through Bidirectional Model Transformations Between UML and Petri Net Models, Vittorio Cortellessa, Romina Eramo, Michele Tucci, ICSA 2018

 

2017 publications

  1. A Feature-based Survey of Model View Approaches, Hugo Bruneliere, Erik Burger, Jordi Cabot, Manuel Wimmer, Softw Syst Model, 2017 
  2. Identifying worst-case user scenarios for performance testing of web applications using Markov-chain workload modelsTanwir Ahmad, Dragos Truscan, Ivan Porres, Future Generation Computer Systems, 2018 
  3. Reconstructing timed symbolic traces from rtioco-based timed test sequences using backward-inductionJunaid Iqbal, Dragos Truscan, Jüri Vain, and Ivan Porres, ECBS 2017  
  4. Short and Long Distance Marker Detection Technique in Outdoor and Indoor Environments for Embedded Systems, Álvaro Díaz, Daniel Peña, Eugenio Villar, DCIS 2017
  5. An Energy-aware Mutation Testing Framework for EAST-ADL Architectural Models Raluca Marinescu, Predrag Filipovikj, Eduard Paul Enoiu, Jonatan Larsson, Cristina Seceleanu, Workshop on Programming Theory, 2017 
  6. Can Pairwise Testing Perform Comparably to Manually Handcrafted Testing Carried Out by Industrial Engineers? Peter Charbachi, Linus Eklund, Eduard Enoiu, QRS-C 2017 
  7. A Practical Approach towards Validating HIL Simulation of a Safety-critical SystemAthanasios Stratis, Adnan Čaušević, ISSREW 2017 
  8. Towards MARTE++: an enhanced UML-based language to Model and Analyse Real-Time and Embedded Systems for the IoT age, Julio L. Medina and Eugenio Villar, FDL 2017 
  9. Using Timed Base-Choice Coverage Criterion for Testing Industrial Control SoftwareHenning Bergström,  Eduard Paul Enoiu, ICSTW 2017
  10. Automatic Test Generation for Energy Consumption of Embedded Systems Modeled in EAST-ADL, Raluca Marinescu,  Eduard Enoiu,  Cristina Seceleanu,  Daniel Sundmark,  ICSTW 2017
  11. A Comparative Study of Manual and Automated Testing for Industrial Control SoftwareEduard Enoiu; Daniel Sundmark; Adnan Čaušević; Paul Pettersson, ICST 2017 
  12. HW/SW Co-Simulator for Embedded Heterogeneous Parallel Systems, D. Ciambrone, V. Muttillo, G. Valente, L. Pomante, DSD 2017 
  13. The MegaM@Rt2 ECSEL Project: MegaModelling at Runtime – Scalable Model-Based Framework for Continuous Development and Runtime Validation of Complex Systems, Wasif Afzal, Hugo Brunelière, Davide Di Ruscio, Andrey Sadovykh, Silvia Mazzini, Eric Cariou, Dragos Truscan, Jordi Cabot, Daniel Field, Luigi Pomante, Pavel Smrz, DSD 2017
  14. Towards Execution Time Prediction for Manual Test Cases from Test Specification, Mehrdad Saadatmand, Markus Bohlin, Wasif Afzal, Sharvathul Hasan Ameerjan, SEAA 2018
Share This