News
| Trustworthy Systems represented at Oz-FM |
|---|
|
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. |
| Lucy Parker wins University Medal |
|---|
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! |
| Trustworthy Systems wins at the CSE Prizes Night |
|---|
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! Lucy Parker won:
The Jump Trading Hero of Operating Systems Prize
Most Outstanding CSE Thesis Prize
Xavier Cooney won:
The Citadel Securities Year 2 Computer Science Excellence Prize
The Jane Street COMP3141 Prize, 2nd Place
Gordon Sau won:
The Jane Street COMP3161 Prize, 1st Place
Michael He won:
The Optiver SENG3011 Group Prize
|
| TS represented at Everything Open 2024 |
|---|
2024-05-03 – Trustworthy Systems was represented at Everything Open this year, an annual conference focused on open technologies, including Linux, open source software, open hardware and open data, and the communities that surround them. Both Gernot and Peter presented talks on the work being done at TS. Peter spoke about running your own mailserver and what that takes, using his own work as an example. Gernot spoke about Lions OS, the complete seL4-based OS aimed to support the needs of developers of cyberphysical, IoT and other embedded systems. Their talks generated plenty of fruitful discussion about the future of open technologies, including with researchers who are using seL4 in their work. |
| TS releases first version of new Lions OS and driver framework |
|---|
2024-03-27 – TS proudly announces the first release (0.1.0) of its new Lions Operating System. Lions OS is built from scratch on top of the seL4 microkernel and the seL4 Microkit. Lions OS is aimed at embedded, IoT and cyberphysical systems and is designed to be formally verifiable, adaptable to a wide class of use cases in the target domain, while at the same time setting the benchmark for performance of microkernel-based operating systems. We expect to achieve all three aims by a highly modular yet ruthlessly performance-oriented design and strict adherence to the time-honoured KISS principle. Lions OS is based on and intimately tied to the seL4 Device Driver Framework (sDDF), which we are also releasing for the first time, although development versions have been public for about 18 months. The sDDF is designed on the same principles as Lions OS and has already demonstrated networking performance exceeding that of the mainstream Linux OS. |