• Corpus ID: 17636723

PapyrusRT: Modelling and Code Generation (Invited Presentation)

  title={PapyrusRT: Modelling and Code Generation (Invited Presentation)},
  author={Ernesto Posse},
In this talk we introduce PapyrusRT, an open-source, industrial-strength model-driven development environment for real-time and embedded systems, implementing UML-RT [2,3], a UML-based language. PapyrusRT is implemented on top of Papyrus, an Eclipse modelling tool for UML, SysML, and EMF models. We describe the motivations for this project and in particular for the need of an open-source environment. We provide a brief summary of the UML-RT language and give a brief description of the tool… 

Figures from this paper

Calur: an Action Language for UML-RT

Calur is introduced, a proposed action language for UML-RT intended to be integrated within Papyrus-RT, and the syntax and semantics of Calur are described, and a preliminary implementation is described.

Modelling and Code Generation for Real-Time Embedded Systems with UML-RT and Papyrus-RT

  • N. HiliJ. DingelA. Beaulieu
  • Computer Science
    2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C)
  • 2017
The Model-Driven Engineering (MDE) of real-time embedded (RTE) systems with soft real- time constraints using UML for Real-Time (UML-RT) and Papyrus-RT is discussed.

Evaluation of UML-RT and Papyrus-RT for Modelling Self-Adaptive Systems

The suitability of the language for modelling structural and behavioural adaptations at design-and run-time and the use of UML-RT and Eclipse Papyrus for Real-Time for different kinds of adaptation is demonstrated.

Adding Run-Time Monitoring to UML-RT by Modifying the Papyrus-RT Code Generator

This work tries to add monitoring capabilities using Linux Trace Toolkit: next generation (LTTng) to models created in UML-RT using Papyrus-RT and creates an Extensible Markup Language (XML) file that allows developers to view their traces visually using Trace Compass, an Eclipse-based trace viewing tool.

A Framework for UML-Based Component-Based Design and Code Generation for Reactive Systems

This paper provides code generation patterns and framework-based tooling support for the combination and complete and efficient code generation from UML state machines and demonstrates the practicality, feasibility, and scalability of the proposed approach with two case studies.

Using LTTng for runtime monitoring of models of real-time embedded systems

This research focuses on examining the correctness of timing information related to UML-RT models and the ability to trace a user application, to read a trace file, and display the trace results on the model level through the implementation of an Eclipse plugin.

Supporting Model Refinement with Equivalence Checking in the Context of Model-driven Engineering with UML-RT

This work proposes a formal approach to compare pairs of models in which the second model is the result of an incremental modification of the first, and shows that the approach helps verify that the modification is behavior preserving, i.e., that it is a refinement in the sense of the formal methods literature.

Bidirectional Mapping between Architecture Model and Code for Synchronization

This paper proposes to ease synchronization between model and code, through a bidirectional mapping between code and architecture specified by UML composite structure and state machine, and proposes an evaluation plan for the approach and exposes preliminary experimental results.

BPMN modeling for HLA based simulation and visualization

The modeling phase of the HLA execution process is supported in order to explicitly design the desired steps of orchestration between distributed HLA federates through the interpretation of a business process diagram.

Including in HLA federation functional mockup units for supporting interoperability and reusability in distributed simulation

This paper aims to provide bridge between HLA and FMI standard in order to couple those technologies.



Real-time object-oriented modeling

ROOM formally constrains the implementation to its architectural specification, and is based on the ROOM mode ling language which combines the object paradigm with mode ling abstractions devised specifically for distributed real-time software.

Using UML for Modeling Complex Real-Time Systems

A set of modeling constructs that facilitate the specification of complex software architectures for real-time systems are described that are derived from field-proven concepts originally defined in the ROOM modeling language and shown how they can be represented using the industry-standard Unified Modeling Language (UML).

UML Superstructure Specification v2

  • UML Superstructure Specification v2
  • 2012