Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Advanced Model-Based Engineering of Embedded Systems

E-BookPDF1 - PDF WatermarkE-Book
303 Seiten
Englisch
Springer International Publishingerschienen am29.11.20161st ed. 2016
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.



Klaus Pohl is full professor for Software Systems Engineering at the University of Duisburg-Essen in Germany and director of paluno - The Ruhr Institute for Software Technology. From 2005 until 2007 he was scientific founding director of Lero, the Irish Software Engineering Research Centre.

Manfred Broy is full professor for Software and Systems Engineering at the Institute for Software and Systems Engineering of the Technical University of Munich, a Max-Planck-Fellow, member of the German Academy of Science and Engineering and member of the German National Academy of the Sciences 'Leopoldina'.

Heinrich Daembkes is honorary professor at Ulm University. Until June 2016 he was Vice President at Airbus Defence and Space, a division of the Airbus Group. He was responsible for systems and software engineering. In addition, he was also President of ARTEMIS-IA (Advanced Research & Technology for EMbedded Intelligent Systems).  ARTEMIS Industry Association is a membership organisation with more than 170 members and associates from all over Europe.

Harald Hönninger is Vice President Advance Engineering for Software-Intensive Systems at Corporate Research and Advanced Development with Robert Bosch GmbH. He is responsible for the pre-development of software-intensive systems and for software-, hardware- and systems engineering methods.mehr
Verfügbare Formate
BuchGebunden
EUR80,24
E-BookPDF1 - PDF WatermarkE-Book
EUR53,49

Produkt

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



Klaus Pohl is full professor for Software Systems Engineering at the University of Duisburg-Essen in Germany and director of paluno - The Ruhr Institute for Software Technology. From 2005 until 2007 he was scientific founding director of Lero, the Irish Software Engineering Research Centre.

Manfred Broy is full professor for Software and Systems Engineering at the Institute for Software and Systems Engineering of the Technical University of Munich, a Max-Planck-Fellow, member of the German Academy of Science and Engineering and member of the German National Academy of the Sciences 'Leopoldina'.

Heinrich Daembkes is honorary professor at Ulm University. Until June 2016 he was Vice President at Airbus Defence and Space, a division of the Airbus Group. He was responsible for systems and software engineering. In addition, he was also President of ARTEMIS-IA (Advanced Research & Technology for EMbedded Intelligent Systems).  ARTEMIS Industry Association is a membership organisation with more than 170 members and associates from all over Europe.

Harald Hönninger is Vice President Advance Engineering for Software-Intensive Systems at Corporate Research and Advanced Development with Robert Bosch GmbH. He is responsible for the pre-development of software-intensive systems and for software-, hardware- and systems engineering methods.
Details
Weitere ISBN/GTIN9783319480039
ProduktartE-Book
EinbandartE-Book
FormatPDF
Format Hinweis1 - PDF Watermark
FormatE107
Erscheinungsjahr2016
Erscheinungsdatum29.11.2016
Auflage1st ed. 2016
Seiten303 Seiten
SpracheEnglisch
IllustrationenXII, 303 p. 98 illus.
Artikel-Nr.2148686
Rubriken
Genre9200

Inhalt/Kritik

