16th Monterey Workshop: Modeling, Development and Verification of Adaptive Computer Systems: The Grand Challenge for Robust Software (2010)
Extremophiles are some of Mother Nature’s crowning achievements. These microorganisms thrive in the cruelest of places; from acid pits to burning hot abysses to radioactive wastelands. They brilliantly demonstrate the robustness of biological systems even in the harshest conditions. More generally, extremophiles demonstrate just how robust and adaptive a complex system can be.
How do our software systems compare to their biological counterparts? There is no competition: our systems lose in terms of robustness, adaptability, and dependability. For example, the desktop computer is an idyllic environment for software systems, yet desktop software fails regularly. Failure is so predictable that most commercial software maintains an “umbilical cord” to receive updates and patches. Unlike biological systems, we can never cut this umbilical cord.
Importantly, software is not limited to the desktop environment, but must persevere in less hospitable places, such as the internet and safety critical systems. Recent studies have shown that failure in these environments is an omnipresent and growing threat to our economies, governments and societies.
In this Monterey workshop we challenge researchers to formulate a “digital” response to nature’s most robust systems. How can we use modeling and formal methods to architect adaptiveness into distributed and embedded systems, so that the “colony” can survive even though the individual might fail? How can we rethink the foundations of software systems and employ certification to improve dependability and robustness? What case studies illustrate where we succeed and how we go wrong?
Download the Proceedings here.
Workshop Topics
Workshop topics include but are not limited to:
- Formal Methods
- Certified Software
- Computational Biology
- Modelling and Architectures
- Distributed and Embedded Systems
- Adaptive Systems
- Systems of Systems
Workshop Chairs
The workshop will be chaired by Professors Luqi (Naval Postgraduate School, USA) and Fabrice Kordon (Université P. & M. Curie, France).
Program Chairs
- Radu Calinescu - University of Oxford (UK),
- Ethan Jackson - Microsoft Research (USA).
Steering Committee
- Egidio Astesiano - University of Genova, Italy
- Manfred Broy - Technical University of Munich, Germany
- Hermann Kopetz - Vienna University of Technology, Vienna, Austria
- Fabrice Kordon - University of Pierre & Marie Curie, Paris, France
- Luqi - Naval Postgraduate School, Monterey, California, USA
- Zohar Manna - Stanford University, California, USA
- Oleg Sokolsky - University of Pensylvania, USA
- Janos Sztipanovits - Vanderbilt University, USA
