The omnipresence of software in almost all branches of technology leads to complex, embedded systems where technologically different components heavily interact with each other and the environment, and where—in the end—software holds the entire system together.
The more complex and safety critical the applications are, the more important are the questions about trustworthiness and reliability (in some application areas even with legal implications). Examples for such domains are e.g. transportation systems, avionics and space systems, automotive systems, mechatronics and production automation.
Research goals in this field are methods for safety and reliability analysis as well as constructive methods for engineering trust and reliability into systems and products in a measurable and certifiable way.
The talk gives an introduction to this topic and presents an integrated approach dealing with functional correctness, safety, failure tolerance and risk minimisation in a coherent formal framework. The approach is illustrated with practical case studies.
| Prof. Wolfgang Reif |
| University of Augsburg |
| Date: | Fri Oct 19 2007 |
| Time: | 14:00 to 15:30 |
| Location: | Level 1 Seminar Room, NICTA Kensington (L5) |
| Convened by: | Ralf Huuck |
Last updated by tbourke at Mon Nov 19 21:45:29 2007 GMT+1100