Inhaltsverzeichnis
1;Preface;5
2;Table of Contents;9
3;Part I Starting Situation;13
4;1 Advanced model-Based Engineering of Embedded Systems;14
4.1;1.1 Challenges in Embedded System Development;15
4.2;1.2 The SPES Engineering Methodology;16
4.3;1.3 Vision and Mission of SPES XT;17
4.4;1.4 Topics not Addressed;18
4.5;1.5 Key Contributors of the SPES XT Approach;19
4.6;1.6 The Future of embedded Systems;20
4.7;1.7 References;20
5;2 Running Examples;21
5.1;2.1 Introduction;22
5.2;2.2 Automotive Exampl: Exterior Lighting and Speed Control;23
5.3;2.3 Automation Example: Desalination Plant;29
5.4;2.4 Summary;35
5.5;2.5 References;35
6;Part II Modeling Theory;36
7;3 SPES XT Modeling Framework;37
7.1;3.1 Introduction;38
7.2;3.2 Structure of the SPES XT Modeling Framework;39
7.3;3.3 SPES Process Building Block Framework;43
7.4;3.4 Specific Extensions of the SPES XT Modeling Framework;47
7.5;3.5 Summary;49
7.6;3.6 References;50
8;4 SPES XT Context Modeling Framework;51
8.1;4.1 Introduction;52
8.2;4.2 The SPES XT Context Modeling Framework;54
8.3;4.3 Applying Context Models;62
8.4;4.4 Summary;63
8.5;4.5 References;63
9;5 SPES XT Systems Engineering Extensions;66
9.1;5.1 Introduction;67
9.2;5.2 Standard Engineering Processes;68
9.3;5.3 Integrating Systems and Software Engineering;69
9.4;5.4 Summary;77
9.5;5.5 References;78
10;part III Application of the SPES XT Modeling Framework;79
11;6 Early Validation of Engineering Artifacts;80
11.1;6.1 Introduction;81
11.2;6.2 Supporting Artifacts for Validation;85
11.3;6.3 Validation Techniques;87
11.4;6.4 Summary;106
11.5;6.5 References;107
12;7 Verification of Systems in Physical Contexts;109
12.1;7.1 Introduction;110
12.2;7.2 Extensions to the SPES Modeling Framework;111
12.3;7.3 Methodological Building Blocks;117
12.4;7.4 Summary;120
12.5;7.5 References;120
13;8 System Function Networks;122
13.1;8.1 Introduction;123
13.2;8.2 Extension to the SPES Modeling Framework;125
13.3;8.3 Methodological Process Building Blocks;131
13.4;8.4 Summary;145
13.5;8.5 References;146
14;9 Optimal Deployment;148
14.1;9.1 Introduction;149
14.2;9.2 Extensions to the SPES Modeling Framework;154
14.3;9.3 Methodological Process Building Blocks;157
14.4;9.4 Application to the Automotive Example;169
14.5;9.5 Summary;170
14.6;9.6 References;170
15;10 Modular Safety Assurance;172
15.1;10.1 Introduction;173
15.2;10.2 Integrated Safety Framework;176
15.3;10.3 Methodological Building Blocks;179
15.4;10.4 Summary;197
15.5;10.5 References;198
16;11 Variant Management and Reuse;200
16.1;11.1 Introduction;201
16.2;11.2 Variabilty Extension to the SPES Modeling Framework;202
16.3;11.3 Methodological Building Blocks;211
16.4;11.4 Summary;223
16.5;11.5References;224
17;Part IV Evaluation and Technology Transfer;226
18;12 Experiences of Application in the Automation Domain;227
18.1;12.1 Introduction;228
18.2;12.2 Today's Process;229
18.3;12.3 Technological Hierarchy;230
18.4;12.4 Applying the SPES Viewpoints in the Automation Domain;232
18.5;12.5 Implication for Engineering Tools Used Today;238
18.6;12.6 Summary;239
18.7;12.7 References;240
19;13 Technology Transfer Concepts;242
19.1;13.1 Introduction;243
19.2;13.2 Technology Transfer in SPES XT;243
19.3;13.3 Guideline Concepts;245
19.4;13.4 Artifact Quality Assessment Framework;248
19.5;13.5 Summary;250
19.6;13.6 References;250
20;14 The SPES XT Tool Platform;252
20.1;14.1 Introduction;253
20.2;14.2 Interoperability and Tool Intrgration Concepts;253
20.3;14.3 Defining the SPES XT Tool Platform;256
20.4;14.4 Summary;262
20.5;14.5 References;262
21;15 Evalution of the SPES XT Modeling Framework;264
21.1;15.1 Introduction;265
21.2;15.2 Evalution Strategy;266
21.3;15.3 Method Toolkit;268
21.4;15.4 Evaluation Landscape;268
21.5;15.5 Applications of the Evalution Strategy;270
21.6;15.6 Summary;271
21.7;15.7 References;271
22;16 Outlook;273
23;Appendices;277
24;A-Author Index;278
25;B-Project Structure;284
26;C-Members of the SPES XT Project;288
27;D-List of Publications;290
28;E-Index;299mehr

Autor

Klaus Pohl is full professor for Software Systems Engineering at the University of Duisburg-Essen in Germany and director of paluno - The Ruhr Institute for Software Technology. From 2005 until 2007 he was scientific founding director of Lero, the Irish Software Engineering Research Centre.

Manfred Broy is full professor for Software and Systems Engineering at the Institute for Software and Systems Engineering of the Technical University of Munich, a Max-Planck-Fellow, member of the German Academy of Science and Engineering and member of the German National Academy of the Sciences "Leopoldina".

Heinrich Daembkes is honorary professor at Ulm University. Until June 2016 he was Vice President at Airbus Defence and Space, a division of the Airbus Group. He was responsible for systems and software engineering. In addition, he was also President of ARTEMIS-IA (Advanced Research & Technology for EMbedded Intelligent Systems). ARTEMIS Industry Association is a membership organisation with more than 170 members and associates from all over Europe.

Harald Hönninger is Vice President Advance Engineering for Software-Intensive Systems at Corporate Research and Advanced Development with Robert Bosch GmbH. He is responsible for the pre-development of software-intensive systems and for software-, hardware- and systems engineering methods.
Weitere Artikel von
Daembkes, Heinrich
Hrsg.