Dependability Assurance of Real-Time Embedded Control Systems

Critical applications are defined as the ones whose failure has a relevant impact on finance, human beings and the environment. This book discusses critical applications and the inconsistencies which poses a threat to the successful completion of the function.