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.

Healthcare and the Common Good: Restructuring the Economy of Medical Knowledge through Communitarian Political Theory

The pharmaceutical industry wields disproportionate power and control within the medical economy of knowledge where the desire for profit considerably outweighs health for its own sake. Utilizing the theoretical tools of political philosophy, this project restructures the economy of medical knowledge in order to lessen the oligarchical control possessed by the pharmaceutical industry. Ultimately, this project argues that an economy of medical knowledge structured around communitarian political theory lessens the current power dynamic without taking an anti-capitalist stance. Arising from the core commitments of communitarian-liberalism, the production, distribution, and consumption of medical knowledge all become guided processes seeking to realize the common good of quality healthcare. This project also considers two other theoretical approaches: liberalism and egalitarianism. A Medical knowledge economy structured around liberal political theory is ultimately rejected as it empowers the oligarchical status quo. Egalitarian political theory is able to significantly reduce the power imbalance problem but simultaneously renders inconsequential medical knowledge; therefore, it is also rejected.

Differential contributions of the mIPS and PMd in the movement planning of reaches investigated through HD-tDCS

To reach for a target, we must formulate a movement plan - a difference vector of the target position with respect to the starting hand position. While it is known that the medial part of the intraparietal sulcus (mIPS) and the dorsal premotor (PMd) activity reflects aspects of a kinematic plan for a reaching movement, it is unclear whether or how the two regions may differ. We investigated the functional roles of the mIPS and PMd in the planning of reaching movements using high definition transcranial direct current stimulation (HD-tDCS) and examined changes in horizontal endpoint error when participants were subjected to anodal and cathodal stimulation. The left mIPS and PMd were functionally localized with fMRI in each participant using an interleaved center-out pointing and saccade task and mapped onto the scalp using Brainsight. We adopted a randomized, single-blind design and applied anodal and cathodal stimulation (2mA for 20 min; 3cm radius 4x1 electrode placement) during 4 separate visits scheduled at least a week apart. Each participant performed 250 baseline, stimulation, and post-stimulation memory-guided reaches starting from one of two initial hand positions (IHPs) to one of 4 briefly flashed targets (20 cm distant, 5 cm apart horizontally) while fixating on a straight-ahead cross located at the target line. Separate 2-way repeated measures ANOVAs of horizontal endpoint error difference after cathodal tDCS at each stimulation site revealed a significant IHP by target position interaction effect at the left mIPS, and significant IHP and target main effects at the left PMd. Behaviorally, these effects corresponded to IHP-dependent contractions after cathodal mIPS tDCS and IHP-independent contractions after cathodal PMd tDCS. These results suggest that the movement vector is not yet formed at the input level of mIPS, but is encoded at the input of PMd. These results also indicate that tDCS is a viable, useful method in investigating movement planning properties through temporary perturbations of the system.