國立虎尾科技大學 |

Advanced Model-Based Engineering of Embedded Systems = Extensions of the SPES 2020 Methodology /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Advanced Model-Based Engineering of Embedded Systems/ edited by Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger.
Reminder of title:	Extensions of the SPES 2020 Methodology /
other author:	Pohl, Klaus.
Description:	XII, 303 p. 98 illus.online resource. :
Contained By:	Springer Nature eBook
Subject:	Software engineering. -
Online resource:	https://doi.org/10.1007/978-3-319-48003-9
ISBN:	9783319480039

Advanced Model-Based Engineering of Embedded Systems = Extensions of the SPES 2020 Methodology /
Advanced Model-Based Engineering of Embedded SystemsExtensions of the SPES 2020 Methodology /[electronic resource] :edited by Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger. - 1st ed. 2016. - XII, 303 p. 98 illus.online resource.

Part I Starting Situation -- Part II Modeling Theory -- Part III Application of the SPES XT Modeling Framework -- Part IV Evaluation and Technology Transfer -- Appendices.

This 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.

ISBN: 9783319480039

Standard No.: 10.1007/978-3-319-48003-9doiSubjects--Topical Terms:

562952
Software engineering.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Advanced Model-Based Engineering of Embedded Systems = Extensions of the SPES 2020 Methodology /
LDR:03586nam a22003975i 4500 001 974243
003 DE-He213
005 20200702001822.0
007 cr nn 008mamaa
008 201211s2016 gw | s |||| 0|eng d
020 $a 9783319480039 $9 978-3-319-48003-9
024 7 $a 10.1007/978-3-319-48003-9 $2 doi
035 $a 978-3-319-48003-9
050 4 $a QA76.758
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
072 7 $a UMZ $2 thema
082 0 4 $a 005.1 $2 23
245 1 0 $a Advanced Model-Based Engineering of Embedded Systems $h [electronic resource] : $b Extensions of the SPES 2020 Methodology / $c edited by Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger.
250 $a 1st ed. 2016.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2016.
300 $a XII, 303 p. 98 illus. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
505 0 $a Part I Starting Situation -- Part II Modeling Theory -- Part III Application of the SPES XT Modeling Framework -- Part IV Evaluation and Technology Transfer -- Appendices.
520 $a This 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 $a Software engineering. $3 562952
650 0 $a Special purpose computers. $3 1204562
650 0 $a Automotive engineering. $3 1104081
650 0 $a Aerospace engineering. $3 686400
650 0 $a Astronautics. $3 646219
650 1 4 $a Software Engineering. $3 669632
650 2 4 $a Special Purpose and Application-Based Systems. $3 669833
650 2 4 $a Automotive Engineering. $3 683772
650 2 4 $a Aerospace Technology and Astronautics. $3 683885
700 1 $a Pohl, Klaus. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 670292
700 1 $a Broy, Manfred. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 670111
700 1 $a Daembkes, Heinrich. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1269078
700 1 $a Hönninger, Harald. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1269079
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783319480022
776 0 8 $i Printed edition: $z 9783319480046
776 0 8 $i Printed edition: $z 9783319838762
856 4 0 $u https://doi.org/10.1007/978-3-319-48003-9
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)