Formal Methods for Safety and Security by Manju Nanda & Yogananda Jeppu

Author:Manju Nanda & Yogananda Jeppu
Language: eng
Format: epub
Publisher: Springer Singapore, Singapore

Identification of system modes: Modes of operation of the system associated with functionality due to mode of computing platform (initial, normal, degraded and failed) are identified at this level.

Identification of processor(s), thread(s), and other hardware components: Next step is allocation of resources that is binding processors to process and then, to threads, attaching frequency requirement of input and output, protocols, etc. This is the phase in which computing platform details are loaded to the model components and model becomes a true representation of actual system.

Download

Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.