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.

Polymer Light-Emitting Electrochemical Cells with Embedded Bipolar Electrodes: Visualizing Bipolar Electrochemistry in Solid State

The work presented in this thesis examines the properties of BPEs of various configurations and under different operating conditions in a large planar LEC system. Detailed analysis of time-lapsed fluorescence images allows us to calculate the doping propagation speed from the BPEs. By introducing a linear array of BPEs or dispersed ITO particles, multiple light-emitting junctions or a bulk homojunction have been demonstrated. In conclusion, it has been observed that both applied bias voltages and sizes of BPEs affected the electrochemical doping from the BPE. If the applied bias voltage was initially not sufficiently high enough, a delay in appearance of doping from the BPE would take place. Experiments of parallel BPEs with different sizes (large, medium, small) demonstrate that the potential difference across the BPEs has played a vital role in doping initiation. Also, the p-doping propagation distance from medium-sized BPE has displayed an exponential growth over the time-span of 70 seconds. Experiments with a linear array of BPEs with the same size demonstrate that the doping propagation speed of each floating BPE was the same regardless of its position between the driving electrodes. Probing experiments under high driving voltages further demonstrated the potential of having a much more efficient light emission from an LEC with multiple BPEs.