Modell-basierter Test eingebetteter Software im Automobil

Conrad, Mirko

doi:10.1007/978-3-322-81246-9

Cited by 25 publications

(24 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Here, the signal ν b is again a band-limited stationary signal with constant envelope and shall have the same RMS as the signal λ b , and the factor a b is the link to the modulation depth via the following equation: • A test step is a time interval during a test (definition based on [8]). …”

Section: Modulation/modulation Frequencymentioning

confidence: 99%

“…While processes targeted at test coverage have been described for the verification of purely softwareoriented systems (e.g., [6]) or simple signal processing systems like e.g., control units in automotive technology ( [7,8]), there has not yet been such work for systems that should provide intense digital signal processing, like e.g., noise reduction subsystems in hearing instruments.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Procedure for the steady-state verification of modulation-based noise reduction systems in hearing instruments

Lamm¹,

Berg²,

Künzler³

et al. 2011

EURASIP J. Adv. Signal Process.

View full text Add to dashboard Cite

Hearing instrument verification involves measuring the performance of modulation-based noise reduction systems. The article proposes a systematic procedure for their verification. The procedure has the potential for application in the verification of other signal processing systems, because it is independent of the hearing instrument domain. Its key concept, the separation of abstract and concrete design of test signals, has been adopted from the embedded systems domain. Specifically for modulation-based noise reduction systems in hearing instruments, the article shows a complete implementation of the verification procedure, proposing improvements of existing measurement techniques. To fully cover the verification procedure, a new measurement approach based on maximum length sequences and DFT processing is introduced, revisiting concepts of system identification that came up in the 1970s. These can easily be used with the computational resources of today's microcomputers. Sample measurements with existing hearing instruments demonstrate the verification procedure with different measurement techniques.

show abstract

Section: Modulation/modulation Frequencymentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Procedure for the steady-state verification of modulation-based noise reduction systems in hearing instruments

Lamm¹,

Berg²,

Künzler³

et al. 2011

EURASIP J. Adv. Signal Process.

View full text Add to dashboard Cite

show abstract

“…For embedded systems testing, Conrad [1] has extended the classification tree method to the Classification Tree Method for Embedded Systems (CTM EMB ). In CTM EMB , classifications are derived from the interface of the system under test (Fig.…”

Section: Ctmmentioning

confidence: 99%

“…CTM/FV is based on the classification tree method for embedded systems (CTM EMB ) [1] with extensions for random test generation as well as for functional coverage and general property specification. We introduce CTM/FV as a methodology to fill the gap from the verification plan to the coding of constraintbased randomized tests and functional coverage as a two-step method: (i) creation of the classification tree (ii) creation of (sample) abstract test sequences.…”

Section: Introductionmentioning

confidence: 99%

“…However, there was only little work investigating CTM beyond the initial application, such as Singh et al who combined Z with CTM [12]. As a significant advance for automotive systems design, Conrad recently introduced an extension of CTM for embedded software labeled CTM EMB [1]. Several tool suites with CTM EMB support became available, e.g.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Systematic Testbench Specification for Constrained Randomized Test and Functional Coverage

Krupp¹,

Mueller²

2007

ECMS 2007 Proceedings Edited By: I. Zelinka, Z. Oplatkova, A. Orsoni

View full text Add to dashboard Cite

Abstract-Functional Verification is well-accepted for Electronic System Level (ESL) based designs and is supported by a variety of standardized Hardware Verification Languages like PSL, e, and SystemVerilog. In this article, we present the classification tree method for functional verification (CTM/FV) as a novel method to close the gap from the verification plan to the specification of randomized tests and functional coverage for test configurations. CTM/FV is introduced based on graphical means from which we automatically generate SystemVerilog code as a testbench for constraint-based randomized tests and functional coverage, where concepts are outlined by the automotive example of an adaptive cruise controller.

show abstract

Model‐Based Design Using Simulink – Modeling, Code Generation, Verification, and Validation

Conrad¹,

Mosterman²

2013

Formal Methods

View full text Add to dashboard Cite

Modell-basierter Test eingebetteter Software im Automobil

Cited by 25 publications

References 0 publications

Procedure for the steady-state verification of modulation-based noise reduction systems in hearing instruments

Procedure for the steady-state verification of modulation-based noise reduction systems in hearing instruments

Systematic Testbench Specification for Constrained Randomized Test and Functional Coverage

Model‐Based Design Using Simulink – Modeling, Code Generation, Verification, and Validation

Contact Info

Product

Resources

About