2013-12-09: Seminar Khakpour (Royal Institute of Technology KTH - Stockholm) on Formal Verification of Information Flow Security for a Simple ARM-Based Separation Kernel
A separation kernel simulates a distributed environment using a single physical machine by executing partitions in isolation and appropriately controlling communication among them. We present a formal verification of information security for a simple separation kernel for ARMv7.

2013-11-12: Seminar Schryen (University of Regensburg) on Emergency Response in Natural Disaster Management

Emergency Response in Natural Disaster Management: Allocation and Scheduling of Rescue Units Natural disasters, such as earthquakes, tsunamis and hurricanes, cause tremendous harm each year. In order to reduce casualties and economic losses during the response phase, rescue units must be allocated and scheduled efficiently. As this problem is one of the key issues in emergency response and has been addressed only rarely in literature, we suggest a decision support model that minimises the sum of completion times of incidents weighted by their severity.

2013-11-01: Seminar Kopetz (Technical University of Vienna) on The Time-Triggered Architecture

The Time-Triggered Architecture (TTA) provides a computing infrastructure for the design and implementation of dependable distributed embedded systems. A large real-time application is decomposed into nearly autonomous clusters and nodes, and a fault-tolerant global time base of known precision is generated at every node. In the TTA, this global time is used to precisely specify the interfaces among the nodes, to simplify the communication and agreement protocols, to perform prompt error detection, and to guarantee the timeliness of real- time applications.

2013-09-30: Call for Participation - Second NICTA Software Systems Summer School

Over two days, this summer school will feature lectures by international leaders in computer systems from industry and academia, interspersed with short student talks and poster sessions. We will emphasise a friendly and informal setting where students can learn and obtain feedback from experts. Topics include operating systems, hypervisors, virtual machines, databases, compilers, language implementation, memory management and security. Postgraduate students may apply.

2013-09-11: Paper accepted - ACM TOCS
A paper entitled Comprehensive Formal Verification of an OS Microkernel has been accepted for publication in ACM Transactions on Computer Systems