| 書目名稱 | Technology and Assessment of Safety-Critical Systems | | 副標(biāo)題 | Proceedings of the S | | 編輯 | Felix Redmill,Tom Anderson | | 視頻video | http://file.papertrans.cn/903/902422/902422.mp4 | | 圖書封面 |  | | 描述 | 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 | | 出版日期 | Conference proceedings 1994 | | 關(guān)鍵詞 | classification; design; development; formal method; formal methods; knowledge-based systems; modeling; netw | | 版次 | 1 | | doi | https://doi.org/10.1007/978-1-4471-2082-7 | | isbn_softcover | 978-3-540-19859-8 | | isbn_ebook | 978-1-4471-2082-7 | | copyright | Springer-Verlag London Limited 1994 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-9 06:22
發(fā)表于 2025-3-21 17:10:52
