Resources
As an active teaching and research laboratory we produce code and tools, we deliver courses and classes, and we give research presentations.
Github page for the EMSOFT group
AUT Library Latex
Programme development
- Bachelor of Engineering (Honours) in Software Engineering
- Bachelor of Computer and Information Science
Papers developed by SERL
- Distributed and Mobile Systems
- Formal Specification and Design
- Mobile System Development
- Programming 2
- Software Architecture
- Software Development Practice
Journal articles
Presentations
IEEE Industrial Informatics Conference (INDIN) 2019
Probabilistic Verification of Socio-Cyber Physical Systems of Disaster-Affected Regions
We propose a tool-supported framework to verify the reliability and expected cost properties of human involvement in resource and emergency aid distribution in a disaster-affected region. At the core of our approach is the ROute Advisor for Disaster Scenarios (ROADS) framework that operates on high-level algebraic models of the region to plan delivery routes used by human agents. Probabilistic and parametric verification of Markov models synthesised from the resulting socio-cyber-physical system supports disaster
management decision making during response and preparedness phases.
Download Roads tool
Install the Roads Source Code
Interpretation of ROAD outputs and Scenarios
For more information contact
Dr. Kenneth Johnson
Software Engineering Research Laboratory (SERL)
kenneth.johnson@aut.ac.nz
https://www.aut.ac.nz/profiles?id=kjohnson
Architecting an Agent-Based Fault Diagnosis Engine
Barry Dowdeswell’s research article, titled “Architecting an Agent-Based Fault Diagnosis Engine for IEC 61499 Industrial Cyber-Physical Systems” co-authored with Roopak Sinha and Stephen MacDonell, has been accepted for publication in the MDPI journal Future Internet. It will appear as part of their Special Issue Modern Trends in Multi-Agent Systems.
Jim featured in AgileIT Interview Series
Jim Buchan has recently been featured in AgileIT interview conducted by Luke Pivac as part of Agilists in Auckland series of blogs.
PhD defence success
Subash Humagain successfully defended his PhD thesis, titled “Intelligent Dynamic Route Optimization and Road Pre-emption System for On-road Emergency Services” on 16 June ’21. Subash was supervised by Roopak Sinha, Edmund Lai and Prakash Ranjitkar (Auckland University).
PhD defence success
Nidhi Gowdra successfully defended his PhD thesis, titled “Exploring entropy-based optimization methods to increase Neural Network model training effectiveness” on 3 June 2021. Nidhi was supervised by Roopak Sinha, Wei Qi Yan and Stephen MacDonell.
Research published in Elsevier’s Information Systems journal
Chandan Sharma’s research article, titled “Practical and Comprehensive Formalisms for Modeling Contemporary Graph Query Languages” co-authored with Roopak Sinha and Kenneth Johnson has been accepted in Elsevier’s Information Systems Journal (h-index 85).
Research published in Elsevier’s Pattern Recognition Journal
Nidhi Gowdra’s research article, titled “Mitigating severe over-parameterization in deep convolutional neural networks through forced feature abstraction and compression with an entropy-based heuristic” co-authored with Roopak Sinha, Stephen MacDonell and Wei Qi Yan, has been accepted at Elsevier’s Pattern Recognition Journal (h-index 210).
Journal-first presentation - ICSSP/ICGSE 2021
A recent journal-first presentation, titled “Do Scaling Agile Frameworks Address Global Software Development Risks? An Empirical Study” was given at the ICSSP/ICGSE conference as a co-located event at ICSE 2021 on 19 May 2021. The paper is by Sarah Beecham and co-authored with Tony Clear, Ramesh Lal and John Noll.
Adjunct post-doctoral fellow Dr Don Lee joins SERL
Dr Don Lee is completing a one-year research project, primarily in response to COVID-19’s impact on airline operations, at the AUT Software Engineering Research Laboratory, mentored by Professor Stephen MacDonell.
Student research: Arnab Sen
For his Master of Philosophy research, Arnab Sen is working with a company that is an industry leader in innovative software architecture. Support from the Embedded Software group is helping him achieve his research goals.
Graduate success: Xingbin Cheng
After investigating an innovative approach to software architecture for his Master of Computer and Information Sciences, Xingbin Cheng has now been hired by the company he collaborated with for his research.
Research paper presentation
Jim presented a research paper titled “Applying Distributed Cognition Theory to Agile Requirements Engineering”. This paper was presented in the Requirement Engineering: Foundations for Software Quality (REFSQ) conference.
Research published in IEEE Transactions on Industrial Informatics
Awais Tanveer has had a paper accepted in the Q1-ranked IEEE TII journal. The paper proposes a novel design abstraction called “secure links” which allow software developers to include communication security mechanisms into industrial control applications while ensuring high code readability and maintainability.
Research published in Journal of Systems and Software
Barry Dowdeswell, a PhD student who studies fault diagnostics for industrial cyber-physical systems had a paper accepted to the Q1-ranked Journal of Systems and Software. The paper surveys the state of the art of fault identification and management across the aerospace, automotive and industrial control domains.
Invited talk by Dr. Chen-Wei Yang
The EMSOFT group hosted a talk, titled “Autonomy in Energy Systems Automation - systems engineering perspective” by Dr. Chen-Wei Yang from LTU, Sweden.
Jim Buchan at Southern SaaS conference
In his presentation "Successfully on boarding a new team member – good luck or good support", Jim Buchan talked about some contemporary team on boarding techniques used in the software industry and highlighted challenges in current practices.
Parametric model checking
Dr. Kenneth Johnson recently presented his work on Parametric model checking at University of Waikato. This presentation was based on a paper titled “Efficient Parametric Model Checking Using Domain Knowledge” published in IEEE Transactions on Software Engineering.
Research paper accepted in “Transport Reviews”
Subash Humagain, a Ph.D. student, had a research paper accepted in “Transport Reviews” - a very high ranked journal. The publication titled “A systematic review of route optimisation and pre-emption methods for emergency vehicles” reports the current state of the art in intelligent transportation systems.