Handbook of Model-Based Systems Engineering

Azad M. Madni, Norman Augustine, Michael Sievers (Herausgeber)

Media-Kombination

1300 Seiten

2023 | 1st ed. 2022
Springer Nature Switzerland AG
978-3-030-93583-2 (ISBN)

Infos

This handbook brings together diverse domains and technical competences of Model Based Systems Engineering (MBSE) into a single, comprehensive publication. It is intended for researchers, practitioners, and students/educators who require a wide-ranging and authoritative reference on MBSE with a multidisciplinary, global perspective. It is also meant for those who want to develop a sound understanding of the practice of systems engineering and MBSE, and/or who wish to teach both introductory and advanced graduate courses in systems engineering. It is specifically focused on individuals who want to understand what MBSE is, the deficiencies in current practice that MBSE overcomes, where and how it has been successfully applied, its benefits and payoffs, and how it is being deployed in different industries and across multiple applications. MBSE engineering practitioners and educators with expertise in different domains have contributed chapters that address various uses of MBSE and related technologies such as simulation and digital twin in the systems lifecycle. The introductory chapter reviews the current state of practice, discusses the genesis of MBSE and makes the business case. Subsequent chapters present the role of ontologies and meta-models in capturing system interdependencies, reasoning about system behavior with design and operational constraints; the use of formal modeling in system (model) verification and validation; ontology-enabled integration of systems and system-of-systems; digital twin-enabled model-based testing; system model design synthesis; model-based tradespace exploration; design for reuse; human-system integration; and role of simulation and Internet-of-Things (IoT) within MBSE.

Autor

Editors-in-Chief: Dr. Azad Madni is the Executive Director of University of Southern California's graduate program in Systems Architecting and Engineering, and a Professor of Astronautics in USC's Viterbi School of Engineering. He also has a courtesy appointment in USC's Keck School of Medicine and Rossier School of Education. He is the founder and CEO of Intelligent Systems Technology Inc., a high-tech R&D company specializing in cross-disciplinary approaches to Model-Based Systems Engineering. Hon. Norman Augustine served as the Chairman of the Board of Lockheed Martin Corp. from August 1997 to March 1998, Chief Executive Officer from January 1996 to July 1997 and from March 1995 to June 1996. Mr. Augustine previously served as the President and Chairman of the Association of the United States Army, President of the American Institute of Aeronautics and Astronautics, and Chairman of the National Academy of Engineering. He serves as Trustee Emeritus of Johns Hopkins University and is an Advisory Board member to the Department of Homeland Security, an Honorary Member of Space Foundation, and a Member of the Board of Regents at University System of Maryland, and a Trustee of the Massachusetts Institute of Technology. Mr. Augustine received a M.S. and a B.S., both in Aeronautical Engineering, from Princeton University. Associate Editor: Dr. Michael Sievers is a Senior Systems Engineer and Systems Architect at Caltech's Jet Propulsion Laboratory in Pasadena, California and an Adjunct Lecturer at the University of Southern California where he teaches classes in MBSE, system architecting, and engineered resilience. At JPL he is responsible for the design, analysis, and fault handling of spacecraft and ground systems. He also conducts cybersecurity research focusing on trust and reputation, model-based systems engineering, and resilience.

Inhalt

INTRODUCTION.- MBSE FOUNDATIONS.- The Emergence of MBSE.- Role of Ontologies in MBSE.- MBSE Methodologies.- System Modeling Languages.- System Modeling Approaches.- Professional Societies leading MBSE Initiatives.- MBSE for Requirements Capture.- MBSE for Verification and Validation.- MBSE for Testing.- MBSE Tools.- MODEL-BASED VERIFICATION AND VALIDATION.- Deterministic V&V Approaches.- Probabilistic V&V Methods.- CubeSat Case Study.- Further Case Studies.- Trends in Model-Based Verification and Validation.- MBSE TESTBEDS.- Testbed Requirements for Testing MBSE Models.- Experimentation Testbed for Prototyping Systems Based on MBSE Models.- Role of Simulation, Digital Twin and Internet of Things in MBSE.- Case Studies.- MBSE FOR HUMAN-SYSTEMS INTEGRATION.- Extending MBSE for Human-Systems Integration.- Case Studies.- INFRASTRUCTURE MANAGEMENT AND MODEL CURATION.- Organizing Model-Related Information.- Case Studies.- MBSE FOR CYBER-PHYSICAL-HUMAN SYSTEMS.- Modeling Challenges of CPHS.- Verification and Testing of MBSE Models.- Case Study of Multi-UAV Swarms.- Case Study of Self-Driving Cars.- ENGINEERING RESILIENT SYSTEMS AND SYSTEM-OF-SYSTEMS.- Modeling Requirements for Resilient Systems.- Formal Methods for Engineering Resilient Systems.- Model-Based Testing of ERS.- EXPLOITING DISCIPLINARY CONVERGENCE.- Role of Disciplinary Convergence in MBSE.- Incorporating Formal Methods from Computer Science into MBSE.- Incorporating Decision Science into MBSE.- Integrating Storytelling into MBSE.- STRETCH GOALS.- MBSE for Socio-Technical Systems Engineering.- MBSE for Global Challenges.- Outlook for Systems Engineering.

Produkt-Details

• Erscheint lt. Verlag: 29.1.2023
• Zusatzinfo: 500 Illustrations, color; XV, 1300 p. 500 illus. in color. Print + eReference.
• Verlagsort: Cham
• Sprache: englisch
• Maße: 155 x 235 mm
• Themenwelt: Mathematik / Informatik ► Informatik ► Theorie / Studium
• Themenwelt: Technik ► Elektrotechnik / Energietechnik
• ISBN-10: 3-030-93583-3 / 3030935833
• ISBN-13: 978-3-030-93583-2 / 9783030935832
• Zustand: Neuware