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

https://github.com/emsoftaut

Programme development

  1. Bachelor of Engineering (Honours) in Software Engineering
  2. Bachelor of Computer and Information Science

Papers developed by SERL

  1. Distributed and Mobile Systems
  2. Formal Specification and Design
  3. Mobile System Development
  4. Programming 2
  5. Software Architecture
  6. Software Development Practice

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

Explore degrees

Degree students can be associated with our lab.

Degrees at AUT