Time and Probability in Formal Design of Distributed Systems (Real-Time Safety Critical Systems, Vol 1) - Hardcover

Hansson, Hans A.

 
9780444899408: Time and Probability in Formal Design of Distributed Systems (Real-Time Safety Critical Systems, Vol 1)

Synopsis

Due to the current economic climate, many, if not all, industries depend upon computer systems for their product, design and manufacturing processes and for routine business functions. Although the use of such systems brings many advantages, the consequences of failure (including physical failure of computer systems, software design faults and human error) can involve both loss of life and environmental damage.

Pressure is consequently being mounted to match technical progress with safeguards and subsequent accountability. Research funds are accordingly being generated by governments and leading industries, affording the development of safety-critical systems by multi-disciplinary teams of mechanical, structural, electronic and software engineers and, where appropriate, psychologists, sociologists and economists.

A new book series Real-Time Safety Critical Systems has been launched as a forum to enable all relevant researchers and de

"synopsis" may belong to another edition of this title.