Speaker: Dr. James Brett Michael
Moderator: Dr. Abraham Meilich
James Bret Michael (S’87–M’92–SM’97) received the Ph.D. degree in information technology from George Mason University, Fairfax, Virginia, in 1993. He is a Professor of Computer Science and Electrical and Computer Engineering at the Naval Postgraduate School, Monterey, California. He has authored numerous papers in computer science, electrical engineering, software engineering, and systems engineering. He holds a U.S. patent on a voice privacy protocol implementation in the basic call model for the Public Switched Telephone Network. His research addresses the reliability, safety, and security of large-scale distributed systems, with a particular emphasis on systems of systems. He leads a large research effort for the National Aeronautics & Space Administration on computer-aided formal verification and validation. Dr. Michael is an Associate Editor-in-Chief for IEEE Security and Privacy magazine and an Associate Editor for the IEEE Systems Journal. He chairs the IEEE Technical Committee on Safety of Systems and is a member of the Computer Society Professional Activities Board and Reliability Society Administrative Committee, and serves on the government steering committee of the Defense Information Systems Agency’s Information Assurance Technology Analysis Center. He also serves as one of the lead authors of the Graduate Software Engineering Reference Curriculum. He has held leadership positions in ACM, IEEE, and IFIP conferences for more than twenty years, most recently serving as program chair of the IEEE International Conference on System of Systems Engineering and general chair of the IEEE Symposium on Rapid Systems Prototyping. Prior to joining NPS, Dr. Michael was an Assistant Research Engineer with the University of California at Berkeley (1994-1998), conducting research on automated vehicle control and safety systems for automated highway systems. He served as a Formal Methods Engineer for Argonne National Laboratory (1992-1993) and was a Member of the Research Staff at the Institute for Defense Analyses (1988-1992), conducting research on missile defense. He also served for one year as a Visiting Scholar at the Institut National de Recherche sur les Transports et leur SÃ©curitÃ© in Lyon, France (1995-1996), to foster joint research between U.S. and French institutions conducting research in intelligent transportation systems.
Modeling the Life-cycles of Systems of Systems
Many of today’s large-scale systems are systems of systems. A system of systems consists of two or more systems that work together to provide value-added capabilities that cannot be achieved by any of the individual systems working in isolation of the other systems. Engineers are responsible for shaping the behavior a system of systems over its entire life cycle. Addressing this challenge is difficult for many reasons, not the least of which are that the system of systems may be reconfigurable and provide for plug-and-play of systems or their components, life-cycle phases of the individual systems may not be in synch with one another, and engineers use software to shape the vast majority of the behavior of these systems. The well-known VEE model has been used to guide engineers in the development of systems, but this life-cycle model is ill-suited for use in system of systems engineering. In this presentation we discuss an alternative approach to modeling the life-cycles of systems of systems. We give examples of how this approach has been applied by the Missile Defense Agency and the NASA Independent Verification & Validation Facility in support of shaping, verifying, and validating the behavior of their systems of systems.