Virtuelle und Erweiterte Realität für höchste Sicherheit und Zuverlässigkeit von Eingebetteten Systemen

A Testbed for Self-Optimizing Component-Based Systems,

Antonino, Pablo; Orfgen, Marius; Schneider, Daniel; Hussain, Tanvir; Becker, Martin in Proceedings of the 5th International Conference on Software Engineering Advances (ICSEA 10)

Abstract: In the wake of new computing paradigms, such as Ubiquitous Computing, Intelligence, and Cyber Physical Systems, promising application like Ambient Assisted Living (AAL) and Car2Car have emerged. common characteristic of systems belonging to these application is their capability for dynamic adaptations driven by environmental system internal changes. As a consequence, it is important for... more

Systematic Construction of Goal Indicator Trees for Indicator-based Dependability Inspections

Elberzhager, Frank; Eschbach, Robert; Kloos, Johannes, in Proceedings of the 36th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA)

Abstract: We are surrounded by ever more systems with high dependability requirements, as driving assistance systems from the automotive domain or systems from the medical domain. The increasing complexity these systems makes it more difficult not only to develop them, also to perform quality assurance on them. Hence, in order to their quality, respectively reduce the potential harm associated... more

Indicator-Based Inspections: A Risk-Oriented Quality Assurance Approach for Dependable Systems

Elberzhager, Frank; Eschbach, Robert; Kloos, Johannes, in Proccedings of Software Engineering 2010,

Abstract: More and more dependable systems are around us like driving assistance from the automotive domain or life supporting systems from medical domain. Due to their increasing complexity, not only development but also the quality assurance for such systems becomes difficult. They may cause harm of different severity their environment. Hence, in order to reduce risks associated these systems,... more

Risk-based statistical testing: an novel approach for the reliability analysis of safety-critical embedded systems

Eschbach, Robert, in

Identification of Security-Safety Requirements for the outdoor robot RAVON using Safety Analysis Techniques

Guo, Zhensheng; Zeckzer, Dirk; Liggesmeyer, Peter; Mäckel, Oliver in Proceedings of the 5th International Conference on Software Engineering Advances (ICSEA 10)

Abstract: This paper presents a case study for identifying security-safety requirements using safety analysis techniques. In order to construct distributed safety-critical systems, it is crucial to identify only the safety requirements, but also the security requirements due to the fact that security attacks on the communication could cause safety consequences, such as damage to properties even... more

Automated Fault Tree Generation and Risk-Based Testing of Networked Automation Systems

Hussain, Tanvir; Eschbach, Robert, in Proceedings of 15th IEEE Conference on Emerging Technologies and Factory Automation (ETFA 10)

Abstract: In manufacturing automation domain safety and availability are the important factors to ensure productivity. In modern software networked automation systems it became quite hard to ensure non-functional requirements are related to these factors as as whether these are satisfied or not. This is due to the prevalence manual efforts in several analyses phases where complexity of system often... more

Tool support for a safety- and security- based assessment model for software engineering processes

Mouaffo, Adrien; Guo, Zhensheng; Huq, Mahmudul; Rombach, Dieter; Liggesmeyer, Peter in Proceedings of Software Process Improvement And Capability Determination (SPICE) Conference

Abstract: Safety-critical systems such as Ambient Assisted Living systems are increasingly deployed in networks, resulting in security becoming issue that can impact the safety of such systems and should therefore considered while addressing safety. A large number of standards best practices exist to guide developers in choosing suitable models to use, but this selection is time-consuming and often... more

A Systematic Testing Approach for Autonomous Mobile Robots Using Domain-Specific Languages

Proetzsch, Martin; Zimmermann, Fabian; Eschbach, Robert; Kloos, Johannes; Berns, Karsten in Proceedings of the 3rd Annual German Conference on AI (KI 10),

Abstract: One aspect often neglected during the development of autonomous mobile is the systematic validation of their overall behavior. Especially robots applied to real-world scenarios may cause injuries or human death and must therefore be classified as safety-critical. this paper, a generic approach to defining and executing purposeful runs using domain-specific languages (dsls) is presented.... more

Conditional Safety Certificates in Open Systems,

Schneider, Daniel; Trapp, Mario, in Proceedings of the 1st Workshop on Critical Automotive applications: Robustness and Safety

Abstract: In the wake of current computing trends like Ubiquitous Computing, Intelligence and Cyber Physical Systems, new application like Car2Car emerged. One key characteristic of these new domains is their openness with respect to dynamic integration devices and components. It is obvious that traditional safety techniques, both state of the practice and state of the are not sufficient in this... more

Blick ins Gehirn des Computers - Neue Visualisierungstechniken in komplexen Softwareroutinen Safety- und Securitylücken schneller zu sehen

Wengenroth, Stephan, in

Comparitive Study of Variability Management in Software Product Lines and Runtime Adaptable Systems

Alves, Vander; Schneider, Daniel; Becker, Martin; Bencomo, Nelly; Grace, Paul in Proceedings of the 2nd International Workshop on Variability Modelling of Software-intensive Systems (VaMoS 09)

Abstract: Software Product Lines (SPL) and Runtime Adaptation (RTA) have traditionally distinct research areas addressing different problems and with communities. Despite the differences, there are also underlying with synergies that are worth investigating in both potentially leading to more systematic variability support both domains. Accordingly, this paper analyses commonality and of... more

Annual Report,

Eschbach, Robert, in

Fault Tree analysis of Software-Controlled Component Systems Based on Second-Order Probabilities

Förster, Marc; Trapp, Mario, in Proceedings of the 20th International Symposium on Software Reliability Engineering (ISSRE 09)

