TY - CHAP AU - Philippe Dhaussy AU - Jean-Charles Roger AU - Frédéric Boniol ED - Kiyofumi Tanaka Y1 - 2012-03-02 PY - 2012 T1 - Context Aware Model-Checking for Embedded Software N2 - Nowadays, embedded systems - the computer systems that are embedded in various kinds of devices and play an important role of specific control functions, have permitted various aspects of industry. Therefore, we can hardly discuss our life and society from now onwards without referring to embedded systems. For wide-ranging embedded systems to continue their growth, a number of high-quality fundamental and applied researches are indispensable. This book contains 19 excellent chapters and addresses a wide spectrum of research topics on embedded systems, including basic researches, theoretical studies, and practical work. Embedded systems can be made only after fusing miscellaneous technologies together. Various technologies condensed in this book will be helpful to researchers and engineers around the world. BT - Embedded Systems SP - Ch. 8 UR - https://doi.org/10.5772/37975 DO - 10.5772/37975 SN - PB - IntechOpen CY - Rijeka Y2 - 2024-03-29 ER -