Network


Latest external collaboration on country level. Dive into details by clicking on the dots.

Hotspot


Dive into the research topics where Reinhold Weiß is active.

Publication


Featured researches published by Reinhold Weiß.


engineering of computer-based systems | 2011

A Computer-Aided Approach to Preliminary Hazard Analysis for Automotive Embedded Systems

Roland Mader; Gerhard Grießnig; Andrea Leitner; Christian Kreiner; Quentin Bourrouilh; Eric Armengaud; Christian Steger; Reinhold Weiß

Powertrain electrification of automobiles leads to a higher number of sensors, actuators and control functions, which in turn increases the complexity of automotive embedded systems. The safety-criticality of the system requires the application of Preliminary Hazard Analysis early in the development process. This is a necessary first step for the development of an automotive embedded system that is acceptably safe. Goal of this activity is the identification and classification of hazards and the definition of top level safety requirements that are the basis for designing a safety-critical embedded system that is able to control or mitigate the identified hazards. A computeraided framework to support Preliminary Hazard Analysis for automotive embedded systems is presented in this work. The contribution consists of (1) an enhancement for Preliminary Hazard Analysis to the domain-specific language EAST-ADL, as well as (2) the identification of properties that indicate the correct application of Preliminary Hazard Analysis using the language. These properties and an analysis model reflecting the results of the Preliminary Hazard Analysis are used for the automated detection of an erroneously applied Preliminary Hazard Analysis (property checker) and the automated suggestion and application of corrective measures (model corrector). The applicability of the approach is evaluated by the case study of hybrid electric vehicle development.


international conference on computer safety reliability and security | 2011

Computer-aided PHA, FTA and FMEA for automotive embedded systems

Roland Mader; Eric Armengaud; Andrea Leitner; Christian Kreiner; Quentin Bourrouilh; Gerhard Grießnig; Christian Steger; Reinhold Weiß

The shift of the automotive industry towards powertrain electrification introduces new automotive sensors, actuators and functions that lead to an increasing complexity of automotive embedded systems. The safety-criticality of these systems demands the application of analysis techniques such as PHA (Preliminary Hazard Analysis), FTA (Fault Tree Analysis) and FMEA (Failure Modes and Effects Analysis) in the development process. The early application of PHA allows to identify and classify hazards and to define top-level safety requirements. Building on this, the application of FTA and FMEA supports the verification of a system architecture defining an embedded system together with connected sensors and controlled actuators. This work presents a modeling framework with automated analysis and synthesis capabilities that supports a safety engineering workflow using the domain-specific language EAST-ADL. The contribution of this work is (1) the definition of properties that indicate the correct application of the workflow using the language. The properties and a model integrating the work products of the workflow are used for the automated detection of errors (property checker) and the automated suggestion and application of corrective measures (model corrector). Furthermore, (2) fault trees and a FMEA table can be automatically synthesized from the same model. The applicability of this computer-aided and tightly integrated approach is evaluated using the case study of a hybrid electric vehicle development.


engineering of computer-based systems | 2012

Analyzing the Complexity of Domain Model Representations

Andrea Leitner; Reinhold Weiß; Christian Kreiner

Software Product Lines (SPL) are a viable method for systematic reuse. An essential part of an SPL is the domain model. In order to be efficient the domain model should have an as low as possible complexity. In this way the usability and maintainability of the domain model can be improved. This is important because of the long lifecycle and the hopefully high number of derived products. One important influence factor for the complexity is the choice of the domain modeling paradigm. Another point is the design of the model. Various aspects can be modeled in different ways resulting in different levels of complexity. To the best of our knowledge there is no simple metric to measure and compare the complexity of different domain representations. To make it clear we do not measure the complexity of the domain itself, but of its representation. This work suggests simple metrics to estimate interface, element and property complexity, the main building blocks of domain models. These three values are simply summed up for an overall complexity. In this way they can be used to compare the complexity of different representations. In order to be able to show that our metrics yield useful values despite their simplicity we investigated several use cases. We show the influence of the modeling paradigm and various characteristics of the domain on the complexity of the representation. Finally, we suggest a method to reduce the complexity of complex, heterogeneous domains.


Elektrotechnik Und Informationstechnik | 2011

A development methodology for variant-rich automotive software architectures

Andrea Leitner; Roland Mader; Christian Kreiner; Christian Steger; Reinhold Weiß

