Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system meets its design requirements, particularly the safety and correctness requirements of the system. In this paper, we develop a framework for generating tests from hybrid systems models. The core idea of the framework is to dev...

In this article we present a model-based test case specification and associated test data generation methods for embedded systems processing Boolean, integral and real-valued variables. Testing experts are relieved from the task of constructing input data to the system under test in an explicit way and manually calculating the expected reactions. Instead, test cases are specified by means of te...

While synchronous programming languages like Esterel and Quartz are capable of modeling embedded systems, extensions like Hybrid Quartz are needed to model hybrid systems. These systems contain continuous behavior additional to their discrete states. Since embedded systems are safety-critical in many applications, formal verification is needed to check programs against their specification. In t...

The natural language generation component of most dialogue systems is based on templates. Template-based generators are hard to maintain and reuse, and the sentences they produce lack the variability and robustness needed by conversational systems. In this paper, we propose a flexible and domainindependent natural language generator for spoken dialogue systems which combines fixed surface expre...

In this paper, we describe a formal framework for conformance testing of continuous and hybrid systems, using the international standard ‘Formal Methods in Conformance Testing’ FMCT. We propose a novel test coverage measure for these systems, which is defined using the star discrepancy notion. This coverage measure is used to quantify the validation ‘completeness’. It is also used to guide inpu...

This paper presents automatic reactive power control of the isolated wind-diesel hybrid power systems. The synchronous generator (SG) is used for power generation from diesel and the induction generator (IG) is used for electric power generation from wind turbine. To minimize the gap between reactive power generation and demand, the variable sources of reactive power is used such as static sync...