As an active teaching and research laboratory we produce code and tools, we deliver courses and classes, and we give research presentations.
- 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 of Systems and Software Preprint: Dowdeswell, Sinha and MacDonell (2020) – Finding Faults: a scoping of Fault Diagnostics for Industrial Cyber-Physical Systems
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.
For more information contact
Dr. Kenneth Johnson
Software Engineering Research Laboratory (SERL)
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
Parametric model checking
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.