Contact with the SOlar Heliospheric Observatory (SOHO) spacecraft was lost in the early morning hours of June 25, 1998, Eastern Daylight Time (EDT), during a planned period of calibrations, maneuvers, and spacecraft reconfigurations. Prior to this the SOHO operations team had concluded two years of extremely successful science operations. A joint European Space Agency (ESA)/National Aeronautics and Space Administration (NASA) engineering team has been planning and executing recovery efforts since loss of contact with some success to date. ESA and NASA management established the SOHO Mission Interruption Joint Investigation Board to determine the actual or probable cause(s) of the SOHO spacecraft mishap. The Board has concluded that there were no anomalies on-board the SOHO spacecraft but that a number of ground errors led to the major loss of attitude experienced by the spacecraft. The Board finds that the loss of the SOHO spacecraft was a direct result of operational errors, a failure to adequately monitor spacecraft status, and an erroneous decision which disabled part of the on-board autonomous failure detection. Further, following the occurrence of the emergency situation, the Board finds that insufficient time was taken by the operations team to fully assess the spacecraft status prior to initiating recovery operations. The Board discovered that a number of factors contributed to the circumstances that allowed the direct causes to occur. The Board strongly recommends that the two Agencies proceed immediately with a comprehensive review of SOHO operations addressing issues in the ground procedures, procedure implementation, management structure and process, and ground systems. This review process should be completed and process improvements initiated prior to the resumption of SOHO normal operations. Unspecified Center ...

This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, during July 18–22, 2005. Formal Methods Europe (FME, www.fmeurope.org) is an independent association which aims to stimulate the use of, and research on, formal methods for system development. FME conferences began with a VDM Europe symposium in 1987. Since then, the meetings have grown and have been held about once every 18 months. Throughout the years the symposia have been notablysuccessfulinbringingtogetherresearchers,tooldevelopers,vendors,and users, both from academia and from industry. Formal Methods 2005 con?rms this success. We received 130 submissions to the main conference, from all over the world. Each submission was carefully refereed by at least three reviewers. Then, after an intensive, in-depth discussion, the Program Committee selected 31 papers for presentation at the conference. They form the bulk of this volume. We would like to thank all the Program Committee members and the referees for their excellent and e?cient work. Apart from the selected contributions, the Committee invited three keynote lectures from Mathai Joseph, Marie-Claude Gaudel and Chris Johnson. You will ?nd the abstracts/papers for their keynote lectures in this volume as well. AninnovationfortheFM2005programwasapaneldiscussiononthehistory of formal methods, with Jean-Raymond Abrial, Dines Bjørner, Jim Horning and Cli? Jones as panelists. Unfortunately, it was not possible to re?ect this event in the current volume, but you will ?nd the material documenting it elsewhere (see the conference Web page).

Remote Sensing from a New Perspective The idea for this book began many years ago, when I was asked to teach a course on remote sensing. Not long before that time, I had been part of the effort to develop the first database for planetary data with a common digital array format and interactive processing capabilities to correlate those data easily: the lunar consortium. All the available lunar remote sensing data were included, orbital and ground-based, ranging across the entire electromagnetic spectrum. I had used this powerful tool extensively, and, in that spirit, I was determined to create a course which covered the entire spectrum and a variety of targets. As I looked around for the equivalent of a textbook, which I was willing to pull together from several sources, I realized that available material was very heavily focused on the visual and near visual spectrum and on the Earth as a target. Even The Surveillant Science, edited by Edward Holz and published in 1973, which broke new ground in having diverse articles on most of the spectrum when it was created, focused entirely on the Earth. My personal favorite, the exceedingly well written book on remote sensing by Floyd Sabins first published in 1978, covered the visual, infrared, and microwave portions of the spectrum beautifully but focused on the Earth as well. Unhindered, I developed what I called ‘packets’ of material for each part of the spectrum.

In this book the authors employ the SFCS approach to explore a vast array of failure events in multiple sectors of transportation, industry, aerospace, construction, and critical infrastructure.