Model Development Guidelines for UML-RT: Conventions, Patterns and Antipatterns

Software development guidelines are a set of rules which can help improve the quality of software. These rules are defined on the basis of experience gained by the software development community over time. This paper discusses a set of design guidelines for model-based development of complex real-time embedded software systems. To be precise, we propose nine design conventions, three design patterns and thirteen antipatterns for developing UML-RT models. These guidelines have been identified based on our analysis of around 100 UML-RT models from industry and academia. Most of the guidelines are explained with the help of examples, and standard templates from the current state of the art are used for documenting the design rules.

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

In Model-Driven Engineering (MDE), the developer creates a model using a language such as Unified Modeling Language (UML) or UML for Real-Time (UML-RT) and uses tools such as Papyrus or Papyrus-RT that generate code for them based on the model they create. Tracing allows developers to get insights such as which events occur and timing information into their own application as it runs. We try to add monitoring capabilities using Linux Trace Toolkit: next generation (LTTng) to models created in UML-RT using Papyrus-RT. The implementation requires changing the code generator to add tracing statements for the events that the user wants to monitor to the generated code. We also change the makefile to automate the build process and we create an Extensible Markup Language (XML) file that allows developers to view their traces visually using Trace Compass, an Eclipse-based trace viewing tool. Finally, we validate our results using three models we create and trace.

THE MICROSTRUCTURES OF ZR-EXCEL ALLOY: EFFECTS OF HEAVY ION IRRADIATION, PLASTIC DEFORMATION, THERMAL TREATMENT AND IN-SITU HEATING

Zr-Excel alloy (Zr-3.5Sn-0.8Nb-0.8Mo) is a dual phase (α + β) alloy in the as-received pressure tube condition. It has been proposed to be the pressure tube candidate material for the Generation-IV CANDU-Supercritical Water Reactor (CANDU-SCWR). In this dissertation, the effects of heavy ion irradiation, deformation and heat treatment on the microstructures of the alloy were investigated to enable us to have a better understanding of the potential in-reactor performance of this alloy. In-situ heavy ion (1 MeV) irradiation was performed to study the nucleation and evolution of dislocation loops in both α- and β-Zr. Small and dense type dislocation loops form under irradiation between 80 and 450 °C. The number density tends to saturate at ~ 0.1 dpa. Compared with the α-Zr, the defect yield is much lower in β-Zr. The stabilities of the metastable phases (β-Zr and ω-Zr) and the thermal-dynamically equilibrium phase, fcc Zr(Mo, Nb)2, under irradiation were also studied at different temperatures. Chemi-STEM elemental mapping was carried out to study the elemental redistribution caused by irradiation. The stability of these phases and the elemental redistribution are strongly dependent on irradiation temperature. In-situ time-of-flight neutron diffraction tensile and compressive tests were carried out at different temperatures to monitor lattice strain evolutions of individual grain families during these tests. The β-Zr is the strengthening phase in this alloy in the as-received plate material. Load is transferred to the β-Zr after yielding of the α-Zr grains. The temperature dependence of static strain aging and the yielding sequence of the individual grain families were discussed. Strong tensile/compressive asymmetry was observed in the {0002} grain family at room temperature. The microstructures of the sample deformed at 400 °C and the samples only subjected to heat treatment at the same temperature were characterized with TEM. Concentration of β phase stabilizers in the β grain and the morphology of β grain have significant effect on the stability of β- and ω-Zr under thermal treatment. Applied stress/strain enhances the decomposition of isothermal ω phase but suppresses α precipitation inside the β grains at high temperature. An α → ω/ZrO phase transformation was observed in the thin foils of Zr-Excel alloy and pure Zr during in-situ heating at 700 °C in TEM.

Supporting Run-time Monitoring of UML-RT through Customizable Monitoring Configurations in PapyrusRT

Model Driven Engineering uses the principle that code can automatically be generated from software models which would potentially save time and cost of development. By this methodology, a systems structure and behaviour can be expressed in more abstract, high level terms without some of the accidental complexity that the use of a general purpose language can bring. Models are the actual implementation of the system unlike in traditional software development where models are often used for documentation purposes only. However once the code is generated from the model, testing and debugging activities tend to happen on the code level and the model is not updated. We believe that monitoring on the model level could potentially facilitate quality assurance activities as the errors are detected in the early phase of development. In this thesis, we create a Monitoring Configuration for an open source model driven engineering tool called PapyrusRT in Eclipse. We support the run-time monitoring of UML-RT elements with a tracing tool called LTTng. We annotate the model with monitoring information to be used by the code generator for adding tracepoint statements for the corresponding elements. We provide the option of a timing specification to discover latency errors on the model. We validate the results by creating and tracing real time models in PapyrusRT.