Read about our latest research projects, publications and research partners.FIND OUT MORE
On 22 June 2020, SERL invited Mr. John Spray, who has dedicated 40+ years of his life writing and designing software code, for a workshop on Abstraction Layered Architecture (ALA). John built ALA as a result of his long-term experience and ongoing research in how to make software code more maintainable.
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.