Publisher's Synopsis
This volume describes the total software design and modern development process for real-time systems. It is specifically written for real-time systems with emphasis on embedded applications and provides descriptions of diagramming techniques.;It discusses both functional and object structured design methods and introduces formal methods, providing coverage of development tools and methods. Included are design and methodologies of CORE, JSD, USM, MASCOT 3 and HOOD. It is written for both software and hardware engineers and students.