Software Safety – New Challenges and Solutions
The technical program will feature a rich variety of contributions that include one day of tutorials and two days of forum papers.The intent is to explore the challenges being presented to system safety (especially software specialist) engineers and to engage in discussion of (potential) approaches and solutions to those challenges.
To view the technical program, click here
The Keynotes are:
Prof. Dines Bjorner, Danish Computer Scientist
Dines Bjorner was Professor of Computing Science at the Technical University of Denmark from September 1976 until March 2007. Dines Bjorner was with IBM Research & Development from 1962 until 1976. At IBM Dines worked with Gene Amdahl, John Backus, E.F.Codd (Relational Databases) and at the IBM Lab., Vienna, Austria - where Dines worked in the small team first Researching & Developing the Vienna Development Method (VDM), the first ISO standardised formal method... Read more
Prof. Nancy Leveson, Massachusetts Institute of Technology, USA
Dr. Nancy Leveson has worked in the field of system safety for 30 years. Currently she is Professor of Aeronautics and Astronautics and also Professor of Engineering Systems at MIT. Previously she was Boeing Professor of Computer Science at the University of Washington. She is an elected member of the National Academy of Engineering (NAE) and has received many awards for her research on system safety and software engineering. She has published over 200 research papers and is author of a book, Safeware: System Safety and Computers, published by Addison-Wesley and translated into Japanese and a new book Engineering a Safer World published by MIT Press in 2012 and currently being translated into Chinese and Japanese... Read more
Prof. Peter Lindsay, The University of Queensland
Peter Lindsay joined the University of Queensland in 1991 after holding academic and research positions at the University of New South Wales, the University of Manchester in the UK and the University of Illinois at Urbana-Champaign in the USA. He has more than twenty years experience in formal aspects of systems and software engineering. He is co-author of two books on formal specification and verification of software systems, and over 50 refereed papers... Read more
Dr. Colin O'Halloran, UK
In 1983 Colin O'Halloran started his career at RSRE working on the Malvern Program Analysis System (Malpas) that was used for the analysis of many safety critical software systems including the secondary protection system for Sizewell B and Malpas is still used today. He obtained his Doctorate from Oxford University in 1993 in the mathematical foundations of computer security. In 1996 he served on the European Space Agency's Board of Inquiry for the failure of Ariane 5 and wrote that part of the report concerned with the software failure... Read more
|Date:||Wednesday 28 to Friday 30 May 2014|
|Time:||9:00am - 4:30pm|
|Venue:||RACV City Club, Melbourne CBD|
For more information, including the program, registration and sponsorship opportunities, click here.