Advanced Model-Based Engineering of Embedded Systems (eBook)

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