عنوان

Directions in safety-critical systems :

شابک

3540198172

شابک

9783540198178

شماره

b565394

عنوان اصلي

Directions in safety-critical systems :

نام عام مواد

[Book]

ساير اطلاعات عنواني

proceedings of the first Safety-Critical Systems Symposium, the Watershed Media Centre, Bristol, 9-11 February 1993.

نام نخستين پديدآور

Tom Anderson

محل نشرو پخش و غیره

Berlin

نام ناشر، پخش کننده و غيره

Springer

تاریخ نشرو بخش و غیره

1993

نام خاص و کميت اثر

285 blz. ; .. cm.

متن يادداشت

I: Experience from Around Europe.- Certification of Safety Critical Systems in Germany.- Safety for European Space Agency Space Programmes.- The Swedish State Railways' Experience with n-Version Programmed Systems.- Potential Difficulties in Managing Safety-critical Computing Projects: a Sociological View.- II: Current Research.- Classification of Programmable Electronic Systems Operation for Testability.- Data Management in Clinical Laboratory Information Systems.- Software Engineering Methods for Industrial Safety Related Applications.- Finite Element Safety Critical Software.- Using the Functional Programming Language Haskell to Specify Image Analysis Systems.- Developing an Environment for Computer-based Automotive Suspension and Steering Systems.- The Practical Application of Formal Methods to High Integrity Systems - The SafeFM Project.- Tool Support for an Application-specific Language.- III: Achieving and Evaluating Safety.- SAM - A Tool to Support the Construction, Review and Evolution of Safety Arguments.- The Need for Evidence from Disparate Sources to Evaluate Software Safety.- A Modified Hazop Methodology for Safety Critical System Assessment.- Applying Security Techniques to Achieving Safety.- New Developments in Quality Management as a Pre-requisite to Safety.- An Industrial Approach to Integrity Level Determination and Safety Interlock System Implementation.- Unification in Uncertainty?.- Author Index.

موضوع مستند نشده

Automatic control.

موضوع مستند نشده

Industrial safety.

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

Tom Anderson

مستند نام اشخاص تاييد نشده

Felix Redmill

مستند نام اشخاص تاييد نشده

Safety-Critical Systems Club.

مستند نام اشخاص تاييد نشده

Tom Anderson

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y