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