ZusammenfassungHohe Marktdynamik führt zu immer schneller werdenden Produktentwicklungszyklen automotiver eingebetteter Systeme. Der multidisziplinäre Charakter in der Entwicklung derartiger sicherheitsgerichteter Systeme stellt hohe Anforderungen an eine effiziente und effektive Wiederverwendungsstrategie. Das V-Modell ist ein weitverbreiteter Entwicklungsprozess in dieser Branche. Es beinhaltet typischerweise modellgetriebene Entwicklung, Sicherheitstechnik und Verifikation (Komponententest, Integrationstest, Co-simulation etc.) Produktlinienorientierte Entwicklung verspricht schnelle und effiziente Produktentwicklung durch systematische Wiederverwendung und gestattet konsistente Ansteuerung aller Varianten. In dieser Arbeit wird das V-Modell durch eine Produktlinienumgebung für automotive eingebettete Systeme erweitert. Damit wird die konsistente Konfiguration der Systemarchitekturbeschreibung (EAST-ADL2), der modellgetriebenen Entwicklung (Matlab/Simulink), der Softwarekomponentenverteilung auf den Steuergeräten (AUTOSAR-basierend), der Simulink-basierenden Komponenten- und Integrationstests und der Co-simulationmodellvarianten sichergestellt. Durch die Verwendung der Architekturbeschreibungssprache EAST-ADL2 ist es möglich, auch sicherheitsrelevante Aspekte zu integrieren.SummaryEver accelerating product cycles together with multi-discipline engineering processes are typical for safety-critical automotive embedded systems development. This demands for both efficient and effective development and reuse strategies. A development process following the V-model incorporating model-driven prototyping and development, safety engineering, and verification (unit testing, integration testing, cosimulation, etc.) is commonly found. Product line engineering enables fast and efficient product configuration through systematic reuse. The V-model has been extended by an integrated product line engineering environment for automotive embedded systems. This ensures the consistent configuration across system architecture description (EAST-ADL2), model driven development (Matlab/Simulink), software component deployment on an ECU network (AUTOSAR-based), Simulink-based software unit testing, Simulink-based software integration testing, and co-simulation model variants. Using the automotive architecture description language EAST-ADL2 enables the integration of safety engineering aspects.


design and diagnostics of electronic circuits and systems | 2010

Automated simulation-based verification of power requirements for Systems-on-Chips

Christoph Trummer; Christoph M. Kirchsteiger; Christian Steger; Reinhold Weiß; Markus Pistauer; Damian Dalton

Today power dissipation is the most important constraint for Systems-on-Chips (SoCs). Consequently, it is necessary to consider power in the requirements of mobile, battery-powered devices in which SoCs are often used. These power requirements describe battery lifetime, power constraints and low-power states. Verification ensures that the system fulfills the power requirements. However, verifying all requirements of the complex SoC design needs considerable effort. We introduce a methodology to reduce the verification effort through a high degree of automation. Our novel approach to verify battery lifetime, power constraints and the power aware design comprises three parts. First, a semi-formal use case format unifies specification of power and system requirements. Second, these specifications are used to automatically derive test cases and to generate a verification environment. Third, fast simulation and power estimation are employed to verify battery lifetime, power constraints and the power aware design against the requirements.


software product lines | 2011

Towards multi-modeling for domain description

Andrea Leitner; Christian Kreiner; Roland Mader; Christian Steger; Reinhold Weiß

Domain modeling is a key task in the development of a software product line. We identified two popular modeling paradigms: Feature-oriented domain modeling (FODM) and domain specific modeling (DSM). The appropriate choice of the modeling paradigm is a crucial decision for the development of an efficient and easy to use domain model. For complex and heterogeneous domain descriptions, for example embedded system descriptions, different representation techniques can be useful to describe the different parts of the system. We propose a method to combine both representation techniques to realize a domain specific multi modeling approach. This supports not only a more natural domain description, but can as well be seen as a support for knowledge transfer between different stakeholders.


engineering of computer-based systems | 2010

Design and Implementation of Safety Functions on a Novel CPLD-Based Fail-Safe System Architecture

Gerhard Grießnig; Roland Mader; Christian Steger; Reinhold Weiß

