Verification of real-time systems-issues and perspectives

We identify the issues associated with real-time systems, refer to the process model with which we develop our arguments and provide a critique as to whether the current verification approaches do adequately address the behavioural issues in real-time software and hardware. We discuss our current research in real-time domain models and reference architectures as well as our initial impressions on the Stanford University´s RAPIDE language and its toolset