Domain-specific visual language tools
Domain-specific visual languages (DVSL) support the modelling of complex systems using visual models better suited to target end-user cognitive processes and understanding. We've developed many DSVL tools along with several platforms for developing DSVL tools – DSVL meta-tools – including MViews, JViews, JComposer, Pounamu, Marama and Horus.
Model-driven engineering tools
Model-driven engineering (MDE) uses high-level domain models to generate code and/or configurations of target software systems. We've been developing tools that use DSVLs to generate a range of systems via model-driven development techniques to enhance quality and productivity. Much of the work has been done with industrial partners in the health, utility, business process and web engineering domains.
Smart software for ageing, social services and health
We're looking at ways to improve the delivery of health and social services using new software technologies. In particular, we’re interested in the use of in-home and in-care sensors, human-centric interaction devices such as held-held, mobile and iPads, artificial intelligence, software-as-service and Web 2.0 social media concepts in the social services and health primary care domains.
Software security engineering, especially for cloud computing
Our research on software security engineering techniques and tools includes (but is not limited to) model-driven approaches to generating security solutions from high-level definitions, domain-specific languages to augment requirements and design notations to capture security properties and their cross-cutting impacts, and platform-level security including autonomic virtual machine monitoring and protection. Example projects include: formal modelling and analysis of safety-critical systems, model-driven engineering of scientific applications, adaptive cloud computing security, virtualisation and cloud computing IaaS security.
With the new attention and increased use of data-capturing technologies and IoT, the role of methods and processes has been highlighted. This includes procedures to clean, integrate, and harmonise data for use in data analysis and visualisation. Examples of such approaches are Harmoniser+ for harmonising cross-jurisdictional survey data.
Major research projects
Formal specifications collaboration with Ford
This project aims to invent new techniques to extract formal notations from the textual requirements, and also invent new progress requirements quality-checking techniques.
Requirements analysis collaboration with Thales Australia
This project aims to invent new requirements specification techniques that can be used in safety-critical systems to meet DO-178C standards.
Internet of Things applications collaboration with Unisono
This project aims to invent a new smart home system for the elderly. The system uses artificial intelligence and machine learning to learn normal behaviours and then detect anomalies, e.g. detecting falls or that someone isn't in bed and medication reminders.
- Domain-specific visual languages for big data analytics applications
Research team: John Grundy, Mohamed Abdelrazek, Qiang He and John Hosking
Funding: ARC Discovery, $340,000 2017–2019
- Investigating how to build secure and energy-efficient mobile cloud apps
Research team: Xiao Liu and Yong Xiang
Funding: Industry, $50,000 (Industry), 2017–2018
- Extraction of formal specification from Ford requirements
Research team: John Grundy and Mohamed Abdelrazek
Funding: Ford Motor Company, $163,061, 2017–2019
- Development of a national food and beverage price monitoring system (Price Tracker)
Research team: Kathryn Backholer, Iman Avazpour, Adrian Cameron, Tony LaMontagne, Anna Peeters and Catherine Bennett
Funding: Heart Foundation Vanguard Grant (ID: 101674), $74,000, 2018
|Associate Professor Andrew Cain||Software engineering, computer science education|
|Associate Professor||Smart software systems, model-driven engineering, Internet of Things|
|Dr Feifei Chen||Cloud computing, fog computing, software engineering, service-oriented computing, software testing, green computing|
|Dr Niroshinie Fernando||Pervasive computing, smart cities, mobile computing, data science, natural language processing, fog and edge computing|
|Dr Xiao Liu||Software engineering, workflow system, cloud computing, social network|
|Professor Rajesh Vasa||Innovation, software evolution, automated software engineering, tools|