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
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.