International
Workshop on
Real Time Software
(RTS'08)
Wisla,
Poland, October 20-22, 2008
Keynote Speaker
Mike Hinchey is Co-Director of
Lero-the Irish Software Engineering Research Center and
Professor of Software Engineering at University of
Limerick, Ireland. Until recently he was Director
of the NASA Software Engineering Research Center.
Hinchey received a BSc from University of Limerick, MSc
from University of Oxford and a PhD from University of
Cambridge.
He previously held positions
as full professor at universities in Ireland, UK, Sweden,
Australia and USA. The author/editor of more than
12 books and over 100 technical articles, he is Chair of
the IEEE Technical Committee on Complexity in Computing
and Vice Chair of the IEEE Technical Committee on
Autonomous and Autonomic Systems. He is also the
IEEE's representative to IFIP TC1 (Foundations of
Computer Science) which he currently chairs.
Abstract:
You Can't Get
There from Here!
Problems and
Potential Solutions in Developing New Classes of
Complex Computing Systems
The explosion of
capabilities and new products within the sphere of
communications and information technology (ICT) has
fostered widespread overly-optimistic opinions regarding
the industry, based on common but unjustified assumptions
of quality and correctness of software. NASA faces this
dilemma as it envisages advanced mission concepts that
involve large swarms of small spacecraft that will engage
cooperatively to achieve science goals. Such missions
involve levels of complexity that beg for new methods for
system development far beyond today's methods, which
are inadequate for ensuring correct behavior of large
numbers of interacting intelligent mission elements. New
system development techniques recently devised through
NASA-led research will offer innovative approaches to
achieving correctness in complex system development,
including autonomous swarm missions that exhibit emergent
behavior, as well as general software products created by
the software industry.
Prof.
Mike Hinchey
Lero-the Irish Software Engineering
Research Centre