Search For:

Displaying 1-10 out of 10 total
Specification Inference Using Systematic Reverse-Engineering Methodologies: An Automotive Industry Application
Found in: IEEE Software
By Muzammil Shahbaz,K.C. Shashidhar,Robert Eschbach
Issue Date:November 2012
pp. 62-69
Lack of precise specification is a well-known problem in the software industry. This article covers some peculiar aspects of the problem and its causes in the automotive software industry. The authors describe how the situation motivates engineers to grasp...
Towards Making Dependability Visual -- Combining Model-Based Design and Virtual Realities
Found in: Pacific Rim International Symposium on Dependable Computing, IEEE
By Matthias Güdemann,Michael Lipaczewski,Frank Ortmeier,Marco Schumann,Robert Eschbach
Issue Date:December 2011
pp. 274-275
Dependability is often a very abstract concept. The reason is that dependability implications shall be very rare and are often not even wanted to happen during testing. In particular for software-intensive systems, it is very hard to find correct causal re...
The Relevance of Assumptions and Context Factors for the Integration of Inspections and Testing
Found in: Software Engineering and Advanced Applications, Euromicro Conference
By Frank Elberzhager,Robert Eschbach,Jürgen Münch
Issue Date:September 2011
pp. 388-391
Integrating inspection processes with testing processes promises to deliver several benefits, including reduced effort for quality assurance or higher defect detection rates. Systematic integration of these processes requires knowledge regarding the relati...
Risk-Based Testing of Safety-Critical Embedded Systems Driven by Fault Tree Analysis
Found in: Software Testing Verification and Validation Workshop, IEEE International Conference on
By Johannes Kloos, Tanvir Hussain, Robert Eschbach
Issue Date:March 2011
pp. 26-33
One important aspect of the quality assurance process of safety-critical embedded systems is verifying the appropriateness, correctness of the implementation and effectiveness of safety functions. Due to the rapid growth in complexity, manual verification ...
Systematic Construction of Goal Indicator Trees for Indicator-Based Dependability Inspections
Found in: Software Engineering and Advanced Applications, Euromicro Conference
By Johannes Kloos, Frank Elberzhager, Robert Eschbach
Issue Date:September 2010
pp. 279-282
We are surrounded by ever more systems with high dependability requirements, such as driving assistance systems from the automotive domain or life-supporting systems from the medical domain. The increasing complexity of these systems makes it more difficul...
Generating System Models for a Highly Configurable Train Control System Using a Domain-Specific Language: A Case Study
Found in: Software Testing Verification and Validation Workshop, IEEE International Conference on
By Johannes Kloos, Robert Eschbach
Issue Date:April 2009
pp. 39-47
In this work, we present a results from case study ontesting a highly configurable, safety-critical system from therailway domain using model-based risk-oriented testing. Inthe construction of the system and test models, we face thefollowing problems: (i) A...
Strategic Usage of Test Case Generation by Combining Two Test Case Generation Approaches
Found in: Secure System Integration and Reliability Improvement
By Haruka Nakao, Robert Eschbach
Issue Date:July 2008
pp. 213-214
Model-based testing is used as a cost-effective development approach especially for embedded systems in the automotive sector. In this work, we focus on two kinds of test case generation and compare two methods. Each method has different criteria for gener...
From Requirements to Statistical Testing of Embedded Systems
Found in: Software Engineering for Automotive Systems, International Workshop on
By Thomas Bauer, Frank Bohr, Dennis Landmann, Taras Beletski, Robert Eschbach, Jesse Poore
Issue Date:May 2007
pp. 3
This paper presents the results of a research project where the combination of techniques of sequence-based requirements specification and modelbased statistical testing has been applied to a real mirror control unit of a car door for reliability estimatio...
Iterative refinement of specification for component based embedded systems
Found in: Proceedings of the 2011 International Symposium on Software Testing and Analysis (ISSTA '11)
By K. C. Shashidhar, Muzammil Shahbaz, Robert Eschbach
Issue Date:July 2011
pp. 276-286
The current practice of component based engineering raises concerns in industry when the specification of proprietary components suffers from inaccuracy and incompleteness. Engineers face difficulties in producing quality systems when they lack knowledge o...
Reverse engineering ECUs of automotive components: a case study
Found in: Proceedings of the First International Workshop on Model Inference In Testing (MIIT '10)
By Muzammil Shahbaz, Robert Eschbach
Issue Date:July 2010
pp. 21-22
This paper reports experiments conducted on the electronic control units of automobile components using model inference approach. We are studying the application of this approach to the problem of selecting quality components, validation and maintenance of...