Filters








8 Hits in 6.0 sec

Systematic Model-Based Testing of Embedded Automotive Software

Mirko Conrad, Ines Fey, Sadegh Sadeghipour
2005 Electronical Notes in Theoretical Computer Science  
The development and test process of the systems and the embedded software becomes the limiting factor.  ...  The software embedded in automotive control systems increasingly determines the functionality and properties of present-day motor vehicles.  ...  Model-based Test Design Model-based test design is performed using an extended version of the classification-tree method, namely classification-tree method for embedded software (CTM/ES) [4, 6, 11] .  ... 
doi:10.1016/j.entcs.2004.12.005 fatcat:r6ypjuhnbnfepdyy7mtsz3ce3q

Systematic Testing of Embedded Automotive Software: The Classification-Tree Method for Embedded Systems (CTM/ES)

Mirko Conrad
unpublished
The result of this combination is the classification-tree method for embedded systems, CTM/ES [Con04].  ...  The classification-tree method for embedded systems complements model-based development by employing a novel approach to the systematic selection and description of the test scenarios for the software  ...  Embedded automotive software which has been developed in a model-based way can be tested systematically and efficiently by means of the CTM/ES and the tools based thereon, such as the classification-tree  ... 
fatcat:5zayp22fcfcydfwbrhj3fcnqgi

An Extension of the Classification-Tree Method for Embedded Systems for the Description of Events

Mirko Conrad, Alexander Krupp
2006 Electronical Notes in Theoretical Computer Science  
In practice, the Classification-Tree Method for Embedded Systems (CTM EMB ) is used to realize a compact graphical representation of test scenarios.  ...  Thus, we will introduce in the following a novel extension of the Classification-Tree Method for Embedded Systems for a compact, natural depiction of event-like behaviour which we will illustrate by means  ...  Acknowledgements The work described was partially performed within the IMMOS project funded by the German Federal Ministry of Education and Research (www.immos-project.de).  ... 
doi:10.1016/j.entcs.2006.09.002 fatcat:gdcootgo6rc3tnbixmf7jzz4nq

Testing Automotive Control Software [chapter]

Mirko Conrad, Ines Fey
2008 Industrial Information Technology  
This paper presents a new, more systematic way of testing automotive control software. The central element of the approach is the Classification-Tree Method for Embedded Systems (CTM/ES).  ...  The CTM/ES can be integrated into an overall test strategy for automotive control software developed in a model-based way.  ...  In this paper a new, more systematic way of testing automotive control software has been presented. The core element of the approach is the Classification-tree Method for Embedded Systems (CTM/ES).  ... 
doi:10.1201/9780849380273.ch11 fatcat:q37sreq3mjci3kdf2l7nlrnx3i

A systematic approach to the test of combined HW/SW systems

Alexander Krupp, Wolfgang Muller
2010 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)  
This article extends the Classification Tree Method for Embedded Systems (CTM/ES) to fill this gap by new concepts for the precise specification of stimuli for operational ranges of continuous control  ...  Today we can identify a big gap between requirement specification and the generation of test environments.  ...  ACKNOWLEDGMENTS This work was partly supported by the DFG Sonderforschungsbereich 614 and by the BMBF through the ITEA2 project TIMMO (01IS07002).  ... 
doi:10.1109/date.2010.5457186 dblp:conf/date/Krupp010 fatcat:wiakevmz3ncabokhmqh5koxu6y

Systematic Model-in-the-Loop Test of Embedded Control Systems [chapter]

Alexander Krupp, Wolfgang Müller
2009 IFIP Advances in Information and Communication Technology  
An Enhanced Classification Tree Method is developed based on the established Classification Tree Method for Embeded Systems CTM/ES which applies a hardware verification language to define a verification  ...  Current model-based development processes offer new opportunities for verification automation, e.g., in automotive development. The duty of functional verification is the detection of design flaws.  ...  This work has been partly supported by the DFG Sonderforschungsbereich 614 and by the German Ministry for Education and Research (BMBF) through the ITEA2 project TIMMO (01IS07002).  ... 
doi:10.1007/978-3-642-04284-3_16 fatcat:gumdgo7itvfnlbyikiw6yuu5wa

Dagstuhl Seminar Proceedings 04371 Perspectives of Model-Based Testing

Mirko Conrad, Testszenarien Thesis
unpublished
The result of this combination is the classification-tree method for embedded systems, CTM/ES [Con04].  ...  The classification-tree method for embedded systems complements model-based development by employing a novel approach to the systematic selection and description of the test scenarios for the software  ...  The result of this combination is the classification-tree method for embedded systems, CTM/ES [Con04] .  ... 
fatcat:fms2lzg6jnebbc3d5l4yxkxucu

Testing hybrid systems with TTCN-3 [article]

Jürgen Großmann, Technische Universität Berlin, Technische Universität Berlin, Ina Schieferdecker
2014
This test specification language, in turn, allows for intuitive and practical specification of automated tests for hybrid real-time systems in the automotive industry. Dedicated int [...]  ...  Technical systems have reached such a high level of complexity that quality can only be assessed and ascertained through the use of testing methods that have been developed for this specific purpose.  ...  Fanny-Michaela Reisin for guiding me into the world of research and scientific work, Prof.Ina Schieferdecker for her friendly advice and constructive feedback to this work and my parents for providing  ... 
doi:10.14279/depositonce-4138 fatcat:6xffwbs7xbgf3dit224hriftkq