LEADER 03626nam 2200493 450 001 9910736008803321 005 20231020211211.0 010 $a3-030-93582-5 024 7 $a10.1007/978-3-030-93582-5 035 $a(CKB)27861836200041 035 $a(DE-He213)978-3-030-93582-5 035 $a(MiAaPQ)EBC30766852 035 $a(Au-PeEL)EBL30766852 035 $a(PPN)272254622 035 $a(EXLCZ)9927861836200041 100 $a20231020d2023 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aHandbook of Model-Based Systems Engineering /$fAzad M. Madni, Norman Augustine, and Michael Sievers, editors ; foreword by Charles Bolden Jr 205 $aFirst edition. 210 1$aCham, Switzerland :$cSpringer Nature Switzerland AG,$d[2023] 210 4$dİ2023 215 $a1 online resource (645 illus., 456 illus. in color. eReference.) 311 $a9783030935818 320 $aIncludes bibliographical references and index. 327 $aIntroduction -- MBSE Foundations -- Model-Based Verification and Validation -- MBSE Testbeds -- MBSE for Human-Systems Integration -- Infrastructure Management and Model Curation -- MBSE for Cyber-Physical-Human Systems -- Engineering Resilient Systems and System-of-Systems -- Exploiting Disciplinary Convergence -- Stretch Goals. 330 $aThis 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. . 606 $aSystems engineering$xMathematical models 615 0$aSystems engineering$xMathematical models. 676 $a620.001171 702 $aMadni$b Azad M. 702 $aAugustine$b Norman 702 $aSievers$b Michael 702 $aBolden$b Charles 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910736008803321 996 $aHandbook of Model-Based Systems Engineering$93421425 997 $aUNINA