Peter Tröger

Peter Tröger
Beuth Hochschule für Technik Berlin · Department of Communication and Information Technology

Prof. Dr. rer. nat. habil.

About

113
Publications
24,666
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
521
Citations
Additional affiliations
January 2012 - present
January 2011 - present
October 2007 - December 2008
Blekinge Institute of Technology
Position
  • Professor

Publications

Publications (113)
Chapter
Eine Verlässlichkeitsbedrohung (dependability threat) ist ein unerwünschtes Ereignis (beziehungsweise der resultierende Zustand) im betrachteten System, welches eine Verletzung der Spezifikation bewirken kann. Dieses kann unverzüglich mit dem Auftreten des Ereignisses oder mit zeitlicher Verzögerung geschehen.
Chapter
Das folgende Kapitel beschäftigt sich mit der Modellierung von Verlässlichkeit auf Grundlage der funktionalen Struktur des Systems. Dabei werden mit verschiedenen Methoden die möglichen Fehlerausbreitungen herausgearbeitet und mögliche Systemausfälle entsprechend auf den Ausfall von Basiskomponenten zurückgeführt.
Chapter
Das folgende Kapitel liefert eine Zusammenfassung von etablierten Begriffen und Konzepten der Verlässlichkeit im Kontext moderner IT-Systeme. Dabei werden grundsätzliche Probleme mit Uneindeutigkeit und Unsicherheit diskutiert.
Chapter
In den klassischen Ingenieursdisziplinen und in der modernen Softwaretechnik existieren Standards und normierte Vorgehensweisen, welche die Planung, Entwicklung, Überprüfung, Zertifizierung und Wartung von verlässlichen Systemen regeln. Sie verweisen dafür auf verschiedene Modellierungstechniken und legen fest, wann und auf welche Weise diese einge...
Chapter
Die zweite große Achse des Verlässlichkeitsbaums aus Abbildung 4.2 (Seite 78) sind die Merkmale der Verlässlichkeit. Laprie definiert hier eine Menge von typischen nicht-funktionalen Eigenschaften, die der Verlässlichkeit zugeordnet werden.
Chapter
Seit langer Zeit werden Messwerte und Statistiken aus dem Betrieb von Systemen in der Gestaltung ihrer nächsten Generation berücksichtigt. Diese Erstellung von quantitativen Hypothesen über die zukünftige Zuverlässigkeit ist unter dem Begriff Zuverlässigkeitsprognose (reliability prediction) bereits seit den 60er Jahren bekannt [63, 93, 112]. Nach...
Chapter
Die qualitative Modellierung der Verlässlichkeit konzentriert sich auf Abhängigkeiten und Zusammenhänge im System, ohne dabei konkrete Wahrscheinlichkeiten für das Auftreten bestimmter Ereignisse anzunehmen. Somit können, trotz Unvollständigkeit in den Informationen und den entstehenden Modellen, bereits erste Aussagen zu Beginn der Systementwicklu...
Chapter
Die Modellierung und Analyse von Verlässlichkeit ist ein wichtiger Teil von vielen Ingenieursdisziplinen. Aus Sichtweise der Informatik sind die zugehörigen Prinzipien etabliert und haben eine beeindruckend lange Tradition vorzuweisen.
Chapter
Bei der Betrachtung der nicht-funktionalen Eigenschaften eines Systems ist es notwendig, die jeweilige komplexe Fragestellung („Wird es ausfallen?“) in kleinere Teilprobleme zu zerlegen und diese dann jeweils für sich zu betrachten. Dafür ist die vorherige Bereinigung und Verringerung der Informationen über das System notwendig. Der übliche Ansatz...
Chapter
Wenn ein Modell oder dessen Ausgangsinformationen nicht das volle Vertrauen des Modellierers genießen, dann kann dieser Umstand schlichtweg ignoriert werden. Alternativ könnte Unsicherheit mit einer geeigneten mathematischen Beschreibung explizit zum Teil des Modells werden. Daraus ergeben sich einige interessante Fragestellungen.
Conference Paper
Full-text available
Future automotive software needs to deal with an increasing level of dynamicity, reasoned by the wish for connected driving, software updates, and dynamic feature activation. Such functionalities cannot be properly realized with today's classic AUTOSAR development approach, since it relies on the static configuration of all software units at build...
Article
Hybrid automata are a well-established modelling approach. The formalism is used in many real-time and control systems engineering projects, which makes model composition an increasingly relevant topic. A well-defined composition support allows concurrent engineering activities and the validation of larger systems. However, many existing publicatio...
Book
Peter Tröger nimmt eine umfassende Einordnung und Bewertung von Methoden vor, mit denen sich nicht-funktionale Eigenschaften wie Zuverlässigkeit, Verfügbarkeit und Sicherheit modellieren und analysieren lassen. Er diskutiert dabei die Frage, ob und wie die Unvollkommenheit von Ausgangsinformationen berücksichtigt werden kann. Dafür werden die Teilp...
Conference Paper
The increasing adoption of virtualization in high-performance computing domain makes it necessary to reduce the performance loss due to virtualization for the workloads. In a single computing node, the loss is mainly incurred by memory virtualization. To take the advantages of virtual memory, page tables are commonly adopted for the mapping from vi...
Conference Paper
AUTOSAR is the de-facto standard for developing automotive software. It is utilized by leading car manufacturers and suppliers as a common platform for software portability and interoperability. Future car applications such as autonomous driving and Internet service usage change the static deployment model on single ECUs towards the classic idea of...
Technical Report
Full-text available
This document describes the Distributed Resource Management Application API Version 2 (DRMAA). It defines a generalized API to Distributed Resource Management (DRM) systems in order to facilitate the development of portable application programs and high-level libraries. The intended audience for this specification are DRMAA language binding designe...
Technical Report
Full-text available
This document describes the C language binding for the Distributed Resource Management Application API Version 2 (DRMAA). The intended audience for this specification are DRMAA implementors.
Conference Paper
In the existing abundance of different hybrid automata for- malisms concurrent composition is seldom considered or requires addi- tional semantics which is not always defined. This work considers three common reasons of problems with hybrid automata composition: con- tradicting resets in the discrete transitions, global time reference with contradi...
Conference Paper
Fault tree analysis, as many other dependability evaluation techniques, relies on given knowledge about the system architecture and its configuration. This works sufficiently for a fixed system setup, but becomes difficult with resilient hardware and software that is supposed to be flexible in its runtime configuration. The resulting uncertainty ab...
Conference Paper
In the new era of cyber-physical systems, software must adapt itself to ever-changing environmental conditions and situations. This is currently not reflected in the design of embedded operating systems, since they are primarily optimized for fixed usage scenarios with tight resource constraints. We discuss the idea of interpreted operating system...
Article
Full-text available
The software engineering field has a long history of classifying software failure causes. Understanding them is paramount for fault injection, focusing testing efforts or reliability prediction. Since software fails in manifold complex ways, a broad range of software failure cause models is meanwhile published in dependability literature. We presen...
Presentation
Full-text available
Fault trees are a well-known and widely used method for dependability predictions in engineering sciences. They enable a structured analysis of error propagation chains, which is especially important in safety critical systems. Classical fault trees are based on complete knowledge about the modelled system. This kind of information is available onl...
Conference Paper
Full-text available
In real-world spacecraft systems, concurrent system activities must be constrained for energy efficiency and functional reasons. Such constraints must be considered in the early design phases, in order to avoid costly reiterations and modifications of the proposed system design in later phases. Although some initial attempts for using formal specif...
Conference Paper
While the future importance of cyber-physical systems is widely acknowledged, there is surprisingly rare discussion about the design of operating systems for these kinds of systems. We present an extended view on the low-level abstractions to be offered by the operating system to applications. The central idea is the treatment of all relevant cyber...
Conference Paper
Blind Signal Separation is an algorithmic problem class that deals with the restoration of original signal data from a signal mixture. Implementations, such as FastICA, are optimized for parallelization on CPU or first-generation GPU hardware. With the advent of modern, compute centered GPU hardware with powerful features such as dynamic parallelis...
Conference Paper
Scale-invariant feature transform (SIFT) is an algorithm to identify and track objects in a series of digital images. The algorithm can handle objects that change their location, scale, rotation or illumination in subsequent images. This makes SIFT an ideal candidate for object tracking – typically denoted as feature detection – problems in compute...
Conference Paper
Scale-invariant feature transform (SIFT) is an algorithm to identify and track objects in a series of digital images. The algorithm can handle objects that change their location, scale, rotation or illumination in subsequent images. This makes SIFT a promising choice for feature detection and tracking in computer vision applications. The only probl...
Conference Paper
Dependability modeling describes a set of approaches for analyzing the reliability of software and hardware systems. The most prominent approach are fault trees, which hierarchically express the causal dependencies between basic faults and an undesired failure event. Dynamic fault trees allow to express sequence-dependent error propagation, which i...
Article
Future automotive systems will be connected with other vehicles and information systems for improved road safety, mobility and comfort. This new connectivity establishes data and command channels between the internal automotive system and arbitrary external entities. One significant issue of this paradigm shift is that formerly closed automotive sy...
Article
Full-text available
The submission and management of computational jobs is a traditional part of utility computing environments. End users and developers of domain-specific software abstractions often have to deal with the heterogeneity of such batch processing systems. This lead to a number of application programming interface and job description standards in the pas...
Chapter
SynonymsWeb Services definition language (WSDL); Web Services description language (WSDL)DefinitionOne of the main building blocks of a Web Service environment is the language to describe available services. The documents written in this language allow to find and use services without any further knowledge about their implementation details, intern...
Conference Paper
Dependability modeling is a widely established method for analyzing the reliability of complex systems. Nearly all approaches focus on the representation - in success or failure space - of one specific system configuration. This does not reflect the high configurability of systems being common today. Furthermore, in order to perform a quantitative...
Conference Paper
Modern server and desktop systems combine multiple computational cores and accelerator devices into a hybrid architecture. GPUs as one class of such devices provide dedicated processing power and memory capacities for data parallel computation of 2D and 3D graphics. Although these cards have demonstrated their applicability in a variety of areas, t...
Conference Paper
Elementary Flux Modes (EFMs) can be used to characterize functional cellular networks and have gained importance in systems biology. Enumeration of EFMs is a compute-intensive problem due to the combinatorial explosion in candidate generation. While there exist parallel implementations for shared-memory SMP and distributed memory architectures, too...
Conference Paper
The design and operation of high performance computing (HPC) infrastructures is, and always was, a huge technological challenge. Whenever the next generation of HPC system was about to be designed in the past, the community faced an ever-growing number of compute nodes and storage capacity, increasing heterogeneity of software, a new level of nonli...
Technical Report
Full-text available
This document describes the Distributed Resource Management Application API Version 2 (DRMAA). It defines a generalized API to Distributed Resource Management (DRM) systems in order to facilitate the development of portable application programs and high-level libraries. The intended audience for this specification are DRMAA language binding designe...
Article
Over many decades, advances in computer system design and processor manufacturing have resulted in an ever-increasing per-chip transistor count, which, in combination with increased clock frequencies, has led to a tremendous increase in single-thread performance in desktop and server CPUs. The trend to higher integration in processor manufacturing...
Article
Modern virtual machine environments allow the live migration of running systems for uninterrupted service provisioning or for moving away computation from failing hosts. The overall duration of migration and the short intermediate downtime during this process are essential when implementing service availability agreements for the given virtual mach...
Article
Full-text available
The advent of homogeneous many-core processors has been widely noticed as a major shift in the architecture of commodity computer systems. It has influenced the design of operating systems and programming models and gives a boost to high-level parallelization libraries. Future commodity systems will combine homogeneous many-core processors with gra...
Conference Paper
Physical memory faults are one of the accepted reliability threats for modern processor technology. Even though error correction for memory hardware can deal with this class of fault, many processor designs such as X86 do not invest semiconductor complexity and space to deal with multi-bit faults in caches and registers. In this paper, we analyze h...
Article
Desktop software developers' interest in graphics hardware is increasing as a result of modern graphics cards' capabilities to act as compute devices that augment the main processor. This capability means parallel computing is no longer a dedicated task for the CPU. A trend toward heterogeneous computing combines the main processor and graphics pro...
Article
Full-text available
Next generation processor and memory technolo-gies will provide tremendously increasing computing and mem-ory capacities for application scaling. However, this comes at a price: Due to the growing number of transistors and shrinking structural sizes, overall system reliability of future server systems is about to suffer significantly. This makes re...
Article
Full-text available
salfner/tschirpk@informatik.hu-berlin.de Abstract—Software-implemented fault injection is an estab-lished method to emulate hardware faults in computer systems. Existing approaches typically extend the operating system by special drivers or change the application under test. We propose a novel approach where fault injection capabilities are added t...
Conference Paper
Full-text available
Density of medical clinics, ease of access to doctors, the age pyramid of the population - these are differentiating factors among patients living in urban or rural areas which may affect the probability to survive certain diseases and attacks dramatically. The German Fontane project, a collaboration of medical experts, IT researchers and companies...
Article
Full-text available
Cluster and Grid environments mostly require the use of product-specific Application Programming Interface (APIs) to submit, control and monitor computational jobs. The Open Grid Forum standardisation body therefore has developed several specifications to fill the gap and enable developers to code to few standardised APIs. This paper discusses the...
Conference Paper
Full-text available
A recent trend in the design of commodity processors is the combination of multiple independent execution units on one chip. With the resulting increase of complexity and transistor count, it becomes more and more likely that a single execution unit on a processor gets faulty. In order to tackle this situation, we propose an architecture for depend...
Conference Paper
Profiling of application memory consumption typically includes a trade-off between overhead and accuracy. We present a new approach for memory usage accounting which has a comparatively low overhead and still provides meaningful results. Our approach considers the structure of modern applications by introducing the notion of memory accounts where a...
Article
Many of today's distributed computing systems in the field do not Support the migration of execution entities among computing nodes (luring runtime. The relatively static association between units of processing and computing nodes makes it difficult to implement fault-tolerant behavior or load-balancing schemes. The concept of code migration may pr...
Article
Agent platforms provide a framework for development and execution of parallel applications such as multi-agent based simulation (MABS). However, these platforms have limitations to support large-scale MABS applications in practice. This paper aims at investigating and improving the performance of an agent platform with a MABS workload in distribute...
Article
Full-text available
Since the very beginning of hardware development, computer processors were invented with ever-increasing clock frequencies and sophisticated in-build optimization strategies. Due to physical limitations, this 'free lunch' of speedup has come to an end. The following article gives a summary and bibliography for recent trends and challenges in CMP ar...
Article
Full-text available
With the ongoing internationalization of virtuallaboratories, the integration aspect becomes moreimportant. The meanwhile commonly accepted ’glue’ forsuch legacy systems are service oriented architectures, basedon standardized and accepted Web service standards.We present our concept of the ’experiment as a service’,where the idea of service-based...
Technical Report
Full-text available
This document describes the common base for the Distributed Resource Management Application API (DRMAA) bindings for procedural and object-oriented languages. The document reflects the original semantics from the DRMAA 1.0 grid recommendation document (GFD.22).
Chapter
The enactment of service compositions demands a direct interaction with existing middleware technology, which provides the execution environment for service implementations. The service infrastructure forms the base for a service oriented distributed application. It combines all relevant functionalities for the development, installation, usage, and...
Conference Paper
Full-text available
Remote and virtual laboratories are commonly used in elec- tronic engineering and computer science to provide hands-on experience for students. Web services have lately emerged as a standardized interfaces to remote laboratory experiments and simulators. One drawback of direct Web service inter- faces to experiments is that the connected hardware c...
Book
Service-oriented computing has recently gained extensive momentum in both industry and academia, and major software vendors hook on to the service paradigm and tailor their software systems towards services in order to accommodate ever-changing process and product requirements in today's dynamic market environments. While dynamic binding of service...
Chapter
Even though semantic service provisioning is still a hot research topic, many projects and collaborations already gained a tremendous amount of experiences. This chapter sketches the prototype experiences from one of these projects, the European integration project ASG, which was also the starting point for this book. The chapter further discusses...
Conference Paper
Full-text available
Today's cluster and grid environments demand the usage of product-specific APIs and tools for develop- ing distributed applications. We give an overview of the Distributed Resource Management Application API (DRMAA) specification, which defines a common in- terface for job submission, control, and monitoring. The DRMAA specification was developed b...
Article
Full-text available
The introduction of service-orientation leads to significant improvements regarding flexibility in the choice of business partners and IT-systems. This requires an increased adaptability of enterprise software landscapes as the environment is more dynamic than the ones in traditional approaches. In this paper we present different types of adaptatio...