2024-08-28 – The DARPA Pipeline Reasoning of Verifiers Enabling Robust Systems (PROVERS) Program is funding the project Industrial Scale Proof Engineering for Critical Trustworthy Applications (INSPECTA). TS is a member of the project team that is led by our long-standing collaborators Collins Aerospace. Other members are TS spinout Proofcraft, US company DornerWorks, as well as Carnegie Mellon University, the University of Kansas and Kansas State University. INSPECTA aims at scaling up formal verification and fully integrating it with development and maintenance processes to enable higher levels of assurance. The TS work in INSPECTA is further developing LionsOS and using automated verification tools for verifying LionsOS components.

2024-08-05 – Trustworthy Systems members have been travelling again this year.

Gernot Heiser gave the keynote address at the DSN conference in Brisbane in June, on Lions OS: Towards a truly dependable operating system.

Robert Sison travelled to Philadelphia, USA, representing TS as we further our work with Collins Aerospace.

Gernot Heiser travelled to Santa Clara, USA to attend the OSDI ’24 USENIX conference and to work with collaborators in the San Franciso area.

Researchers have also travelled to us.

Associate Professor Michael Norrish joined us from ANU for a strategy day with the Pancake team.

Alessandro Legnani, from ETH Zurich via Melbourne, joined Robert Sison for collaboration.

In October we will host Nils Wistoff, from ETH Zurich, for collaborative work on seL4.

Collaboration is an important part of the work culture at Trustworthy Systems, from meetings with sponsors to collaborations with early-career researchers and integral to our high calibre research.

2024-06-24 – Trustworthy Systems were well represented at the Oz-FM workshop in Brisbane last month. The workshop, on Formal Methods in Australia and New Zealand, included talks by four TS members.

Carroll Morgan gave the first talk of the workshop, an invited talk, on Formal Methods teaching and communication.

Gernot Heiser, also an invited speaker, spoke about Lions OS.

Rob Sison spoke about time protection and OS service verification in relation to seL4.

Johannes Åman Pohjola spoke about Pancake programs.

Their talks provoked excellent discussions about Formal Methods in teaching and research.

2024-05-13 – Lucy Parker, former TS member and Honours student, has won the University Medal for Computer Science, awarded at her graduation ceremony on Monday April 29th 2024. Lucy completed her Honours thesis on high performance I/O on seL4. She was a much valued, and now much missed, member of the TS team. Congratulations, Lucy!

2024-05-13 – Trustworthy Systems team members have been awarded at the UNSW School of Computer Science and Engineering Prizes Night on Friday May 3rd. Lucy Parker and Xavier Cooney each won two awards, and Gordon Sau and Michael He each won one. Their details are below. Congratulations to Lucy, Xavier, Gordon, and Michael!