Advanced Model-Based Engineering of Embedded Systems (eBook)
XII, 303 Seiten
Springer International Publishing (Verlag)
978-3-319-48003-9 (ISBN)
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.
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.
Preface 5
Table of Contents 9
Part I Starting Situation 13
1 Advanced model-Based Engineering of Embedded Systems 14
1.1 Challenges in Embedded System Development 15
1.2 The SPES Engineering Methodology 16
1.3 Vision and Mission of SPES XT 17
1.4 Topics not Addressed 18
1.5 Key Contributors of the SPES XT Approach 19
1.6 The Future of embedded Systems 20
1.7 References 20
2 Running Examples 21
2.1 Introduction 22
2.2 Automotive Exampl: Exterior Lighting and Speed Control 23
2.3 Automation Example: Desalination Plant 29
2.4 Summary 35
2.5 References 35
Part II Modeling Theory 36
3 SPES XT Modeling Framework 37
3.1 Introduction 38
3.2 Structure of the SPES XT Modeling Framework 39
3.3 SPES Process Building Block Framework 43
3.4 Specific Extensions of the SPES XT Modeling Framework 47
3.5 Summary 49
3.6 References 50
4 SPES XT Context Modeling Framework 51
4.1 Introduction 52
4.2 The SPES XT Context Modeling Framework 54
4.3 Applying Context Models 62
4.4 Summary 63
4.5 References 63
5 SPES XT Systems Engineering Extensions 66
5.1 Introduction 67
5.2 Standard Engineering Processes 68
5.3 Integrating Systems and Software Engineering 69
5.4 Summary 77
5.5 References 78
part III Application of the SPES XT Modeling Framework 79
6 Early Validation of Engineering Artifacts 80
6.1 Introduction 81
6.2 Supporting Artifacts for Validation 85
6.3 Validation Techniques 87
6.4 Summary 106
6.5 References 107
7 Verification of Systems in Physical Contexts 109
7.1 Introduction 110
7.2 Extensions to the SPES Modeling Framework 111
7.3 Methodological Building Blocks 117
7.4 Summary 120
7.5 References 120
8 System Function Networks 122
8.1 Introduction 123
8.2 Extension to the SPES Modeling Framework 125
8.3 Methodological Process Building Blocks 131
8.4 Summary 145
8.5 References 146
9 Optimal Deployment 148
9.1 Introduction 149
9.2 Extensions to the SPES Modeling Framework 154
9.3 Methodological Process Building Blocks 157
9.4 Application to the Automotive Example 169
9.5 Summary 170
9.6 References 170
10 Modular Safety Assurance 172
10.1 Introduction 173
10.2 Integrated Safety Framework 176
10.3 Methodological Building Blocks 179
10.4 Summary 197
10.5 References 198
11 Variant Management and Reuse 200
11.1 Introduction 201
11.2 Variabilty Extension to the SPES Modeling Framework 202
11.3 Methodological Building Blocks 211
11.4 Summary 223
11.5References 224
Part IV Evaluation and Technology Transfer 226
12 Experiences of Application in the Automation Domain 227
12.1 Introduction 228
12.2 Today's Process 229
12.3 Technological Hierarchy 230
12.4 Applying the SPES Viewpoints in the Automation Domain 232
12.5 Implication for Engineering Tools Used Today 238
12.6 Summary 239
12.7 References 240
13 Technology Transfer Concepts 242
13.1 Introduction 243
13.2 Technology Transfer in SPES XT 243
13.3 Guideline Concepts 245
13.4 Artifact Quality Assessment Framework 248
13.5 Summary 250
13.6 References 250
14 The SPES XT Tool Platform 252
14.1 Introduction 253
14.2 Interoperability and Tool Intrgration Concepts 253
14.3 Defining the SPES XT Tool Platform 256
14.4 Summary 262
14.5 References 262
15 Evalution of the SPES XT Modeling Framework 264
15.1 Introduction 265
15.2 Evalution Strategy 266
15.3 Method Toolkit 268
15.4 Evaluation Landscape 268
15.5 Applications of the Evalution Strategy 270
15.6 Summary 271
15.7 References 271
16 Outlook 273
Appendices 277
A-Author Index 278
B-Project Structure 284
C-Members of the SPES XT Project 288
D-List of Publications 290
E-Index 299
Erscheint lt. Verlag | 29.11.2016 |
---|---|
Zusatzinfo | XII, 303 p. 98 illus. |
Verlagsort | Cham |
Sprache | englisch |
Themenwelt | Mathematik / Informatik ► Informatik |
Technik ► Fahrzeugbau / Schiffbau | |
Technik ► Luft- / Raumfahrttechnik | |
Schlagworte | automotive software • Avionics Software • Cyber-Physical Systems • Embedded Systems • Model-Driven Software Engineering • software-intensive systems • SPES XT |
ISBN-10 | 3-319-48003-0 / 3319480030 |
ISBN-13 | 978-3-319-48003-9 / 9783319480039 |
Haben Sie eine Frage zum Produkt? |
![PDF](/img/icon_pdf_big.jpg)
Größe: 44,4 MB
DRM: Digitales Wasserzeichen
Dieses eBook enthält ein digitales Wasserzeichen und ist damit für Sie personalisiert. Bei einer missbräuchlichen Weitergabe des eBooks an Dritte ist eine Rückverfolgung an die Quelle möglich.
Dateiformat: PDF (Portable Document Format)
Mit einem festen Seitenlayout eignet sich die PDF besonders für Fachbücher mit Spalten, Tabellen und Abbildungen. Eine PDF kann auf fast allen Geräten angezeigt werden, ist aber für kleine Displays (Smartphone, eReader) nur eingeschränkt geeignet.
Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen dafür einen PDF-Viewer - z.B. den Adobe Reader oder Adobe Digital Editions.
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen dafür einen PDF-Viewer - z.B. die kostenlose Adobe Digital Editions-App.
Zusätzliches Feature: Online Lesen
Dieses eBook können Sie zusätzlich zum Download auch online im Webbrowser lesen.
Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.
aus dem Bereich