26 Hits in 4.8 sec

Live-UMLRT: A Tool for Live Modeling of UML-RT Models

Mojtaba Bagherzadeh, Karim Jahed, Benoit Combemale, Juergen Dingel
2019 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)  
This work presents Live-UMLRT, a tool that supports live modeling of UML-RT models when they are executed by code generation.  ...  This independence is achieved with the help of a model transformation which equips the model with support for, e.g., debugging and state transfer both of which are required for live modeling.  ...  UML-RT UML for Real-Time (UML-RT) [11] , [13] is a modeling language for designing Real-Time Embedded (RTE) systems with soft real-time constraints.  ... 
doi:10.1109/models-c.2019.00115 dblp:conf/models/BagherzadehJCD19 fatcat:4v6dwnxodrdtjlglki3dauz6bu

9th Workshop on Modelling in Software Engineering (MiSE 2017)

Davide Di Ruscio, Marsha Chechik, Bernhard Rumpe
2017 2017 IEEE/ACM 9th International Workshop on Modelling in Software Engineering (MiSE)  
Daniel Varro Budapest University of Technology  ...  Simula Research Laboratory Evaluation of UML-RT and Papyrus-RT for Modelling Self-Adaptive Systems .......................................... 10 Model for Reducing Risks to Private or Sensitive Data ..  ...  ................ 2 Paola Inverardi -University of L'Aquila Modeling Real-Time and Self-Adaptive Systems A Restricted Natural Language Based Use Case Modeling Methodology for Real-Time Systems .........  ... 
doi:10.1109/mise.2017.15 dblp:conf/icse/RuscioCR17 fatcat:shhdnww2zzcbfmwga2noyykc7q

Environment Modeling with UML/MARTE to Support Black-Box System Testing for Real-Time Embedded Systems: Methodology and Industrial Case Studies [chapter]

Muhammad Zohaib Iqbal, Andrea Arcuri, Lionel Briand
2010 Lecture Notes in Computer Science  
This paper was produced as part of the ITEA-2 project called VERDE. We thank Marius Christian Liaaen (Tandberg AS, part of Cisco Systems, Inc) for providing us the case study. References  ...  We are thankful to our industrial partners at Tomra and WesternGeco for their support throughout the project.  ...  Axelsson [6] evaluates how UML can be used to model real-time features and provides extension to UML for modeling of real-time systems and their environments.  ... 
doi:10.1007/978-3-642-16145-2_20 fatcat:y2jb4tcasrcabpdtl4gtaklxla

A Model-Driven Realization of AUV Controllers Based on the MDA/MBSE Approach

Ngo Van Hien, Van-Thuan Truong, Ngoc-Tam Bui, Rocío de Oña
2020 Journal of Advanced Transportation  
specification of the use-case model together with hybrid automata to gather the requirement analysis for control; the platform-independent model (PIM) is then designed by specializing the real-time UML  ...  The paper brings out stepwise adapted AUV dynamics for control that are then combined with the specialization of MDA/MBSE features as follows: the computation independent model (CIM) is defined by the  ...  Acknowledgments is work was supported by the Centennial SIT Action for the 100 th anniversary of Shibaura Institute of Technology to enter the top ten Asian Institute of Technology.  ... 
doi:10.1155/2020/8848776 fatcat:5jmrt4j3d5h67kyjurcw7fx43m

An Enabling Open-Source Technology for Development and Prototyping of Production Systems by Applying Digital Twinning

Robert Kazała, Sławomir Luściński, Paweł Strączyński, Albena Taneva
2021 Processes  
In recent years, many open-source technologies, including tools and protocols, have been developed to create virtual models of production systems.  ...  The authors present the evolution and role of the Digital Twin concept as one of the key technologies for implementing the Industry 4.0 paradigm in automation and control.  ...  Conflicts of Interest: The authors declare no conflict of interest.  ... 
doi:10.3390/pr10010021 fatcat:fg74bvghszcxhpphqhxkzwbmfq

COST IC1404 WG1 Deliverable WG1.1: State-of-the-art on Current Formalisms used in Cyber-Physical Systems Development

Stefan Klikovits, Rima Al-Ali, Moussa Amrani, Ankica Barisic, Fernando Barros, Dominique Blouin, Etienne Borde, Didier Buchs, Holger Giese, Miguel Goulao, Mauro Iacono, Florin Leon (+3 others)
2019 Zenodo  
It consists of a catalog of formalisms, modelling languages and tools for cyberphysical systems development.  ...  Deliverable WG1.1 of working group 1 on foundations for multi-paradigm modeling for cyber-physical systems.  ...  TTool (see section 2.4.78) • UML Analyzer (see section 2.4.79) References • (2018b), UML Website, UML-RT UML-RT is an extension of UML for the modelling of real-time systems.  ... 
doi:10.5281/zenodo.2538711 fatcat:itthyvenhfhmdn3f3jap7yf42y

On the automated translational execution of the action language for foundational UML

Federico Ciccozzi
2016 Journal of Software and Systems Modeling  
In light of this, model-aware action languages should be preferred. This is the case of the Action Language for Foundational UML (ALF).  ...  models and code as well as analysability and reusability of models.  ...  Moreover, the author would like to thank Thomas Åkerlund and Knightec AB, for the essential contribution to the implementation of the translational execution.  ... 
doi:10.1007/s10270-016-0556-7 pmid:30220904 pmcid:PMC6132576 fatcat:jgzdpfnzdjfhzdpkawls4g6mtm

Reusable event types for models at runtime to support the examination of runtime phenomena