In the case of a fault fail-safe systems achieve and maintain a safe state for people, environment and property. These systems are usually realized using microcontroller-based architectures. With respect to cost per unit and development effort for fail-safe systems, industry has to consider new approaches. An option is to realize simple safety functions using architectures that include CPLDs. A novel hardware architecture for embedded fail-safe systems is the outcome of recent research efforts at SIEMENS. This architecture is homogeneously redundant and contains, in contrast to similar systems, exclusively two CPLDs instead of microcontrollers. This paper is presenting design and implementation of the very first fail-safe system based on this architecture. This system targets the market of industrial automation. The fail-safe system enhances a power converter with safety functions. To achieve the required safety integrity, adequate measures able to detect random and permanent faults, are implemented. The novel fail-safe system adheres to the draft of the second edition of the IEC 61508, which includes requirements for the realization of safety functions using CPLDs, the IEC 61800-5-2 and the EN ISO 13849.


power and timing modeling optimization and simulation | 2009

Accelerating embedded software power profiling using run-time power emulation

Christian Bachmann; Andreas Genser; Christian Steger; Reinhold Weiß; Josef Haid

Power-aware software development of complex applications is frequently rendered infeasible by the extensive simulation times required for the power estimation process. In this paper, we propose a methodology for rapidly estimating the power profile of a given system based on high-level power emulation. By augmenting the HDL implementation of the system with a high-level power model, a power profile is generated during run-time. We evaluate our approach on a deep-submicron 80251-based smart-card microcontroller-system. The additional hardware effort for introducing the power emulation functionality is only 1.5% while the average estimation error is below 10% as compared to gate-level simulations.


Elektrotechnik Und Informationstechnik | 1997

Ein Multi-Agentensystem für die modellbasierte Echtzeit-Fehlerdiagnose

Reinhold Weiß; Ch. Steger

ZusammenfassungEchtzeit-KI-Systeme, insbesondere Multi-Agentensysteme, werden zunehmend für komplexe technische Anwendungen interessant. Dieser Beitrag beschreibt VEX, ein Multi-Agentensystem für die modellbasierte Echtzeit-Fehlerdiagnose in modularen Produktionssystemen. Die Architektur umfaßt mehrere Prozeß-Agenten sowie je einen Simulations- und einen Benutzer-Agenten. Wir diskutieren die wesentlichsten Systemeigenschaften dieser Echtzeit-KI-Architektur. Als Implementierungsbeispiele zeigen wir den Multi-DSP-Simulatorkern des Simulations-Agenten, das Client-Server-Kommunikationsprotokoll zwischen den Prozeß-Agenten und die Benutzeroberfläche des Benutzer-agenten.AbstractReal-time AI systems, among them multiagent systems, are gaining importance in complex technical applications. This paper presents VEX, an ambitious multiagent system for model-based real-time fault diagnosis in modular production systems. The architecture comprises several process agents, a simulation agent and a user agent. We discuss the most interesting characteristics of this real-time AI architecture. As implementation examples we present the multi-DSP core of the simulation agent, the client-server communication protocol for the process agents and the user agent’s graphical interface.


power and timing modeling optimization and simulation | 2010

An automated framework for power-critical code region detection and power peak optimization of embedded software

Christian Bachmann; Andreas Genser; Christian Steger; Reinhold Weiß; Josef Haid

In power-constrained mobile systems such as RF-powered smart-cards, power consumption peaks can lead to supply voltage drops threatening the reliability of these systems. In this paper we focus on the automated detection and reduction of power consumption peaks caused by embedded software. We propose a complete framework for automatically profiling embedded software applications by means of the power emulation technique and for identifying the power-critical software source code regions causing power peaks. Depending on the power management features available on the given device, an optimization strategy is chosen and automatically applied to the source code. In comparison to the manual optimization of power peaks, the automatic approach decreases the execution time overhead while only slightly increasing the required code size.

Collaboration


Dive into the Reinhold Weiß's collaboration.

Top Co-Authors

Avatar

Christian Steger

Graz University of Technology

View shared research outputs
Top Co-Authors

Avatar
Top Co-Authors

Avatar

Andrea Leitner

Graz University of Technology

View shared research outputs
Top Co-Authors

Avatar

Andreas Genser

Graz University of Technology

View shared research outputs
Top Co-Authors

Avatar

Christian Bachmann

Graz University of Technology

View shared research outputs
Top Co-Authors

Avatar

Christoph Trummer

Graz University of Technology

View shared research outputs
Top Co-Authors

Avatar

Leander B. Hörmann

Graz University of Technology

View shared research outputs
Researchain Logo
Decentralizing Knowledge