Increasingly complex electronic systems consisting of multiple programmable processors executing multiple processes in real-time require the use of modern software tools for effective design and analysis. Moreover, design and analysis methodologies suitable for realizing such complex systems must be comprehensive and integrated to provide insight into the myriad technical and cost issues attendant on such systems. These issues include system performance, reliability, and testability, all of which must be related to the specified system requirements to ensure that user needs are met. This paper identifies formal methods and supporting tools that are useful in describing, designing, and analyzing complex digital systems, beginning with user requirements and progressing to specific hardware and software implementation issues.

Date Published: 25 November 1987
PDF: 8 pages
Proc. SPIE 0827, Real-Time Signal Processing X, (25 November 1987); doi: 10.1117/12.942039

Published in SPIE Proceedings Vol. 0827:
Real-Time Signal Processing X
J. P. Letellier, Editor(s)