Projects

I am involved in the following (funded) projects:

• "Compositional specification and analysis of RTEdge(TM) models" (2013)

  • Funded by:

    • Natural Sciences and Engineering Research Council of Canada (NSERC) Engage Grants (EG)

    • Edgewater Computer Systems Inc.

  • Short description: RTEdge(TM) is an MDD software development environment developed by Edgewater, targeting mission-critical real-time embedded systems. RTEdge(TM) includes some capabilities to analyse models for correctness, but these capabilities have limited scalability. The goal of this project is to address these limitations by exploring contract-based specification and compositional analysis techniques for RTEdge(TM).

• "Execution and Analysis of Models of Real-Time Embedded Software Systems" (2008-2012)

  • Funded by:

    • Natural Sciences and Engineering Research Council of Canada (NSERC) Collaborative Research & Development (CRD)

    • IBM Canada

    • Malina Software Corp.

  • Short description: The goal is to provide support for analysis of UML-RT models (which can be created with IBM's RSA RTE modelling environment). To do this we transform UML-RT models into models of a language called kiltera, which is based on a real-time extension of the pi-calculus. We then perform different analyses on the resulting kiltera models.

• "Combining Model Evolution and Analysis in Model-Driven Development": (2010-2012)

  • Funded by:

    • Ontario Centres for Excellence (OCE)

    • IBM Canada

    • Malina Software Corp.

  • Short description: The goal is to provide support for analysis of evolving UML-RT models, that is, models which are being modified during the development process. To this end, we are looking into ways of supporting incremental analyses of models, this is, we are studying the question: "how do you update the results of analyzing a given model when the model has been updated?"