000 04039nam a22005415i 4500
001 978-3-319-48003-9
003 DE-He213
005 20200421111837.0
007 cr nn 008mamaa
008 161201s2016 gw | s |||| 0|eng d
020 _a9783319480039
_9978-3-319-48003-9
024 7 _a10.1007/978-3-319-48003-9
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
082 0 4 _a005.1
_223
245 1 0 _aAdvanced Model-Based Engineering of Embedded Systems
_h[electronic resource] :
_bExtensions of the SPES 2020 Methodology /
_cedited by Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald H�onninger.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2016.
300 _aXII, 303 p. 98 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
505 0 _aPart I Starting Situation -- Part II Modeling Theory -- Part III Application of the SPES XT Modeling Framework -- Part IV Evaluation and Technology Transfer -- Appendices.
520 _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.
650 0 _aComputer science.
650 0 _aSpecial purpose computers.
650 0 _aSoftware engineering.
650 0 _aAutomotive engineering.
650 0 _aAerospace engineering.
650 0 _aAstronautics.
650 1 4 _aComputer Science.
650 2 4 _aSoftware Engineering.
650 2 4 _aSpecial Purpose and Application-Based Systems.
650 2 4 _aAutomotive Engineering.
650 2 4 _aAerospace Technology and Astronautics.
700 1 _aPohl, Klaus.
_eeditor.
700 1 _aBroy, Manfred.
_eeditor.
700 1 _aDaembkes, Heinrich.
_eeditor.
700 1 _aH�onninger, Harald.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783319480022
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-319-48003-9
912 _aZDB-2-SCS
942 _cEBK
999 _c55356
_d55356