Formal methods for radar system design

Formal methods (FM) are mathematically based techniques that provide a rigorous basis for software development: the application of FMs makes it possible to achieve provable correctness and reliability in the various steps of system design and implementation. Generally, Formal methods need the support of formal description technique (FDT). Because the FDL has strict syntax and semantics. It is the realization of the abstract to the concrete, strictly, can be symbolic execution, unambiguous. E-LOTOS formal description is an important technology. This paper describes the design and the implement of the editor that support syntax highlighting of E-LOTOS. The editor is implemented using java Swing and JFlex.

Download Full-text

Formal Methods for Fault-Tolerant, Real-Time System Design

Real Time Computing - NATO ASI Series ◽

10.1007/978-3-642-88049-0_74 ◽

1994 ◽

pp. 625-625

Author(s):

Jack Goldberg

Keyword(s):

System Design ◽

Real Time ◽

Formal Methods ◽

Fault Tolerant ◽

Time System ◽

Real Time System

Download Full-text

Netted Radar System Design with Spread Spectrum Technology

Applied Mechanics and Materials ◽

10.4028/www.scientific.net/amm.55-57.648 ◽

2011 ◽

Vol 55-57 ◽

pp. 648-653

Author(s):

Lian Qing Fu ◽

Li Sheng Yang ◽

Tao Wang ◽

Qing Le Zhang

Keyword(s):

System Design ◽

Spread Spectrum ◽

Cross Correlation ◽

Mutual Interference ◽

Radar System ◽

Power Ratio ◽

Emission Signal ◽

Simulation Results ◽

Correlation Properties

In this paper, a novel netted radar system is designed to reduce the influence of mutual interference between signals. The emission signals of all stations are assigned the orthogonal PN codes. Because of the good autocorrelation and cross-correlation properties, mutual interference becomes weaker and signals from different stations could be separated by the preassigned PN codes. At the same time, the spectrum of the emission signal is spreaded, the peak-to-mean envelope power ratio (PMEPR) and the intercepted probability of the signals descend therefore. Simulation results show the good performance of the proposed approach.

Download Full-text