In a companion paper [HVV04], we have investigated the deficiency of existing design approaches in supporting predictability for real-time control system development. A design approach is then introduced with an adequate support for efficient and consistent design and code generation. In this paper, this design approach is illustrated by a case study of a rail-road crossing system. The developm...

This paper sketches a hard real-time programming language featuring operators for expressing timeliness requirements in an abstract, implementation-independent way and presents parts of the design and veriication of a provably correct code generator for that language. The notion of implementation correctness used as an implicit speciication of the code generator pays attention to timeliness req...

Query-specific code generation has become a well-established approach to speed up query execution. However, this approach has two major drawbacks: (1) code generators are in general hard to write and maintain, (2) code generators lack the ability to deal with custom operators. To overcome these limitations, we suggest to return to the traditional execution approach with precompiled generic oper...

Testing is the primary software validation technique used by industry today, but remains ad hoc, error prone, and very expensive. A promising improvement is to automatically generate test cases from formal models of the system under test. We demonstrate how to automatically generate real-time conformance test cases from timed automata specifications. Specifically we demonstrate how to efficient...

In this paper, the concept of Conjectural Variation (CV) is used to specify optimal generation decision for generation companies (Gencos). The conjecture of Genco is defined as its belief or expectation about the reaction of rivals to change of its output. Using CV method, each Genco has to learn and estimate strategic behaviors of other competitors from available historical market operation da...