EmSoft
The Embedded Software (EmSoft) group carries out research in developing standards-compliant, next-generation embedded software. Embedded computing is the basis of Industrial Internet-of-Things (IIoT), Edge Computing, Cyber-Physical, Home Automation and Intelligent Transportation systems. We help organisations design commercial embedded software in a systematic manner such that their products are easier to build, upgrade and maintain, and remain standards-compliant over their lifetime. We deliver tangible tools and designs to help companies adopt new technologies with existing products in a timely, safe and profitable manner.
Research is undertaken in the following areas:
- Standards-driven development of industrial software
- Software architecture and designs for IoT, home automation, industrial automation and intelligent transportation systems.
- Formal methods for analysing software requirements, software architectures and software code
- Development of novel design automation tools
- Designing next-generation safety-critical systems software, such in autonomous transportation and medical application
- Modelling and verification of self-adaptive systems
- Design and development of IoT product lines
- Precision timed systems
The EMSOFT group has active collaborations with:
- Aalto University, Finland
- Central Queensland University, Australia
- Deakin University, Australia
- Indian Institute of Technology, Palakkad
- Lulea University of Technology, Sweden
- Monash University, Australia
- Polytechnic Institute of Bragança, Portugal
- The University of Auckland, New Zealand
- University of York, United Kingdom
- FaceMe
- Datamars Ltd
- Roopak Sinha
- Edmund Lai
- Kenneth Johnson
- Matthew Kuo
- Students
- Barry Dowdeswell
- Nidhi Gowdra
- Subash Humagain
- Chandan Sharma
- Awais Tanveer
- Xingbin Cheng