LEADER 04791nam 22006255 450 001 9910155299903321 005 20200702001822.0 024 7 $a10.1007/978-3-319-48003-9 035 $a(CKB)3710000000964820 035 $a(DE-He213)978-3-319-48003-9 035 $a(MiAaPQ)EBC4755382 035 $a(PPN)197457959 035 $a(EXLCZ)993710000000964820 100 $a20161201d2016 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aAdvanced Model-Based Engineering of Embedded Systems $eExtensions of the SPES 2020 Methodology /$fedited by Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger 205 $a1st ed. 2016. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016. 215 $a1 online resource (XII, 303 p. 98 illus.) 311 $a3-319-48002-2 311 $a3-319-48003-0 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aPart I Starting Situation -- Part II Modeling Theory -- Part III Application of the SPES XT Modeling Framework -- Part IV Evaluation and Technology Transfer -- Appendices. 330 $aThis book provides a comprehensive introduction into the SPES XT modeling framework. Moreover, it shows the applicability of the framework for the development of embedded systems in different industry domains and reports on the lessons learned. It also describes how the SPES XT modeling framework can be tailored to meet domain and project-specific needs. The book is structured into four parts: Part I ?Starting Situation? discusses the status quo of the development of embedded systems with specific focus on model-based engineering and summarizes key challenges emerging from industrial practice. Part II ?Modeling Theory? introduces the SPES XT modeling framework and explains the core underlying principles. Part III ?Application of the SPES XT Framework? describes the application of the SPES XT modeling framework and how it addresses major industrial challenges. Part IV ?Evaluation and Technology Transfer? assess the impact of the SPES XT modeling framework and includes various exemplary applications from automation, automotive, and avionics. Overall, the SPES XT modeling framework offers a seamless model-based engineering approach. It addresses core challenges faced during the engineering of embedded systems. Among others, it offers aligned and integrated techniques for the early validation of engineering artefacts (including requirements and functional and technical designs), the management of product variants and their variability, modular safety assurance and deployment of embedded software. USPs: · Reports on the tailoring of the state-of-the-art model-based SPES XT framework to facilitate the application in different industrial domains including automotive, avionics, and automation industry. · The SPES XT framework provides a solid foundation of integrated modeling and analysis techniques especially for model-based engineering of embedded systems. · Reports on the experiences and lessons learnt when applying the framework in different domains. 606 $aSoftware engineering 606 $aSpecial purpose computers 606 $aAutomotive engineering 606 $aAerospace engineering 606 $aAstronautics 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030 606 $aAutomotive Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/T17047 606 $aAerospace Technology and Astronautics$3https://scigraph.springernature.com/ontologies/product-market-codes/T17050 615 0$aSoftware engineering. 615 0$aSpecial purpose computers. 615 0$aAutomotive engineering. 615 0$aAerospace engineering. 615 0$aAstronautics. 615 14$aSoftware Engineering. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aAutomotive Engineering. 615 24$aAerospace Technology and Astronautics. 676 $a005.1 702 $aPohl$b Klaus$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBroy$b Manfred$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aDaembkes$b Heinrich$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHönninger$b Harald$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a9910155299903321 996 $aAdvanced Model-Based Engineering of Embedded Systems$92217283 997 $aUNINA