This text addresses significant ideas and concepts for designing, analyzing, implementing and operating dependable computing systems. It covers such topics as: critical industrial systems; specification and design diversity; security protocols and mechanisms; and distributed systems.Random code leads sooner or later to another exception, i.e. illegal instruction, bounds violation, or alignment error. ... 33 Implementation in the GNU compiler An additional pass has been added to a GNU Compiler version 2.6.3 to perform the task of CFG ... The pass is inserted at the end of the compilation process before the translation of the internal RTL representation [Sta89] into assembly code.
|Title||:||Dependable Computing for Critical Applications 6|
|Author||:||Mario Dal Cin, Catherine Meadows, William Huston Sanders|
|Publisher||:||Institute of Electrical & Electronics Engineers(IEEE) - 1998|