This paper illustrates the application of mathematical methods used in software engineering to specifcation of radar systems. Such methods are especially relevant to the design of safety critical systems comprising complex multi-processor architectures supporting distributed processing and a significant element of communications. The paper illustrates the use of CSP (2) and a new approach based on chronological and event logics (10,1). The use of CSP demonstrates the formalisation of communication aspects while CEL demonstrates the formalisation of timing requirements. The paper uses a ship-board phased array radar system (4) as a case study.
展开▼