標(biāo)題: Titlebook: Current Issues in Safety-Critical Systems; Proceedings of the E Felix Redmill,Tom Anderson Conference proceedings 2003 Springer-Verlag Lond [打印本頁] 作者: Osteopenia 時間: 2025-3-21 16:59
書目名稱Current Issues in Safety-Critical Systems影響因子(影響力)
書目名稱Current Issues in Safety-Critical Systems影響因子(影響力)學(xué)科排名
書目名稱Current Issues in Safety-Critical Systems網(wǎng)絡(luò)公開度
書目名稱Current Issues in Safety-Critical Systems網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Current Issues in Safety-Critical Systems被引頻次
書目名稱Current Issues in Safety-Critical Systems被引頻次學(xué)科排名
書目名稱Current Issues in Safety-Critical Systems年度引用
書目名稱Current Issues in Safety-Critical Systems年度引用學(xué)科排名
書目名稱Current Issues in Safety-Critical Systems讀者反饋
書目名稱Current Issues in Safety-Critical Systems讀者反饋學(xué)科排名
作者: babble 時間: 2025-3-21 21:45
https://doi.org/10.1007/978-3-319-17326-9 a series of process maps. These chart the safety management and assessment requirements across the SMART Acquisition philosophy followed by the UK MOD. The work has mapped out the steps to be taken and deliverables to be provided at each stage of the acquisition cycle. This paper presents the maps 作者: 纖細 時間: 2025-3-22 02:44
An Assessment of Software Sneak AnalysisSoftware, and, if possible determine if it could bear comparison with better-known automated techniques..The evaluation took the form of an experiment. QinetiQ provided suitable test code, which IDA analysed using Software Sneak Analysis. The Sneak Analysis methodology is commented on elsewhere [Bre作者: 內(nèi)向者 時間: 2025-3-22 06:34
Processes for Successful Safety Management in Acquisition a series of process maps. These chart the safety management and assessment requirements across the SMART Acquisition philosophy followed by the UK MOD. The work has mapped out the steps to be taken and deliverables to be provided at each stage of the acquisition cycle. This paper presents the maps 作者: 閑蕩 時間: 2025-3-22 08:43 作者: 山間窄路 時間: 2025-3-22 14:41 作者: 山間窄路 時間: 2025-3-22 19:42
Developing a Safety Case for Autonomous Vehicle Operation on an AirportThis paper discusses the development of a safety case for the operation of an autonomous vehicle near to an airport’s runways and taxiways. It describes an approach to constraining such vehicles to operate only in allowed areas, and highlights some of the problems that may be encountered in constructing the safety argument.作者: 針葉類的樹 時間: 2025-3-22 22:02 作者: Introvert 時間: 2025-3-23 05:21
http://image.papertrans.cn/d/image/241228.jpg作者: Ccu106 時間: 2025-3-23 09:03 作者: 流動才波動 時間: 2025-3-23 10:51
978-1-85233-696-7Springer-Verlag London Limited 2003作者: 愛好 時間: 2025-3-23 16:14 作者: interior 時間: 2025-3-23 21:59 作者: Cupping 時間: 2025-3-23 22:25
How Do We Make Sense of All This?,light on organisational culture. In some industries poor safety culture has been the root cause of publicly visible accidents, while poor operational culture has been the root cause of losses in the financial sector. This paper describes work undertaken on the EPSRC funded SCORE project to investiga作者: 真繁榮 時間: 2025-3-24 04:11
Vladimir Nikolikj,Toni Janevskiin their intellectual discourse. The DERIDASC project is inter-disciplinary in the sense that it experiments with techniques from philosophy, literary theory (Eagleton 1996, Culler 1997) and semiotics (Barthes 1994, Cobley 2001, Culler 2001) to diagnose problems of language, definition, and interpre作者: gout109 時間: 2025-3-24 08:12 作者: 凝結(jié)劑 時間: 2025-3-24 14:15
Andreas Reinhardt,Christian Rennerrash is an acceptable state of affairs..The technology to build predictable reliable software systems exists today. Principled engineering judgment can be used to tailor software development so that quality can be built in with cost in mind — this is particularly the case with safety critical system作者: 遺傳學(xué) 時間: 2025-3-24 15:13 作者: Infirm 時間: 2025-3-24 21:07 作者: 鐵塔等 時間: 2025-3-25 01:54
https://doi.org/10.1007/978-3-319-17326-9 known as Sneak. Little was known about this technique as a Software Analysis Tool. The company responsible for the analysis, Independent Design Analyses Inc. (IDA) of Houston, Texas, was reluctant to forward details of the technique due to IPR issues..Faced with results from a tool with unknown int作者: 我正派 時間: 2025-3-25 06:21 作者: 半球 時間: 2025-3-25 08:27
John W. Dawson Jr.,Steven H. Weintraubzardous. It is also often necessary to support such safety-related applications on a COTS platform, as to the user it is simply another task to be performed and be used alongside other office automation tools..This paper looks at how ‘fail-safe’ applications can be implemented on a COTS platform wit作者: patella 時間: 2025-3-25 15:24
An Integrated Approach to Dependability Requirements Engineeringuirements analysis. We propose that the analysis should be organised round pervasive ‘concerns’ such as safety and security which can drive the requirements engineering process. The paper introduces the notion of concerns based on business goals and discusses how concerns are used to elicit informat作者: AMEND 時間: 2025-3-25 19:27
Integrating Human Error Management Strategies Throughout the System Lifecyclek management processes continue to be biased towards focusing on the risk posed by equipment failures over that of human error. In order to redress the imbalance, this paper outlines a number of risk assessment methods that explicitly consider and integrate the human into the safety risk management 作者: 涂掉 時間: 2025-3-25 23:41
Measuring & Managing Culturally Inspired Risklight on organisational culture. In some industries poor safety culture has been the root cause of publicly visible accidents, while poor operational culture has been the root cause of losses in the financial sector. This paper describes work undertaken on the EPSRC funded SCORE project to investiga作者: LAPSE 時間: 2025-3-26 03:07
Safe Systems: Construction, Destruction, and Deconstructionin their intellectual discourse. The DERIDASC project is inter-disciplinary in the sense that it experiments with techniques from philosophy, literary theory (Eagleton 1996, Culler 1997) and semiotics (Barthes 1994, Cobley 2001, Culler 2001) to diagnose problems of language, definition, and interpre作者: 色情 時間: 2025-3-26 06:58 作者: FLAG 時間: 2025-3-26 11:42 作者: 花費 時間: 2025-3-26 13:52
Reforming the Law on Involuntary Manslaughter: The Government’s Proposals on Corporate Killing is proof of intention to kill or cause serious injury and the offence would be one of murder but for mitigating circumstances such as provocation or diminished responsibility. This does not concern us today. “Involuntary” manslaughter occurs when someone kills another person but did not intend to c作者: 流行 時間: 2025-3-26 16:49
Electronic Safety Cases: Challenges and Opportunitiese to safety engineers is to produce safety cases that are quickly readable, intelligible and auditable even when a large amount of material is required. We describe the problems in developing complex safety cases using traditional development methods and the opportunities to address these problems b作者: 慢跑鞋 時間: 2025-3-26 22:10
An Assessment of Software Sneak Analysis known as Sneak. Little was known about this technique as a Software Analysis Tool. The company responsible for the analysis, Independent Design Analyses Inc. (IDA) of Houston, Texas, was reluctant to forward details of the technique due to IPR issues..Faced with results from a tool with unknown int作者: 聚集 時間: 2025-3-27 05:03
Processes for Successful Safety Management in Acquisitionmonstrating equipment is safe for its purpose and as the basis for establishing the through-life Safety Management Systems for the equipment. Within the author’s area of work, Land Systems, the Safety Case is developed in three stages. These stages (setting the requirements, validating the design, a作者: 大門在匯總 時間: 2025-3-27 09:12 作者: Brochure 時間: 2025-3-27 11:32 作者: 記憶法 時間: 2025-3-27 17:11 作者: Encoding 時間: 2025-3-27 21:17
The Wine Queen and the Beauty Queen,ause death or serious injury but was blameworthy in some other way. This could arise where the accused was reckless as to whether another was killed or acted in a grossly negligent manner that led to the death. It is this form of manslaughter that the government is proposing to reform.作者: gene-therapy 時間: 2025-3-27 23:47
https://doi.org/10.1007/978-3-319-17326-9y the development of an electronic safety case. We then describe an example eSafety Case and how this can be used to manage a safety programme and to produce a safety case that will meet the requirements of the certification authorities.作者: Infuriate 時間: 2025-3-28 05:50
ld in February 2003. The safety-critical systems domain is rapidly expanding and its industrial problems are always candidates for academic research.It embraces almost all industry sectors; current issues in one are commonly appropriate to others.The Safety-critical System Symposium provides an annu作者: 結(jié)束 時間: 2025-3-28 07:49 作者: 啞巴 時間: 2025-3-28 13:44
https://doi.org/10.1007/978-3-319-12733-0ement processes. Using a standard framework improves integration of human error into safety risk management and enables the sharing, comparison and validation of human error data across all stages of the system lifecycle.作者: Orthodontics 時間: 2025-3-28 16:34
Vladimir Nikolikj,Toni Janevskithods of textual analysis usually found only in studies of the arts and literature, although the kinds of textual studies we propose have also been influential in the discipline of law (Ward 1998, Chapter 7).作者: 才能 時間: 2025-3-28 22:07
https://doi.org/10.1007/978-3-319-15524-1concepts of “safety case architecture” and contract based reasoning for managing inter-safety case dependency. Problems of division of responsibility in safety case development will also be discussed.作者: 貝雷帽 時間: 2025-3-28 23:30 作者: Hallmark 時間: 2025-3-29 03:13 作者: 驚奇 時間: 2025-3-29 10:24
Integrating Human Error Management Strategies Throughout the System Lifecycleement processes. Using a standard framework improves integration of human error into safety risk management and enables the sharing, comparison and validation of human error data across all stages of the system lifecycle.作者: 必死 時間: 2025-3-29 11:53 作者: 相反放置 時間: 2025-3-29 15:53 作者: 檔案 時間: 2025-3-29 20:54
White Box Software Developmentuality of software “in the large”, the public’s (and the industry’s) view that this is in some way acceptable, and then presents some real case studies which show how quality can be built in without the need to invest in overweight tools and technologies.作者: Guaff豪情痛飲 時間: 2025-3-30 00:00
Assurance of safety-related applications on a COTS platformheck’ on the outputs displayed. A significant issue is how to avoid ‘common cause’ or latent failures, such as the operating system failing to run the monitor. The approach is illustrated by a number of case studies: a military pilot’s planning aide, an ‘ATC-like’ display and a critical document control.作者: 群居動物 時間: 2025-3-30 05:08
An Integrated Approach to Dependability Requirements Engineeringion about system requirements from stakeholders. I also discuss briefly how concerns may be part of a more general requirements engineering method called DISCOS that integrates requirements engineering with high-level design. I use examples from a medical information system to illustrate how concerns may be used.
