Computers as Components, 2nd Edition

Further Reading 51

■ We revisit the topic of design methodologies. Based on our more detailed

knowledge of embedded system design, we can better understand the role of

methodology and the possible variations in methodologies.

■ We study system specification methods. Proper specifications become

increasingly important as system complexity grows. More formal specification

techniques help us capture intent clearly, consistently, and unambiguously.

■ We look at quality assurance techniques. The program testing techniques

covered in Chapter 5 are a good foundation but may not scale easily to complex

systems. Additional methods are required to ensure that we ...