BLOGS WEBSITE

Research Funding

Research Grant: Assessment and OS-Level Mitigation of Timing Channels. K. Falkner and Y. Yarom, NICTA CRP ($232,167) (2014-2015)

The project will survey micro-architectural time-based covert channels and side channels on modern architectures. It will survey existing exploits and mitigation strategies, and attempt to quantify them. It will design, and implement minimal, low-overhead mechanisms for the seL4 microkernel that allow mitigation of those channels, and will analyse their effectiveness, in close collaboration with existing SSRG activities on covert information flow.

Model Driven Systems Engineering: Security in Virtualised Environments. K. Falkner and Y. Yarom, DSTO Research Contract ($110,000) (2014)
This contract will continues research between DSTO and the University of Adelaide on the research and development of security within virtualised environments. More specifically, extending our investigation to consider additional virtualisation environments (i.e. Xen) and considering the virtualisation use case within Defence and the impacts on security.

Model Driven Systems Engineering: Advanced Modelling of Communication Protocols. K. Falkner and C. Szabo, DSTO Research Contract ($130,000) (2014)
This contract will continues research between DSTO and the University of Adelaide on the research and development of new System Execution Modelling (SEM) capabilities, with a particular focus on the research, modelling and construction of alternative communications transport mechanisms.

Model Driven Systems Engineering. K. Falkner and C. Szabo, DSTO Research Contract ($420,000) (2013-2015)
This contract will form the next stage of research between DSTO and the University of Adelaide on the research and development of new System Execution Modelling (SEM) capabilities, with a particular focus on the research and construction of a workload calibration and normalisation capability to better represent application resource consumption characteristics and improved insight into system non-functional behaviours.

Review of Model Driven Software Engineering Practice: System Virtualisation. K. Falkner. DSTO Research Contract ($130,000) (2012-2013)
The main focus of this research is the application of the system virtualisation paradigm within the combat system domain. The research will undertake investigation and experimentation into security within Virtualised systems with the specific thrust being to provide advice on security domain (multiple layers of security) classification and isolation ability of Virtualised solutions.

Review of Model Driven Software Engineering Practice: System Execution Modelling Environment. K. Falkner, N. Falkner and C. Szabo, DSTO Research Contract ($75,000) (2012-2013)
The main focus of this research is the development of a complete SEM laboratory environment for analysis of submarine combat systems. The project will leverage the research initiated in prior research agreements utilising specialised knowledge bases and skill sets in the SEM and Open Architecture (OA) Combat System domains to satisfy the construction requirements for such an environment. The first main focus of this research is how best to implement and deliver an SEM environment that resides on the same infrastructure as an operational distributed real-time and embedded (DRE) system for the purpose of performance analysis of system design.

Review of Model Driven Software Engineering Practice: Extending the Reference Combat management and System Execution Modelling Capability. K. Falkner, N. Falkner and C. Szabo, DSTO Research Contract ($490,000) (2012-2013)
This contract will form the next phase of collaborative research on the research and development of new System Execution Modelling capabilities, the next phase of development of the Reference Combat Management System and development of software and hardware architecture visualisation tool suites. The research will also examine new software development philosophies and techniques to complement the research areas.

The project will continue the research initiated in prior research agreements utilising specialised knowledge bases and skill sets in the System Execution Modelling and Open Architecture Combat System domains, while extending into complementary fields. As with previous collaborative research, this project will once again focus on building capabilities associated with providing insight into integration and performance early in the development cycle of distributed real-time and embedded systems, specifically maritime combat systems.

Review of Model Driven Software Engineering Practice: System Execution Modelling. K. Falkner, DSTO Research Contract ($120,000) (2012)
The project will continue the research initiated in prior research agreements utilising specialised knowledge bases and skill sets in the SEM domain, while extending into complementary fields. As with previous collaborative research, this project will once again focus on building capabilities associated with providing insight into integration and performance early in the development cycle of distributed real-time and embedded systems, specifically maritime combat systems. The research will also examine, and where possible develop, new software development philosophies and techniques to complement the SEM evaluation capabilities, and will be utilising the combat system computing environment setup at the University of Adelaide.

Review of Model Driven Software Engineering Practice: Reference Combat Management System Development. K. Falkner, DSTO Research Contract ($225,000) (2011-2012)
To complement the System Execution Modelling (SEM) and Model Driven Development (MDD) research, the construction of a representative implementation of a combat management system will be initiated. Known as the reference Combat Management System, or refCMS, this will be developed in order to demonstrate how modern software engineering principles can be utilised to create and manage a software product line (SPL) for distributed combat management systems. Representative software components will be deployed on standards-compliant middleware, utilising MDD, SEM and SPL software development practices.

Review of Model Driven Software Engineering Practice: UAV Models. K. Falkner, DSTO Research Contract ($46,500) (2011)
The development of complex software systems for Defence applications is undergoing a step change in the philosophy and methodology used, with the trend moving toward the use of Model Driven Development (MDD) and Continuous Integration and Test frameworks, such as System Execution Modelling (SEM) Environments. There is a need for defence organisations to understand the issues and benefits that arise out of the use of such approaches, and how to leverage the techniques to best effect. This project endeavours to address these needs through the implementation of an execution modelling computing environment, contribution (where possible) towards the development of a generic combat system execution model and collaborative research into generic execution modelling techniques needed for combat system performance analysis. It will also contribute to the development of a laboratory visualisation tool suite that will be used within the SEM laboratory environment.

Review of Model Driven Software Engineering Practice. K. Falkner, DSTO Research Contract ($70,000) (2010)
The development of complex software systems for Defence applications is undergoing a step change in the approach and methodology used, with the trend moving toward the use of Model Based Systems Engineering and Model Driven Development. There is a need for defence organisations to understand the issues and benefits that arise out of the use of such approaches, and how to leverage the techniques to best effect. Further, in order to work with the complex, component-based systems required in Defence, there is a need for current Computer Science graduates to develop skills in modern software architecture techniques, including Model Driven Architecture and Model Driven Development. This project endeavours to address both these aims by initiating research into innovative and best-practice course delivery and assessment mechanisms for an honours-level course suited to the areas of model driven architecture and model driven development. In order to provide an authentic learning environment, this project will involve the development of real-world case studies that can be used in the teaching and assessment of these techniques. A deeper understanding of the relevant software practices will be a direct spin-off of this work, with a particular emphasis on distributed realtime systems in the maritime environment.