title: Mission-Critical and Safety-Critical Systems Handbook: Design and Development for Embedded Applications
author: Kim Fowler
description: Kim Fowler has spent over 30 years in the design, development, and project management of medical, military, and satellite equipment. His interest is the rigorous development of diverse, mission-critical, embedded systems. Kim co-founded Stimsoft, a medical products company, in 1998 and sold it in 2003. He has also worked for JHU/APL designing embedded systems, for a company now part of Curtiss-Wright Embedded Computing that built digital signal processing boards, and consulted for both commercial companies and government agencies. Kim is a Fellow of the IEEE and lectures internationally on systems engineering and developing real-time embedded products. He has been President of the IEEE Instrumentation &amp; Measurement society and an adjunct professor for the Johns Hopkins University Engineering Professional Program. He has published widely and has written three textbooks - this book is his fourth. He has 18 patents - granted, pending, or disclosed. Kim currently is a graduate student in Electrical and Computer Engineering at Kansas State University to finally get his PhD to teach and research.
zlib_text: JOURNAL OF AEROSPACE COMPUTING, INFORMATION, AND COMMUNICATION
  Vol. 3, November 2006
  Engineering Spacecraft Mission Software using a
  Model-Based and Safety-Driven Design Methodology
  Kathryn Anne Weiss∗
  Jet Propulsion Laboratory, Pasadena, CA, 91109
  Nicolas Dulac,† Stephanie Chiesi,‡ Mirna Daouk,† David Zipkin,§ and Nancy Leveson∗¶
  Massachusetts Institute of Technology, Cambridge, MA, 02139
  This paper outlines an integrated approach to system, software, and safety engineering
  for today’s complex, safety-critical systems. Intent Speciﬁcations, component-based systems
  engineering, and a new hazard analysis technique based on the Systems Theoretic Accident
  Modeling and Process (STAMP) are all combined in a seamless, safety-driven design method-
  ology. This integrated approach to system software development is demonstrated through an
  example application of the techniques on a low-Earth orbiting satellite. The results of per-
  forming the system modeling, hazard analyses, and model simulation