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

Mirko Conrad | Zendy; Alexander Krupp | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

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

Author(s) -

Mirko Conrad,

Alexander Krupp

Publication year - 2006

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2006.09.002

Subject(s) - extension (predicate logic) , computer science , tree (set theory) , theoretical computer science , programming language , algebra over a field , mathematics , pure mathematics , combinatorics

Nowadays, model-based test approaches are indispensable for the quality assurance of in-vehicle control software. In practice, the Classification-Tree Method for Embedded Systems (CTMEMB) is used to realize a compact graphical representation of test scenarios. Up to now, the CTMEMB has been used mainly in the area of continuous systems. Though the depiction of events within test scenarios is possible already by using existing means of description, there is still room for improvements. 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 of several examples from the area of in-vehicle control software

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research