找回密码
 To register

QQ登录

只需一步,快速开始

扫一扫,访问微社区

Titlebook: Safer Systems; Proceedings of the F Felix Redmill,Tom Anderson Conference proceedings 1997 Springer-Verlag London Limited 1997 Management.S

[复制链接]
查看: 19310|回复: 54
发表于 2025-3-21 19:42:21 | 显示全部楼层 |阅读模式
书目名称Safer Systems
副标题Proceedings of the F
编辑Felix Redmill,Tom Anderson
视频video
图书封面Titlebook: Safer Systems; Proceedings of the F Felix Redmill,Tom Anderson Conference proceedings 1997 Springer-Verlag London Limited 1997 Management.S
描述The contributions to this book are the invited papers presented at the fifth annual Safety-critical Systems Symposium. They cover a broad spectrum of issues affecting safety, from a philosophical appraisal to technology transfer, from requirements analysis to assessment, from formal methods to artificial intelligence and psychological aspects. They touch on a number of industry sectors, but are restricted to none, for the essence of the event is the transfer of lessons and technologies between sectors. All address practical issues and of­ fer useful information and advice. Contributions from industrial authors provide evidence of both safety con­ sciousness and safety professionalism in industry. Smith‘s on safety analysis in air traffic control and Rivett‘s on assessment in the automotive industry are informative on current practice; Frith‘s thoughtful paper on artificial intelli­ gence in safety-critical systems reflects an understanding of questions which need to be resolved; Tomlinson‘s, Alvery‘s and Canning‘s papers report on collaborative projects, the first on results which emphasise the importance of human factors in system development, the second on the development and tri
出版日期Conference proceedings 1997
关键词Management; Software; Software Engineering; Technologie; Transport; design; model; quality; robot; structured
版次1
doihttps://doi.org/10.1007/978-1-4471-0975-4
isbn_softcover978-3-540-76134-1
isbn_ebook978-1-4471-0975-4
copyrightSpringer-Verlag London Limited 1997
The information of publication is updating

书目名称Safer Systems影响因子(影响力)




书目名称Safer Systems影响因子(影响力)学科排名




书目名称Safer Systems网络公开度




书目名称Safer Systems网络公开度学科排名




书目名称Safer Systems被引频次




书目名称Safer Systems被引频次学科排名




书目名称Safer Systems年度引用




书目名称Safer Systems年度引用学科排名




书目名称Safer Systems读者反馈




书目名称Safer Systems读者反馈学科排名




单选投票, 共有 1 人参与投票
 

0票 0.00%

Perfect with Aesthetics

 

1票 100.00%

Better Implies Difficulty

 

0票 0.00%

Good and Satisfactory

 

0票 0.00%

Adverse Performance

 

0票 0.00%

Disdainful Garbage

您所在的用户组没有投票权限
发表于 2025-3-21 20:31:23 | 显示全部楼层
Designing for Safety: Current Activities at the University of Bristol and Future Directions,r the existing multi-disciplinary strengths from different departments. The Centre has founding sponsorship from the Civil Aviation Authority, Lloyd’s Register, Nuclear/Magnox Electric and Railtrack. This funding has been used to develop an underlying research programme on fundamental safety design
发表于 2025-3-22 03:10:34 | 显示全部楼层
Formal Methods: No Cure for Faulty Reasoning,ign of safety-critical systems. But, despite the mathematical nature of the logic systems underlying most formal notations, many aspects of formal methods are much less predictable than one might realise. Specifically, it is suggested that the ways in which people interpret and reason about formal d
发表于 2025-3-22 05:51:56 | 显示全部楼层
发表于 2025-3-22 11:00:00 | 显示全部楼层
How to Improve Safety Critical Systems Standards,ould be clear what is required in order to conform to the standard, while for assessors it should be possible to determine objectively compliance to the standard. The existing set of standards do not pass this basic quality test. We provide a framework for improving such standards. We view a standar
发表于 2025-3-22 13:42:39 | 显示全部楼层
Engineering Cognitive Diversity,ches to achieving diversity are identified. The first requires diversity to be created within the task environment. The second relies on individual differences in task performance that can be used to engineer diversity Empirical evidence is presented to support the potential of both methods, and imp
发表于 2025-3-22 19:11:38 | 显示全部楼层
发表于 2025-3-23 00:16:03 | 显示全部楼层
The StAR Risk Adviser: Psychological Arguments for Qualitative Risk Assessment,aracterised by a lack of appropriate historical data which creates difficulties for conventional quantitative approaches to risk assessment. Numerical risk assessments which convey spurious validity and precision can be dangerously misleading. Here we describe and explain the psychological rationale
发表于 2025-3-23 01:55:37 | 显示全部楼层
发表于 2025-3-23 07:19:34 | 显示全部楼层
Initial Safety Considerations for an Advanced Transport System,istic but ambitious target accident rates for PRT are set through a comparative examination of other transport modes. The rate set meets or exceeds accident rates achieved on other forms of surface transport, and is better than those of the car by a factor of more than ten. Evidence from existing sy
 关于派博传思  派博传思旗下网站  友情链接
派博传思介绍 公司地理位置 论文服务流程 影响因子官网 SITEMAP 大讲堂 北京大学 Oxford Uni. Harvard Uni.
发展历史沿革 期刊点评 投稿经验总结 SCIENCEGARD IMPACTFACTOR 派博系数 清华大学 Yale Uni. Stanford Uni.
|Archiver|手机版|小黑屋| 派博传思国际 ( 京公网安备110108008328) GMT+8, 2025-5-23 13:00
Copyright © 2001-2015 派博传思   京公网安备110108008328 版权所有 All rights reserved
快速回复 返回顶部 返回列表