Functional Safety for Embedded Systems

Chapter 2 Functional Safety Verification

DOI: 10.1201/9781003391517-2

Both reliability and response time are important functional safety attributes that must be simultaneously assured by learning from the automotive functional safety standard ISO 26262. Functional safety verification is the process of checking that an application complies with a set of safety design specifications and meets the requirements. Introducing verification in the early design phase not only complies with the latest automotive functional safety standards, but also avoids unnecessary design work or reduces the design burden in the later design optimization phase. This chapter presents fast functional safety verification (FFSV) algorithms for the parallel application ...