2014-09-19 Entrepreneur of the Year award
Prof Gernot Heiser was awarded Entrepreneur of the year award at the Engineers Australia 2014 Sydney Engineering Excellence awards.

2014-09-06 UNSW Open Day
UNSW open day had an SSRG stand showing the quadcopters and SMACCM video

2014-08-29: DevOps Book publishes another chapter
Another chapter of the book DevOps has been published. It is written by Len Bass, Ingo Weber and Liming Zhu — A software Architect's Perspective. In 2 days it had 75 views

2014-08-27: AURIN/HTS Grant Received
A further 150K external funding has been approved for AURIN/HTS project to integrate HTS data on the national map.

2014-08-26: Seminar Prof Vladimir Estivill-Castro on Correctness by Construction with Logic-Labelled Finite-State Machines – Comparison with Event-B

Formal methods have seen emergent success recently with the deployment of Event-B. However, Event-B explicitly postulates that models there are not executable. This seems to contradict the parallel emergence of model-driven development (MDD). We show here that logic-labelled finite-state machines (LLFSMs) are effective in carrying out the “correct from construction” agenda of formal methods such as Event-B and simultaneously achieve the aims of MDD. As a result, we obtain models that are directly interpretable, compilable, and executable enabling traceability, transparency and rapid maintainability; while at the same time enabling simulation, validation and formal verification with model checking. Moreover, the Event-B capacity to develop closed models is also very natural with arrangements of LLFSMs; and therefore further safety analysis such as failure-mode effects analysis (FMEA) can be performed. We demonstrate this with two well-known examples in the literature.