Abstract: Software is still mostly regarded as a black box in the development and its safety-related quality ensured primarily by process For systems whose lion share of service is delivered by software, process-centred methods are seen to be no longer Recent safety norms (for example, ISO 26262) thus prescribe use of safety models for both hardware and software. However, rates or probabilities for... more

Statistical Testing of IEC 61499 Compliant Software Components,

Hussain, Tanvir; Eschbach, Robert, in Proceedings of the 13th IFAC Symposium on Information Control Problems in Manufacturing (INCOM 09)

Abstract: The standard IEC 61499 ushered in the use of Object-Oriented (OO) and Model Driven Development (MDD) in the realm of industrial Consequently, it paved the way for easier integration off-the-shelf and vendor specific or legacy software components the applications. The standard provides a means for specifying or hardware independent software modules which quite would undergo innumerable... more

Die Zukunft in der Softwareentwicklung,

Liggesmeyer, Peter; Eschbach, Robert; Kalmar, Ralf; Trapp, Mario; Zeckzer, Dirk in

Visualization of Software and Systems as Support Mechanism for Integrated Software Project Control

Liggesmeyer, Peter; Heidrich, Jens; Münch, Jürgen; Kalcklösch, Robert; Barthel, Henning; Zeckzer, Dirk in Proceedings of the 13th International Conference on Human-Computer Interaction - Part 1 (New Trends)

Abstract: Many software development organizations still lack support for obtaining control over their software development processes and determining the performance of their processes and the quality the produced products. Systematic support for detecting and reacting critical process and product states in order to achieve planned is usually missing. One means to institutionalize measurement the... more

Applications of Visualization Technology in Robotics Software Development,

Reichardt, Max; Wilhelm, Lisa; Proetzsch, Martin; Berns, Karsten in Proceedings of the 4th Human Computer Interaction and Visualization Workshop (HCIV 09)

Abstract: Control software for experimental autonomous robots is typically complex subject to frequent changes posing numerous challenges for software When based on general-purpose robotics frameworks, significant of such systems are modular and data-flow-oriented - a natural for visualization in graph structures. In this paper, we present to visualize different aspects of robotics software which... more

Runtime Safety Models in open Systems of Systems,

Schneider, Daniel; Trapp, Mario, in Proceedings of the 8th IEEE International Conference on Dependable, Autonomic and Secure Computing (DASC 09)

Abstract: Upcoming application domains, from Ambient Assisted Living to Car2Car, the need for openness, flexibility and safety in next generation systems. Whilst there are several approaches tackling the reconfiguration and integration of components, there has been much research done on safety of such systems. As many of application domains are inherently safety critical this hinders systems of... more

Oscillation Analysis in Behavior-Based Robot Architectures,

Wilhelm, Lisa; Proetzsch, Martin; Berns, Karsten, in Proceedings of the 21. Fachgespr\ach Karlsruhe - Autonome Mobile Systeme

Abstract: This paper presents a method for detecting oscillations in behavior-based control networks. Two aspects are considered. On the one hand detection of oscillations inside single behavior modules is based analyzing the signal in the frequency domain using the Fast Fourier (FFT). On the other hand tracing oscillations through behavior network helps to evaluate its propagation and to find root... more

Risikobasiertes statistisches Testen,

Zimmermann, Fabian; Eschbach, Robert; Kloos, Johannes; Bauer, Thomas in Softwaretechnik-Trends, Band 29 Heft 4,

Abstract: In dieser Arbeit stellen wir erste Ideen für eine Methode zur Ableitung risikoreicher Testfälle vor. Diese Testfälle aus Modellen abgeleitet, die speziell zum Testen erstellt Das hier vorgestellte Verfahren ist eine Anpassung des modellbasierten Testens für risikoreiche Systeme. Dabei verwenden Markov-Ketten, die das Nutzungsverhalten beschreiben. Diese Markov-Ketten... more

Risk-based Statistical Testing: A Refinement-Based Approach to the Reliability Analysis of Safety-Critical Systems

Zimmermann, Fabian; Eschbach, Robert; Kloos, Johannes; Bauer, Thomas in Proceedings of the 12th European Workshop on Dependable Computing (EWDC 09)

Abstract: In this paper, a method is presented that allows to automatically test cases for risk-based testing of safety-critical systems. is done through the systematic construction or refinement of test models. Our approach works for almost all kinds of testing. In this paper, we use Model-based Statistical as model-based test technique. Statistical testing uses Markov test models to describe the... more

Action/Perception-Oriented Robot Software Design: An Application in Off-road Terrain

Schäfer, Helge; Proetzsch, Martin; Berns, Karsten, in Proceedings of IEEE 10th International Conference on Control, Automation, Robotics and Vision (ICARCV 08)

Abstract: In this paper a combined action/perception-oriented approach for behavior-based software design is proposed. Action-oriented in that context that the requirements for sensor information are directly from the navigational tasks on the control level. Perception-oriented on the other hand determines further supporting behaviors the data available. Taking into account the diversity of sensors... more

Analyzing the Reliability of Communication between Software Entities using 3D Force-Directed Layout of Clustered Graphs

Zeckzer, Dirk; Schröder, Leon; Kalcklösch, Robert; Hagen, Hans; Klein, Timo in Proceedings of the 4th ACM Symposium on Software Visualization (SoftVis 08),

Abstract: Modern software systems are typically composed of a large number of and more and more functionality is realized through the between these components. In this paper, we present approach that enables assessing the reliability of the components the communication between them. A protocol for testing the communication presented and applied to several systems. After the execution this protocol,... more