Michael Szvetits, Uwe Zdun
2015 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS)  
This paper proposes a collection of runtime event types that can be reused for various systems and meta-models.  ...  It is not obvious which models are suitable for manual analysis and which model elements can be related to what type of runtime events.  ...  All parts are written entirely in Java, using 10,064 lines of code in total. Modelling the system was done in Eclipse with Obeo UML Designer 2 and Papyrus 3 .  ... 
doi:10.1109/models.2015.7338230 dblp:conf/models/SzvetitsZ15 fatcat:x4byw223wney5ndaica76vwmhy

Modeling and verification of Functional and Non-Functional Requirements of ambient Self-Adaptive Systems

Manzoor Ahmad, Nicolas Belloir, Jean-Michel Bruel
2015 Journal of Systems and Software  
We then use the concepts of Goal-Oriented Requirements Engineering for eliciting and modeling the requirements of Self-Adaptive Systems.  ...  We propose an integrated approach for modeling and verifying the requirements of Self-Adaptive Systems using Model Driven Engineering techniques.  ...  ., 2013) discusses four essential topics of self-adaptation: design space for self-adaptive solutions, software engineering processes for self-adaptive systems, from centralized to decentralized control  ... 
doi:10.1016/j.jss.2015.05.028 fatcat:lkketmkf2bbrjaj75ls3heqw3a

Model & Simulation-Based Systems Engineering Of Future Cyber-Physical Electrical Power Systems - Challenges And Foundations -

Luigi Vanfretti
2016 Zenodo  
Inspired by the tremendous advantages of the model-based system engineering (MBSE) framework developed by the aerospace and military communities, this talk will highlight the challenges to adopt MBSE for  ...  Micro-grids can be seen as a self-sufficient electrical power system that takes advantage of ICT technologies.  ...  Transformation 19 Model Transformation This classes compose an internal structure of CIM2Modelica Factory for storing the values from the CIM model CIM Model (UML -RDF) SysML (Papyrus)  ... 
doi:10.5281/zenodo.61879 fatcat:wbw7tjjaargtpeqxr4ka2m3fa4

SoC/SoPC Development using MDD and MARTE Profile [chapter]

Denis Aulagnier, Ali Koudri, Stéphane Lecomte, Philippe Soulard, Joël Champeau, Jorgiano Vidal, Gilles Perrouin, Pierre Leray
2013 Model-Driven Engineering for Distributed Real-Time Systems  
This methodology is based on UML and MDD and capitalizes the achievements of "Electronic System Level" community by taking into account the new MARTE profile dedicated to real-time embedded systems.  ...  The following sections present the different types of models identified in MOPCOM SoC/SoPC development methodology and the MARTE profile elements used at each level.  ...  the "Media and Networks" "cluster of clusters" and the Brittany and Pays de la Loire regions.  ... 
doi:10.1002/9781118558096.ch8 fatcat:74k4xfb2preurisqfg5o3r7vqm

The Evolution of Software Design Practices Over a Decade: A Long Term Study of Practitioners

Omar Badreddin, Khandoker Rahad, Andrew Forward, Timothy Lethbridge
2021 Journal of Object Technology  
The goal of the study is to uncover trends in the practice of software design and the adoption patterns of modeling languages such as UML.  ...  Future projections of this study suggest that diversity in modeling languages and tools is likely to continue to grow, as well as the increase in reliance on models for automated artifacts generation.  ...  ), ROOM / RT for UML, SDL, Formal (e.g.  ... 
doi:10.5381/jot.2021.20.2.a1 fatcat:j2vg2clwjzfznlfqq72zwfo3nq

Supporting pattern-based dependability engineering via model-driven development: Approach, tool-support and empirical validation

Brahim Hamid, Jon Perez
2016 Journal of Systems and Software  
We use Model-Driven Engineering (MDE) to describe dependability patterns and a methodology for developing dependable software systems using these patterns.  ...  Many domains are not traditionally involved in these types of software problems and must adapt their current processes accordingly.  ...  Particular thanks go to Adel Ziani and Jacob Geisel for their valuable assistance in the implementation and development of the SEMCO tools.  ... 
doi:10.1016/j.jss.2016.09.027 fatcat:gdjwfq3renecjljtbnll6q7ece

Model-driven engineering and run-time model-usage in service robotics

Andreas Steck, Alex Lotz, Christian Schlegel
2011 Proceedings of the 10th ACM international conference on Generative programming and component engineering - GPCE '11  
We describe how to explicate parameters, properties and resource information in the models at design-time and how to take these information into account by the run-time system of the robot to support its  ...  In this work we propose to put models into the focus of the whole life-cycle of robotic systems covering design-time as well as run-time.  ...  The authors gratefully acknowledge the research grants of state of Baden-Württemberg and the European Union.  ... 
doi:10.1145/2047862.2047875 dblp:conf/gpce/SteckLS11 fatcat:eevcuwdftjfnzdpgbhfniwyqvy

Supporting automated containment checking of software behavioural models

Muram Faiz Ul
2017 unpublished
Inconsistencies that are detected at later phases, when the system is already implemented or tested, require huge amounts of time and effort for correction, revision, and verification.  ...  The major contributions of this dissertation are novel concepts and techniques for automatic containment checking of software behaviour models.  ...  [EKG02] deal with the consistency of models made up of different submodels: UML-RT capsule and protocol statecharts.  ... 
doi:10.25365/thesis.47558 fatcat:pqjxp26psfgzlhll6fqybwzp3a
« Previous Showing results 1 — 15 out of 26 results