 |
A/Prof Gary Bundell, Lab Leader, bundell(at)ee.uwa.edu.au |
|
|
A/Prof Terry Woodings, terry(at)ee.uwa.edu.au |
|
|
Mr Matt Harley, Research Officer, matt(at)ee.uwa.edu.au |
|
|
School of Electrical, Electronic & Computer Engineering, Lab 3.02 |
The laboratory was established in January 2008 to conduct research into the specification, design and development of computer systems to perform in very high-performance applications, for example. in mission, safety and life critical systems. The laboratory's formation is recognition of the growing demand from industry for high-integrity systems that seamlessly integrate fault-tolerant hardware and software developed with rigorous and high quality practices. The research activities of the laboratory span the technical development of computer hardware and software and the management and quality practices supporting such development.
|
|
Mission/safety-critical systems development for automatic train control (research contract funded by MRX Technologies) |
|
|
Automated software system testing methodologies - PhD project by Weiqun Zheng |
|
|
Assumptions specification in the software process - DEICT project by Sujatha Bulandran |
|
|
Automated state machine design - MEngSc project by Yves Hwang |
Last updated: 31/01/2008 21:25:06
