Abstract

The functional complexity of hardware and software systems is growing 
exponentially.  This demands an integration of system validation in the 
design phase to guarantee that a concrete implementation conforms to the 
modeled requirements. System validation process involves use of advanced 
systematic techniques and tools. In this paper we present a method for 
validating the real-time behavioral patterns of control intensive 
applications. The real-time behavioral patterns of embedded controllers 
are modeled
using Statechart diagrams of  Unified Modeling Language (UML).  Concrete 
implementation of the Statechart diagrams consists of active objects in 
Java programming language with synchronous communication. In the 
implementation using specified timed annotations, we validate the 
real-time constraints to be satisfied by embedded controllers. We shall 
illustrate the validation process with an example of a gear controller 
used in automobiles, and furthermore, provide an algorithmic solution.