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 Open Data Smart City: A Case Study of Smart City Progress through Open Data Initiatives

Smart cities, cities that are supported by an extensive digital infrastructure of sensors, databases and intelligent applications, have become a major area of academic, governmental and public interest. Simultaneously, there has been a growing interest in open data, the unrestricted use of organizational data for public viewing and use. Drawing on Science and Technology Studies (STS), Urban Studies and Political Economy, this thesis examines how digital processes, open data and the physical world can be combined in smart city development, through the qualitative interview-based case study of a Southern Ontario Municipality, Anytown. The thesis asks what are the challenges associated with smart city development and open data proliferation, is open data complimentary to smart urban development; and how is expertise constructed in these fields? The thesis concludes that smart city development in Anytown is a complex process, involving a variety of visions, programs and components. Although smart city and open data initiatives exist in Anytown, and some are even overlapping and complementary, smart city development is in its infancy. However, expert informants remained optimistic, faithful to a technologically sublime vision of what a smart city would bring. The thesis also questions the notion of expertise within the context of smart city and open data projects, concluding that assertions of expertise need to be treated with caution and scepticism when considering how knowledge is received, generated, interpreted and circulates, within organizations.

WAKING (TO) THINKING BEING: A STUDY OF EDUCATION, METAPHYSICS, MIND, AND LANGUAGE

This dissertation articulates the basic aims and achievements of education. It recognizes language as central to thinking, and philosophy and education as belonging profoundly to one another. The first step is to show that although philosophy can no longer claim to dictate the foundations of knowledge or of disciplines of inquiry, it still offers an exceptionally general level of self-understanding. Education is equally general and faces a similar crisis of self-identity, of coming to terms with reality. Language is the medium of thought and the repository of historical mind; so a child’s acquisition of language is her acquisition of rational freedom. This marks a metaphysical change: no longer merely an animal, she comes to exercise her powers of rationality, transcending her environment by seeking and expressing reasons for thinking and doing. She can think about herself in relation to the universe, hence philosophize and educate others in turn. The discussion then turns to the historical nature of language. The thinking already embedded in language always anticipates further questioning. Etymology serves as a model for philosophical understanding, and demonstrates how philosophy can continue to yield insights that are fundamental, but not foundational, to human life. The etymologies of some basic educational concepts disclose education as a leading out and into the midst of Being. The philosophical approach developed in previous chapters applies to the very idea of an educational aim. Discussion concerning the substantiality of educational ideals results in an impasse: one side recommends an open-­ended understanding of education’s aims; the other insists on a definitive account. However, educational ideals exhibit a conceptual duality: the fundamental achievements of education, such as rational freedom, are real; but how we should understand them remains an open question. The penultimate chapter investigates philosophical thinking as the fulfillment of rational freedom, whose creative insights can profoundly transform our everyday activities. That this transformative self-understanding is without end suggests the basic aims of education are unheimlich. The dissertation concludes with speculative reflection on the shape and nature of language, and with the suggestion that through education reality awakens to itself.

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.