Objectives of this workshop

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?

Workshop Topics

Workshop topics include but are not limited to:

1. Formal Methods,
   

2. Certified Software,
   

3. Computational Biology,
   

4. Modelling and Architectures,
   

5. Distributed and Embedded Systems,
   

6. Adaptative Systems,
   

7. Systems of Systems.
   

About the Monterey Workshop Series

The workshop will be the 16th in the Monterey workshop series, initiated in 1993 and devoted to exploring the critical problems associated with cost-effective development of high-quality software systems. Monterey workshops have a rich history of bringing together both American and European scientists that share a common interest in seeing that software development research serves as a catalyst for practical advances in next-generation software intensive systems. These workshops have been highly praised by participants for their high quality of presentations and discussions and given rise to many new collaborations that have significantly advanced the field.

The last few years the workshop has been held alternately in Europe and the United States. This year, the workshop will be held in Redmond, USA from March 31 to April 2, 2010.

Proceedings

The proceedings of the workshop will be published by Springer Verlag as for 2002 (LNCS 2941), 2005 (LNCS 4322), 2006 (LNCS 4888), 2007 (LNCS 5320) and 2008 (under elaboration).

Given the interactive nature of the workshop, the proceedings will be published after the workshop to allow the participants to include the results of the discussion in their submissions. All submissions will be reviewed by the program committee before publication.

The workshop agenda and abstracts of presentations will be published on this website before the workshop, and presentation material will be available on this site afterwards, similar to the websites of previous workshops.

Poster

You can get the MTR2010-poster.jpg.

Previous Workshops

1. Monterey 2008 - Foundations of Computer Software, Future Trends and techniques for Development
   

2. Monterey 2007 - Workshop on Innovations for requirement Analysis: From Stakeholders Needs to Formal Designs
   

3. Monterey 2006 - Workshop on Composition of Embedded Systems: Scientific and Industrial Issues
   

4. Monterey 2005 - Workshop on Networked Systems: realization of reliable systems on top of unreliable networked platforms
   

5. Monterey 2004 - Workshop on Software Engineering Tools: Compatibility and Integration
   

6. Monterey 2003 - Workshop on Software Engineering for Embedded Systems: From Requirements to Implementation
   

7. Monterey 2002 - Radical Innovations of Software and Systems Engineering in the Future
   

8. Monterey 2001 - Engineering Automation for Software Intensive System Integration
   

9. Monterey 2000 - Modeling Software System Structures in a fastly moving scenario