Skip to main content

Bernard Blackham

Bernard Blackham
Visiting Researcher

Research Interests

Bernard's research interests include worst-case execution time analysis, operating system design, process checkpointing, and generally messing with executables.

Contact Details

More contact information is available at the Contact page.

Photo of Bernard Blackham

Projects

Past

Bernard was a graduate researcher with the Software Systems Research Group at NICTA and a PhD student at the University of New South Wales. He worked on the construction of dependable multi-criticality real-time systems. This incorporated aspects such as performing worst-case execution time analyses of OS kernels, and exploring the interactions between formal verification and real-time behaviour.

Career Summary

Bernard was a developer at Open Kernel Labs, working on the OKL4 microkernel. He also has worked for for Tieline Technology, developing embedded DSP-based audio/video systems. Until recently, Bernard was the Director of Training for the Australian Informatics Olympiad Committee.

Qualifications

Bernard was awarded a PhD from the University of New South Wales, having worked as a graduate researcher with the Trustworthy Systems group at NICTA. His thesis examined the ingredients for building trustworthy mixed-criticality real-time systems with formal verification and static analysis. Bernard also holds a BE (Electrical Engineering) with first class honours, and a BCM (Computer Science, Pure Mathematics), both from the University of Western Australia.

Affiliations

Bernard was an organiser of the 2013 International Olympiad in Informatics, which was held in July 2013 at the University of Queensland.

Publications

NICTA Papers

2014

Abstract PDF Bernard Blackham, Mark Liffiton and Gernot Heiser
Trickle: Automated infeasible path detection using all minimal unsatisfiable subsets
IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), pp. 169-178, Berlin, Germany, April, 2014

2013

Abstract PDF Bernard Blackham
Towards verified microkernels for real-time mixed-criticality systems
PhD Thesis, UNSW, Sydney, Australia, October, 2013
2013 ACM SIGBED Paul Caspi Memorial Dissertation Award and John Makepeace Bennett Award for Australasian Distinguished Doctoral Dissertation
Abstract PDF Yao Shi, Bernard Blackham and Gernot Heiser
Code optimizations using formally verified properties
Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), pp. 427-442, Indianapolis, USA, October, 2013
Abstract PDF Bernard Blackham and Gernot Heiser
Sequoll: A framework for model checking binaries
IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), pp. 97-106, Philadelphia, USA, April, 2013
Best Paper Award!

2012

Abstract PDF Bernard Blackham and Gernot Heiser
Correct, fast, maintainable – choose any three!
Asia-Pacific Workshop on Systems (APSys), pp. 7, Seoul, Korea, July, 2012
Abstract PDF Bernard Blackham, Vernon Tang and Gernot Heiser
To preempt or not to preempt, that is the question
Asia-Pacific Workshop on Systems (APSys), pp. 7, Seoul, Korea, July, 2012
Abstract PDF Bernard Blackham, Yao Shi and Gernot Heiser
Improving interrupt response time in a verifiable protected microkernel
EuroSys Conference, pp. 323-336, Bern, Switzerland, April, 2012

2011

Abstract PDF Bernard Blackham, Yao Shi, Sudipta Chattopadhyay, Abhik Roychoudhury and Gernot Heiser
Timing analysis of a protected operating system kernel
IEEE Real-Time Systems Symposium, pp. 339-348, Vienna, Austria, November, 2011
Abstract PDF Bernard Blackham, Yao Shi and Gernot Heiser
Protected hard real-time: The next frontier
Asia-Pacific Workshop on Systems (APSys), pp. 5, Shanghai, China, July, 2011
Abstract Slides
Video
Etienne Le Sueur and Bernard Blackham
e4meter: Power management for the people
12th Linux.conf.au, Brisbane, Australia, January, 2011