Colloquium on Knowledge-Based Systems for Safety Critical Applications, to be Held at Savoy Place on Wednesday, 4 May 1994

Colloquium on Knowledge-Based Systems for Safety Critical Applications, to be Held at Savoy Place on Wednesday, 4 May 1994
Title Colloquium on Knowledge-Based Systems for Safety Critical Applications, to be Held at Savoy Place on Wednesday, 4 May 1994 PDF eBook
Author Institution of Electrical Engineers. Computing and Control Division
Publisher
Pages
Release 1994
Genre
ISBN

Download Colloquium on Knowledge-Based Systems for Safety Critical Applications, to be Held at Savoy Place on Wednesday, 4 May 1994 Book in PDF, Epub and Kindle

Colloquium on "Knowledge-Based Systems for Safety Critical Applications"

Colloquium on
Title Colloquium on "Knowledge-Based Systems for Safety Critical Applications" PDF eBook
Author
Publisher
Pages
Release 2000
Genre Expert systems (Computer science)
ISBN

Download Colloquium on "Knowledge-Based Systems for Safety Critical Applications" Book in PDF, Epub and Kindle

Colloquium on "Knowledge-Based Systems for Safety Critical Applications"

Colloquium on
Title Colloquium on "Knowledge-Based Systems for Safety Critical Applications" PDF eBook
Author Institution of Electrical Engineers (Great Britain). Computing and Control Division
Publisher
Pages
Release 1994
Genre
ISBN

Download Colloquium on "Knowledge-Based Systems for Safety Critical Applications" Book in PDF, Epub and Kindle

Knowledge Based Systems for Safety Critical Applications

Knowledge Based Systems for Safety Critical Applications
Title Knowledge Based Systems for Safety Critical Applications PDF eBook
Author Institution of Electrical Engineers. Computing & Control Division. Professional Group C4 (Artificial intelligence)
Publisher
Pages
Release 1994
Genre
ISBN

Download Knowledge Based Systems for Safety Critical Applications Book in PDF, Epub and Kindle

Technology and Assessment of Safety-Critical Systems

Technology and Assessment of Safety-Critical Systems
Title Technology and Assessment of Safety-Critical Systems PDF eBook
Author Felix Redmill
Publisher Springer Science & Business Media
Pages 267
Release 2012-12-06
Genre Computers
ISBN 1447120825

Download Technology and Assessment of Safety-Critical Systems Book in PDF, Epub and Kindle

The programme for the Second Safety-critical Systems Symposium was planned to examine the various aspects of technology currently employed in the design of safety-critical systems, as well as to emphasise the importance of safety and risk management in their design and operation. assessment There is an even balance of contributions from academia and industry. Thus, industry is given the opportunity to express its views of the safety-critical domain and at the same time offered a glimpse of the technologies which are currently under development and which, if successful, will be available in the medium-term future. In the field of technology, a subject whose importance is increasingly being recognised is human factors, and there are papers on this from the University of Hertfordshire and Rolls-Royce. Increasingly, PLCs are being employed in safety-critical applications, and this domain is represented by contributions from Nuclear Electric and August Computers. Then there are papers on maintainability, Ada, reverse engineering, social issues, formal methods, and medical systems, all in the context of safety. And, of course, it is not possible to keep the 'new' technologies out of the safety-critical domain: there are papers on neural networks from the University of Exeter and knowledge-based systems from ERA Technology.

Knowledge-Based Systems for Safety Critical Applications, IEE Colloquium on

Knowledge-Based Systems for Safety Critical Applications, IEE Colloquium on
Title Knowledge-Based Systems for Safety Critical Applications, IEE Colloquium on PDF eBook
Author
Publisher
Pages
Release 1994
Genre
ISBN

Download Knowledge-Based Systems for Safety Critical Applications, IEE Colloquium on Book in PDF, Epub and Kindle

Technology and Assessment of Safety-Critical Systems

Technology and Assessment of Safety-Critical Systems
Title Technology and Assessment of Safety-Critical Systems PDF eBook
Author Felix Redmill
Publisher Springer
Pages 258
Release 1994-02-11
Genre Computers
ISBN 9783540198598

Download Technology and Assessment of Safety-Critical Systems Book in PDF, Epub and Kindle

The programme for the Second Safety-critical Systems Symposium was planned to examine the various aspects of technology currently employed in the design of safety-critical systems, as well as to emphasise the importance of safety and risk management in their design and operation. assessment There is an even balance of contributions from academia and industry. Thus, industry is given the opportunity to express its views of the safety-critical domain and at the same time offered a glimpse of the technologies which are currently under development and which, if successful, will be available in the medium-term future. In the field of technology, a subject whose importance is increasingly being recognised is human factors, and there are papers on this from the University of Hertfordshire and Rolls-Royce. Increasingly, PLCs are being employed in safety-critical applications, and this domain is represented by contributions from Nuclear Electric and August Computers. Then there are papers on maintainability, Ada, reverse engineering, social issues, formal methods, and medical systems, all in the context of safety. And, of course, it is not possible to keep the 'new' technologies out of the safety-critical domain: there are papers on neural networks from the University of Exeter and knowledge-based systems from ERA Technology.