Gary Bundell
The University of Western Australia, Australia
Title : Non-determinism, Non-linearity and Emergent Behaviour in Software Systems of Systems
Abstract :

One of the recurring themes in constructing large-scale software systems for industrial automation applications is the potential for behaviour of the layers of system software to interact in various ways that may not have been intended by the designers ¨C so called emergent behaviour. Although computational intelligence practitioners may look at the potential of such behaviour as beneficial to the objectives of the overall system, this behaviour is just as likely, if not more so, to be detrimental to the software engineering objectives. This becomes an acute issue in large-scale safety-critical software that needs to exhibit both ¡®intelligent¡¯ and safety properties. What is the best modelling framework to consider such issues ¨C is there one or will one emerge? Underneath this question are some fundamental theoretical as well as intensely practical issues which all help to inform the growing debate as to ¡®best-practice¡¯ when designing these types of systems, and this presentation will canvas some of these key issues.

Biography :

Gary Bundell is currently a Professor in the School of Electrical, Electronic & Computer Engineering, Faculty of Engineering, Computing and Mathematics, The University of Western Australia. From 2003 to 2007 he was Head of the School of Electrical, Electronic & Computer Engineering. From 2008 he is taking sabbatical leave, visiting various universities attending conferences, and working with industry on challenging automation projects. He joined UWA in 1990 and prior to that joined Perth company ACET Pty Ltd as a Research Engineer in 1981 progressing to R&D Manager in 1989. In between he completed a PhD at Cambridge University, UK in 1985, and prior to that completed a BE and MEngSc at UWA from 1975 to 1980. He also completed an MBA from UWA in 2005.

His research interests include embedded systems development, automation, robotics, system identification, systems simulation and modelling, adaptive and supervisory control systems, computer architecture, parallel and distributed systems, computational theory, and formal methods for real-time systems. He is a member of Engineers Australia, member of IET, senior member of IEEE, and a Chartered Professional Engineer. He has over 50 publications in areas ranging from software component engineering, intelligent control, discrete event system modelling, and has held a number of industry supported research grants in safety critical embedded system development and software component research.

Copyright © 2009 CISENG. All rights reserved.
Microsoft Internet Explorer is recommended if the page is not displayed properly !