Buch, Englisch, 1363 Seiten, Format (B × H): 160 mm x 241 mm, Gewicht: 2700 g
ISBN: 978-3-030-93581-8
Verlag: Springer International Publishing
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.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Technische Wissenschaften Elektronik | Nachrichtentechnik Nachrichten- und Kommunikationstechnik Regelungstechnik
- Technische Wissenschaften Energietechnik | Elektrotechnik Elektrotechnik
- Mathematik | Informatik EDV | Informatik Professionelle Anwendung Computersimulation & Modelle, 3-D Graphik
- Mathematik | Informatik EDV | Informatik Daten / Datenbanken Datenbankdesign & Datenbanktheorie
- Wirtschaftswissenschaften Betriebswirtschaft Bereichsspezifisches Management Produktionsmanagement, Qualitätskontrolle
- Technische Wissenschaften Maschinenbau | Werkstoffkunde Produktionstechnik
- Mathematik | Informatik EDV | Informatik Informatik Mensch-Maschine-Interaktion Ambient Intelligence, RFID, Internet der Dinge
- Technische Wissenschaften Technik Allgemein Modellierung & Simulation
Weitere Infos & Material
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.




