Reducing the risks associated with developing large-scale, critical software-integrated systems. Industry, government and defence increasingly rely on large-scale, critical software-integrated systems. The scale and complexity of these systems means current methods of analysing, designing and assuring their dependability are struggling to provide the constructive support and assurance that is demanded. Consequently, there are significant risks of cost and schedule overruns and of system problems ....Reducing the risks associated with developing large-scale, critical software-integrated systems. Industry, government and defence increasingly rely on large-scale, critical software-integrated systems. The scale and complexity of these systems means current methods of analysing, designing and assuring their dependability are struggling to provide the constructive support and assurance that is demanded. Consequently, there are significant risks of cost and schedule overruns and of system problems and failures. This project builds on results from our current collaboration - a new method for modelling, analysis and defect detection for the requirements of large-scale systems. We will develop and scale-up to industry strength, simpler, more powerful, strategies for analysing, designing and providing the high level of assurance required.Read moreRead less
Information Security Evaluation of Embedded Computer Software. Safeguarding classified electronic communications is of major national importance. This research, into security evaluation of computer software, is supported by the Defence Signals Directorate, which verifies the security of communications devices used by Australia's government and armed forces. As such devices become increasingly sophisticated, traditional security evaluation techniques have become unacceptably difficult and costl ....Information Security Evaluation of Embedded Computer Software. Safeguarding classified electronic communications is of major national importance. This research, into security evaluation of computer software, is supported by the Defence Signals Directorate, which verifies the security of communications devices used by Australia's government and armed forces. As such devices become increasingly sophisticated, traditional security evaluation techniques have become unacceptably difficult and costly. Hardware evaluation techniques, based on tracing paths through circuitry diagrams, have proven unsuitable for software evaluations. Consequently, devising new tools and techniques for information security evaluation of embedded computer software is essential for preserving Australia's national security.Read moreRead less
Building dependability into complex, computer-based systems. Air traffic control, telecommunications, defence, power distribution and many other vital infrastructures all rely on complex computer-based systems. Whenever one of these systems fails, it can cause major disruption to society, create large financial losses and even pose risks to life.
This project will integrate and improve methods for modelling and analysing computer-based systems in terms of their requirements and architectures ....Building dependability into complex, computer-based systems. Air traffic control, telecommunications, defence, power distribution and many other vital infrastructures all rely on complex computer-based systems. Whenever one of these systems fails, it can cause major disruption to society, create large financial losses and even pose risks to life.
This project will integrate and improve methods for modelling and analysing computer-based systems in terms of their requirements and architectures, focusing on how to achieve and maintain dependability in the context of on-going change and failure to meet requirements. These methods will be based on sound mathematical foundations and proven engineering approaches applicable to industrial-scale complex systems.Read moreRead less
A Scalable Theory of Behavior Composition for Practical Engineering Models of Human Performance. Minimizing human error and maximizing human performance is a major design goal in safety critical systems. The development of methods for affordable human performance modeling has widespread applicability for evaluating user-system interfaces. The compositional method explored here has been shown to make accurate predictions reduce model development time by an order of magnitude. Large safety critica ....A Scalable Theory of Behavior Composition for Practical Engineering Models of Human Performance. Minimizing human error and maximizing human performance is a major design goal in safety critical systems. The development of methods for affordable human performance modeling has widespread applicability for evaluating user-system interfaces. The compositional method explored here has been shown to make accurate predictions reduce model development time by an order of magnitude. Large safety critical applications, such as military or air traffic control systems, would benefit greatly. The proposed work tests whether the compositional methods will scale to more complex domains. The work will be coordinated with Australian industry, academia, and government research efforts.Read moreRead less
Special Research Initiatives - Grant ID: SR0354735
Funder
Australian Research Council
Funding Amount
$10,000.00
Summary
Australian Network on Microelectronics, Optoelectronics and Microelectromechanical Systems. The Network will encompass semiconductor microelectronics, optoelectronics, sensors and microelectromechanical systems (MEMS). Fundamental research in these areas enables the technological advances that underpin rapidly developing industries such as information and telecommunications technologies, defence, aerospace, medicine, and remote sensing. Exciting challenges exist in designing new devices that exp ....Australian Network on Microelectronics, Optoelectronics and Microelectromechanical Systems. The Network will encompass semiconductor microelectronics, optoelectronics, sensors and microelectromechanical systems (MEMS). Fundamental research in these areas enables the technological advances that underpin rapidly developing industries such as information and telecommunications technologies, defence, aerospace, medicine, and remote sensing. Exciting challenges exist in designing new devices that exploit unique semiconductor systems and technologies. By sharing capabilities and resources (both capital and human), the network will enable the issues associated with such novel materials and devices to be addressed in a targeted manner. The network will also guarantee the ongoing future of research in the area by actively involving early career researchers and postgraduate students.Read moreRead less
ARC Research Network on Intelligent Sensors, Sensor Networks and Information Processing. Sensor networks, a collection of diverse sensors interconnected via an ad-hoc communication network, are identified as one of the key technologies that over the next two decades will change the way we live. This research network brings together an interdisciplinary team of outstanding Australian researchers representing all the key disciplines required to successfully deploy sensor networks and links this te ....ARC Research Network on Intelligent Sensors, Sensor Networks and Information Processing. Sensor networks, a collection of diverse sensors interconnected via an ad-hoc communication network, are identified as one of the key technologies that over the next two decades will change the way we live. This research network brings together an interdisciplinary team of outstanding Australian researchers representing all the key disciplines required to successfully deploy sensor networks and links this team with the foremost international authorities and leading industry players in the area of sensor networks. This research network will guide collaborative research that will ensure Australia to play a world leading role in sensor network development and implementation.
Read moreRead less