Abstract | Keywords | Export | Availability | Bookmark

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book presents state-of-the-art research results in the area of formal methods for real-time and fault-tolerant systems. The papers consider problems and solutions in safety-critical system design and examine how wellthe use of formal techniques for design, analysis and verification serves in relating theory to practical realities. The book contains papers on real-time and fault-tolerance issues. Formal logic, process algebra, and action/event models are applied: - to specify and model qualitative and quantitative real-time and fault-tolerant behavior, - to analyze timeliness requirements and consequences of faulthypotheses, - to verify protocols and program code, - to formulate formal frameworks for development of real-time and fault-tolerant systems, - to formulate semantics of languages. The integration and cross-fertilization of real-time and fault-tolerance issues have brought newinsights in recent years, and these are presented in this book.

681.3*G3 --- Fault-tolerant computing --- -Real-time data processing --- -681.3*B13 --- 681.3*F12 --- 681.3*F3 --- 681.3*F43 --- Fast-response data processing --- High-speed data processing --- Electronic data processing --- Computing, Fault-tolerant --- Electronic digital computers --- Fault tolerance (Engineering) --- Computer system failures --- Probability and statistics: probabilistic algorithms (including Monte Carlo);random number generation; statistical computing; statistical software (Mathematics of computing) --- Congresses --- Control structure reliability, testing and fault-tolerance: diagnostics, error-checking, redundant design, test generation --- Modes of computation: alternation and nondeterminism; parallelism; probabilistic computation; relations among modes; relativized computation --- Logics and meanings of programs (Theory of computation) --- Formal languages: algebraic language theory; classes defined by grammars or automata or by resource-bounded automata; operations on languages (Mathematical logic and formal languages)--See also {681.3*D31} --- Reliability --- Real-time data processing --- Congresses. --- 681.3*F43 Formal languages: algebraic language theory; classes defined by grammars or automata or by resource-bounded automata; operations on languages (Mathematical logic and formal languages)--See also {681.3*D31} --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- 681.3*F12 Modes of computation: alternation and nondeterminism; parallelism; probabilistic computation; relations among modes; relativized computation --- 681.3*B13 Control structure reliability, testing and fault-tolerance: diagnostics, error-checking, redundant design, test generation --- 681.3*G3 Probability and statistics: probabilistic algorithms (including Monte Carlo);random number generation; statistical computing; statistical software (Mathematics of computing) --- 681.3*B13 --- Real-time data processing - Congresses. --- Fault-tolerant computing - Congresses. --- Information theory. --- Mathematics. --- Logic, Symbolic and mathematical. --- Logic design. --- Distribution (Probability theory. --- Statistics. --- Theory of Computation. --- Applications of Mathematics. --- Mathematical Logic and Foundations. --- Logics and Meanings of Programs. --- Probability Theory and Stochastic Processes. --- Statistics, general. --- Statistical analysis --- Statistical data --- Statistical methods --- Statistical science --- Mathematics --- Econometrics --- Distribution functions --- Frequency distribution --- Characteristic functions --- Probabilities --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Math --- Science --- Communication theory --- Communication --- Cybernetics