SSE's Current Projects

The Systems and Software Engineering research division engages in a wide range of university, government and industry-funded projects. Research projects currently being undertaken by SSE personnel include the following. Further details can be obtained by following the links or by contacting the relevant project leader.

Australian Research Council-Funded Projects

Enhancing model-driven architecture with support for verification and validation: Personnel: Paul Strooper, David Carrington, Keith Duddy (DSTC), Roger Duke, Soon-Kyeong Kim and Luke Wildman
Funding: ARC Discovery-Projects grant
Dates: January 2005 to December 2007
Analysing and generating fault-tolerant real-time systems: Personnel: Ian Hayes, and Graeme Smith
Funding: ARC Discovery-Projects grant
Dates: January 2005 to December 2007
Formalising Software Design Pattern Concepts and Pattern Specifications Using Metamodelling: Personnel: David Carrington and Soon-Kyeong Kim
Funding: ARC Discovery-Projects fellowship
Dates: January 2004 to December 2007
Verified Emulation of Legacy Mission Computer Systems: Personnel: Colin Fidge, David Hemer and Phil Cook
Funding: ARC Discovery-Projects grant
Dates: June 2004 to December 2006
Practical Tools and Techniques for Testing Concurrent Software Components: Personnel: Paul Strooper, Roger Duke, Luke Wildman, Brad Long and Doug Goldson
Funding: ARC Discovery-Projects grant
Dates: March 2003 to December 2005

Industry (and ARC)-Funded Projects

An Integrated Environment for Verification of Large-Scale Railway Interlockings: Personnel: Paul Strooper, Peter Robinson, and Kirsten Winter
Funding: ARC Linkage-Projects grant and Queensland Rail
Dates: July 2004 to June 2006
Formally-Based Security Evaluation Procedures: Personnel: Colin Fidge, Luke Wildman, Andrew Rae, Tim McComb, Andrew Matthews and Scott Mallen
Funding: ARC Linkage-Projects grant and the Defence Signals Directorate
Dates: April 2003 to March 2006
Effective Software Process Improvement in a Large-Scale Defence Contracting Environment: Personnel: David Carrington, Paul Strooper and Brent Cahill
Funding: ARC Linkage-Projects grant and Boeing Australia
Dates: May 2004 to October 2006

ARC Centre for Complex Systems Projects

Emerging Applications of Advanced Computational Methods and Discrete Mathematics: Personnel: George Havas, D. Bryant, P. Adams, A. Street and Colin Ramsay
Funding: ARC Discovery-Projects grant
Dates: January 2002 to December 2003, now rolled into ACCS
Building Dependability Into Complex, Computer-Based Systems: Personnel: Ian Hayes, Peter Lindsay, Geoff Dromey (Griffith Uni.), David Carrington and Kirsten Winter
Funding: ARC Discovery-Projects grant
Dates: January 2003 to December 2005, now rolled into ACCS
Derivation and Timing Analysis of Concurrent Real-Time Software: Personnel: Ian Hayes and Karl Lermer
Funding: ARC Discovery-Projects grant
Dates: January 2002 to December 2004, now rolled into ACCS
Safety Analysis of Human Computer Interface Design: Personnel: Peter Lindsay, Simon Connelly, Antonio Cerone, Andrew Neal (Key Centre for Human Factors and Applied Cognitive Psychology), Mike Humphreys (Key Centre for Human Factors and Applied Cognitive Psychology), Shayne Loft (Key Centre for Human Factors and Applied Cognitive Psychology) and Simon Connelly
Funding: ARC Discovery-Projects grant
Dates: January 2001 to December 2003, now rolled into ACCS
Workload Metrics for Air Traffic Controllers: Personnel: Andrew Neal, Peter Lindsay, Penny Sanderson, Graeme Halford and Mike Humphreys
Funding: ARC Linkage-Projects grant with Airservices Australia
Dates: April 2004 to March 2007
Simulation Tools for Free Flight Air Traffic Control: Personnel: Peter Lindsay, Jim Hanan, Peter Robinson and Colin Ramsay
Funding: ACCS
Dates: January 2004 to December 2007
Grid-Enabling Parameter Sweeps Through Models: Personnel: Peter Lindsay, David Abramson and Simon Connelly
Funding: ACCS
Dates: March 2004 to February 2005
Boeing Systems Engineering Postdoctoral Fellowship: Personnel: Peter Lindsay and Lars Grunske
Funding: ACCS
Dates: June 2004 to Aug 2007

DSTC Projects

Model-Based Software Evolution: Personnel: Kerry Raymond, Keith Duddy, Michael Lawley, Anna Gerber and Paul Bailes
Funding: DSTC
Dates: July 2003 to June 2005
Graphical Visualisation and Manipulation of Software: Personnel: Kerry Raymond, Michael Lawley, Anna Gerber and Anthony MacDonald
Funding: DSTC
Dates: January 2004 to June 2005

Other Projects

Reclaiming Electronic Communication: Software Support for Effective Intra-Organisational Communication: Personnel: Anthony MacDonald and Jay Burmeister
Dates: January 2003 to ?
Totally Functional Programming: Personnel: Paul Bailes and Colin Kemp
Dates: ongoing
Academic Adviser's Apprentice: Personnel: Paul Bailes
Dates: ongoing

SSE's Past Projects

Some SSE projects completed since mid 2003 are as follows.

Interfacing the DOVE Prover to Other Analysis Tools: Personnel: Peter Robinson and Ben Long
Funding: The Defence Science and Technology Organisation
Dates: June 2003 to May 2006
Compilation of Specifications: Personnel: Colin Fidge and David Hemer
Funding: ARC Discovery-Projects grant
Dates: January 2002 to December 2004
Verified Compilation Strategies for Critical Computer Programs: Personnel: Colin Fidge and Geoffrey Watson
Funding: ARC Large grant
Dates: June 2001 to May 2004
Railway Signalling Design Tools: Personnel: Neil Robinson, Wendy Johnston and David Tombs
Funding: Queensland Rail
Dates: September 2000 to April 2004
Certification Issues for Emulation of Legacy Mission Systems: Personnel: Colin Fidge and Geoffrey Watson
Funding: The Defence Science and Technology Organisation
Dates: March 2002 to July 2003
C830 Circle Line EN50128 Software Assessment Proposal: Personnel: David Tombs
Funding: Ripple Systems
Dates: September 2003
Leopard Tank Thermal Sight Safety Audit: Personnel: David Tombs
Funding: Defence Materiel Organisation
Dates: June to August 2003
Model Checking Object-Z: Personnel: Graeme Smith, Kirsten Winter, Tim McComb and John Derrick (Uni. Kent, UK)
Funding: The University of Queensland
Dates: January to December 2003
Battlefield Command Support System Safety Evaluation: Personnel: David Tombs and David Hemer
Funding: Defence Materiel Organisation
Dates: July 2002 to June 2003
Radar System Safety Analysis Scoping Study: Personnel: David Tombs
Funding: GroundProbe
Dates: September 2003