The design of real-time applications

Complex real-time applications require a disciplined approach at the design stage. Unfortunately, existing design methods are not wholly appropriate for use with real-time applications. Even methods that have been developed specifically for this purpose fail to result in provably correct designs that are easily understood. Seven essential criteria of a suitable design method are given, and one potentially suitable method (based on the integration of structured and formal methods) is briefly described