Trinitis, Carsten; Pionteck, Thilo (Ed.)

ARCS 2018

31st GI/ITG International Conference on Architecture of Computing Systems April, 9-12, 2018, Technische Universität Braunschweig, Braunschweig, Germany, Workshop Proceedings

2018, 192 pages, Slimlinebox, CD-Rom
ISBN 978-3-8007-4559-3
Personal VDE Members are entitled to a 10% discount on this title

Content Foreword

The GI/ITG International Conference on Architecture of Computing Systems (ARCS) looks back at more than 30 years of tradition in reporting high quality results in computer architecture as well as operating systems research. ARCS has become an important forum for research in these areas and has a long tradition of hosting associated workshops complementing the programme of the conference with specific topics extending the technical scope of the conference.
This year, ARCS 2018 was organised at Technical University of Braunschweig, Germany, from April 9 to April 12, 2018.

This year, the following workshops were held within ARCS:
• 14th Workshop on Dependability and Fault Tolerance (VERFE’18)
• 2nd Workshop on Computer Architectures in Spaceflight (CompSpace 2018)
• 6th International Workshop on Self-optimisation in Organic and Autonomic Computing Systems (SAOS’18)
• 3rd Workshop of the Multi-Core Safe and Software-intensive Systems Improvement Community (FORMUS3IC).
• 13th Workshop on Parallel Systems and Algorithms (PASA 2018)

In addition to invited talks all workshops comprised presentations of papers selected through a thorough peer reviewing process on submitted papers. These proceedings consist of all papers selected by the workshop organisers and programme committees.
Trinitis, Carsten; Pionteck, Thilo

1
2
3

Model-based Security Engineering for Secure Systems Development

Authors:
Lunkeit, Armin; Pohl, Hartmut
4

Applying the Ideal Testing Framework to HDL Programs

Authors:
Kilincceker, Onur; Turk, Ercument; Challenger, Moharram; Belli, Fevzi
5
6

Towards Automatic Compiler-assisted Performance and Energy Modeling for Message Passing Parallel Programs

Authors:
Gschwandtner, Philipp; Hirsch, Alexander; Benedict, Shajulin; Fahringer, Thomas
7

Tracing of Multi-Threaded Java Applications in Score-P Using Bytecode Instrumentation

Authors:
Frenzel, Jan; Feldhoff, Kim; Jaekel, Rene; Mueller-Pfefferkorn, Ralph
8

A Target Platform Description Language for Parallel Code Generation

Authors:
Schmitt, Christian; Hannig, Frank; Teich, Juergen
9

Mapped Taskgraphs as a Tool for Optimization in Static Taskgraph Scheduling

Authors:
Keller, Joerg; Eitschberger, Patrick
10
11

Parallel Exploration of an Unknown Random Forest

Authors:
Keller, Joerg; Eitschberger, Patrick
12
13

Work-in-Progress: Real-Time Scheduling of Parallel Applications with Gang Scheduling

Authors:
Langer, Tobias; Osinski, Lukas; Schmid, Michael; Mottok, Juergen
14

Parallel Active Object Pattern

Authors:
Schmid, Michael; Langer, Tobias; Osinski, Lukas; Mottok, Juergen
15

PyFI - Fault Injection Platform for Real Hardware

Authors:
Osinski, Lukas; Langer, Tobias; Schmid, Michael; Mottok, Juergen
16

Latency Measurements for an Emulation Platform on Autonomous Driving Platform NVIDIA Drive PX2

Authors:
Widerspick, Christian; Bauer, Wolfgang; Fey, Dietmar
17

Self-integrating Organic Control Systems: from Crayfish to Smart Homes

Authors:
Diaconescu, Ada; Mata, Pembe; Bellman, Kirstie
18

Toward an Organic Computing Approach to Automated Design of Processing Pipelines

Authors:
Stein, Anthony; Margraf, Andreas; Moroskow, Juergen; Geinitz, Steffen; Haehner, Joerg
19

A Concept for Productivity Tracking based on Collaborative Interactive Learning Techniques

Authors:
Calma, Adrian; Kuhn, Jochen; Leimeister, Jan Marco; Lukowicz, Paul; Oeste-Reiss, Sarah; Schmidt, Albrecht; Sick, Bernhard; Stumme, Gerd; Tomforde, Sven; Zweig, Anna Katharina
20

A Rule-Based Approach for Self-Optimisation in Autonomic EHealth Systems

Authors:
Neyens, Gilles Irenee Fernand; Zampunieris, Denis
21

Towards Proactive Health-enabling Living Environments: Simulation-based Study and Research Challenges

Authors:
Tomforde, Sven; Dehling, Tobias; Haux, Reinhold; Huseljic, Denis; Kottke, Daniel; Scheerbaum, Jonas; Sick, Bernhard; Sunyaev, Ali; Wolf, Klaus-Hendrik
22

Verification of the C++-Operating System RODOS in Context of a Small-Satellite

Authors:
Gerlich, Rainer; Gerlich, Ralf; Gordon, Karsten; Barschke, Merlin; Montenegro, Sergio; Dilger, Erik; Flederer, Frank
23

The Use of Different Architectures and Streak Observations Algorithms to Detect Space Debris

Authors:
Vallduriola, Gerard Vives; Scharf, Arthur; Pittet, Jean-Noel; Utzmann, Jens; Trujillo, Diego Andres Suarez; Vananti, Alessandro; Helfers, Tim; Daens, Damien
24
25
26

The Flying Laptop Satellite as a Low-Threshold Testbed for Computing in Orbit

Authors:
Hagel, Phillip; Burgdorf, Jonas; Wenzel, Sebastian