標題: Titlebook: Directions in Safety-Critical Systems; Proceedings of the F Felix Redmill (Redmill Consultancy),Tom Anderson Conference proceedings 1993 Sp [打印本頁] 作者: 削木頭 時間: 2025-3-21 18:57
書目名稱Directions in Safety-Critical Systems影響因子(影響力)
書目名稱Directions in Safety-Critical Systems影響因子(影響力)學科排名
書目名稱Directions in Safety-Critical Systems網(wǎng)絡公開度
書目名稱Directions in Safety-Critical Systems網(wǎng)絡公開度學科排名
書目名稱Directions in Safety-Critical Systems被引頻次
書目名稱Directions in Safety-Critical Systems被引頻次學科排名
書目名稱Directions in Safety-Critical Systems年度引用
書目名稱Directions in Safety-Critical Systems年度引用學科排名
書目名稱Directions in Safety-Critical Systems讀者反饋
書目名稱Directions in Safety-Critical Systems讀者反饋學科排名
作者: 冬眠 時間: 2025-3-21 22:04
Tool Support for an Application-Specific LanguageInstitute of Science and Technology, with the support of DTI and SERC, under their Advanced Technology Programme Safety Critical Systems initiative. The work covers research into the design and checking process for data written in application-specific languages.作者: 自戀 時間: 2025-3-22 03:29
http://image.papertrans.cn/e/image/280692.jpg作者: 召集 時間: 2025-3-22 05:58
https://doi.org/10.1007/978-1-4471-2037-7classification; computer; computer systems; development; formal method; functional programming; informatio作者: 爆米花 時間: 2025-3-22 12:07 作者: harrow 時間: 2025-3-22 14:56 作者: harrow 時間: 2025-3-22 18:10 作者: saturated-fat 時間: 2025-3-22 22:54
Black Feminist Performance AestheticsThere are now twelve TüV distributed around the country that work independently of one another. They are totally committed to impartiality and are independent of pressure groups. They operate on a nonprofit basis..Their activities cover a wide range of technical fields encompassing safety, energy, t作者: eucalyptus 時間: 2025-3-23 05:26
Black Mime Theatre Women’s Troop supporting implementation and technical system safety requirements have been established. The ESA Safety programme comprises the systematic identification and evaluation of the hazardous characteristics and risks associated with space systems design, operation, and operating environment, together w作者: 逃避現(xiàn)實 時間: 2025-3-23 07:26
Giving Back to Judith: Laura Curino’s nce, current understanding, and future goals.The two control applications; Computer controlled Interlocking System (CCI) and Automatic Train Control (ATC) will be explained..A number of ATC systems were made as single-version systems. A comparison between single- and dual-version designs will be giv作者: Hiatal-Hernia 時間: 2025-3-23 13:11 作者: colloquial 時間: 2025-3-23 16:45
V. Paolucci,R. Linker,C. N. Guttronment may vary with system development and how these interfaces together with the mode of operation of Progammable Electronic Systems affect the ability to perform dynamic tests. A number of desirable test attributes are defined and four modes of operation are compared with respect to these attrib作者: Intrepid 時間: 2025-3-23 18:44
https://doi.org/10.1007/978-3-642-56290-7ty Hospital, one of the five project partners, provides clinical and laboratory services to a wide range of users. The Laboratory Information Management System used within the department has been developed using a range of commercially available hardware and software together with software that has 作者: floodgate 時間: 2025-3-23 23:40
https://doi.org/10.1007/978-3-642-56290-7Programmable Logic Controllers”. The project is part of the joint DTI/Serc “Safety Critical Systems Initiative”. In the paper the background to the project is presented, and the principal objectives of the project are summarised. Whilst it is too early to present detailed results, the major issues a作者: 不能妥協(xié) 時間: 2025-3-24 04:28
Analyse der KundInnenbefragung,d by the Finite Element method associated with the work of the SAFESA project. The background to this work is the desire to qualify safety critical structures by finite element analysis only. In certain cases the emphasis is to remove or decrease the role of testing in the certification procedures, 作者: Pantry 時間: 2025-3-24 08:08 作者: MELON 時間: 2025-3-24 11:02
https://doi.org/10.1007/978-3-8349-9649-7ms which influence or take control away from the driver. The safety of normal every day drivers and passengers is increasingly dependent on the reliability of such systems..The CBASS (Computer Based Automotive Suspension and Steering Systems) project is undertaking a programme of work which sets out作者: Insul島 時間: 2025-3-24 15:08 作者: cogitate 時間: 2025-3-24 21:51
Torsten Brinda,Nicholas Mavengere,Don PasseyInstitute of Science and Technology, with the support of DTI and SERC, under their Advanced Technology Programme Safety Critical Systems initiative. The work covers research into the design and checking process for data written in application-specific languages.作者: adumbrate 時間: 2025-3-25 02:12 作者: 性冷淡 時間: 2025-3-25 03:31 作者: 2否定 時間: 2025-3-25 10:20 作者: 吝嗇性 時間: 2025-3-25 14:39
https://doi.org/10.1007/978-1-349-07461-7xplore the proposition that safety and security were duals and that there would be much to be gained by the one adopting the knowledge, understanding, tools and techniques of the other, and vice versa. The symposium [Anderson 89] concluded that “the differences between the topics of Reliability, Saf作者: 果仁 時間: 2025-3-25 18:06 作者: BET 時間: 2025-3-25 20:42
Finite Element Safety Critical Softwarecan be considered as an application of a safety critical software. We are, therefore, attempting to control errors in the analysis process so that a prescribed confidence limit can be ascribed to the eventual analysis results.作者: GLUE 時間: 2025-3-26 03:03
Conference proceedings 1993nships between safety and other attributes such as quality and security. The papers identify the current problems and issues of interest in the field of safety-critical software-based systems, and provide valuable up-to-date material for those in both academia and industry. The academic will benefit作者: 名字的誤用 時間: 2025-3-26 04:39
he relationships between safety and other attributes such as quality and security. The papers identify the current problems and issues of interest in the field of safety-critical software-based systems, and provide valuable up-to-date material for those in both academia and industry. The academic will benefit978-3-540-19817-8978-1-4471-2037-7作者: 尾巴 時間: 2025-3-26 10:48
Certification of Safety Critical Systems in GermanyThere are now twelve TüV distributed around the country that work independently of one another. They are totally committed to impartiality and are independent of pressure groups. They operate on a nonprofit basis..Their activities cover a wide range of technical fields encompassing safety, energy, t作者: LAVE 時間: 2025-3-26 15:43
Safety for European Space Agency Space Programmes supporting implementation and technical system safety requirements have been established. The ESA Safety programme comprises the systematic identification and evaluation of the hazardous characteristics and risks associated with space systems design, operation, and operating environment, together w作者: Asymptomatic 時間: 2025-3-26 18:19 作者: Fillet,Filet 時間: 2025-3-26 21:10 作者: 抒情短詩 時間: 2025-3-27 02:51
Classification of Programmable Electronic Systems Operation for Testabilityronment may vary with system development and how these interfaces together with the mode of operation of Progammable Electronic Systems affect the ability to perform dynamic tests. A number of desirable test attributes are defined and four modes of operation are compared with respect to these attrib作者: 同時發(fā)生 時間: 2025-3-27 07:47 作者: Coordinate 時間: 2025-3-27 10:50
Software Engineering Methods for Industrial Safety Related ApplicationsProgrammable Logic Controllers”. The project is part of the joint DTI/Serc “Safety Critical Systems Initiative”. In the paper the background to the project is presented, and the principal objectives of the project are summarised. Whilst it is too early to present detailed results, the major issues a作者: 凹室 時間: 2025-3-27 17:13
Finite Element Safety Critical Softwared by the Finite Element method associated with the work of the SAFESA project. The background to this work is the desire to qualify safety critical structures by finite element analysis only. In certain cases the emphasis is to remove or decrease the role of testing in the certification procedures, 作者: overbearing 時間: 2025-3-27 18:30 作者: 連累 時間: 2025-3-27 22:43
Developing an environment for computer-based automotive suspension and steering systemsms which influence or take control away from the driver. The safety of normal every day drivers and passengers is increasingly dependent on the reliability of such systems..The CBASS (Computer Based Automotive Suspension and Steering Systems) project is undertaking a programme of work which sets out作者: 先鋒派 時間: 2025-3-28 03:53 作者: 因無茶而冷淡 時間: 2025-3-28 09:06 作者: 委托 時間: 2025-3-28 12:44
SAM—A Tool to Support the Construction, Review and Evolution of Safety Argumentsalso increases. This paper describes the work of the ASAM (“A Safety Argument Manager”) project—a project which has been concerned with providing tool support for the construction, review and evolution of safety cases. First, we present our view of safety and the issues involved in designing safety-作者: temperate 時間: 2025-3-28 17:02 作者: folliculitis 時間: 2025-3-28 20:18
A Modified Hazop Methodology For Safety Critical System Assessment draft standard dealing with safety-related software. The starting point in such a Lifecycle is Hazard Analysis which may be performed using a variety of accepted tools, including Fault Tree Analysis (FTA), Failure Modes, Effects and Criticality Analysis (FMECA) and Hazard and Operability studies (H作者: ANTIC 時間: 2025-3-28 23:39
Applying Security Techniques to Achieving Safetyxplore the proposition that safety and security were duals and that there would be much to be gained by the one adopting the knowledge, understanding, tools and techniques of the other, and vice versa. The symposium [Anderson 89] concluded that “the differences between the topics of Reliability, Saf作者: Ballerina 時間: 2025-3-29 04:01 作者: 奇怪 時間: 2025-3-29 10:38 作者: GRIEF 時間: 2025-3-29 15:05 作者: xanthelasma 時間: 2025-3-29 17:10 作者: vasculitis 時間: 2025-3-29 21:31
Black Mime Theatre Women’s Troopation and evaluation of the hazardous characteristics and risks associated with space systems design, operation, and operating environment, together with a process of safety optimisation through hazard and risk reduction and management. The space system which is addressed is considered to comprise hardware, software, and the system operator.作者: Antagonist 時間: 2025-3-30 00:24
Giving Back to Judith: Laura Curino’s ATC) will be explained..A number of ATC systems were made as single-version systems. A comparison between single- and dual-version designs will be given.The paper also contains a discussion about the discrepancies between what theory predicts and what experience teaches us about two-version programmed systems.作者: CYN 時間: 2025-3-30 07:10 作者: progestogen 時間: 2025-3-30 09:30 作者: 調整校對 時間: 2025-3-30 13:12
https://doi.org/10.1007/978-3-8349-9649-7ility of such systems..The CBASS (Computer Based Automotive Suspension and Steering Systems) project is undertaking a programme of work which sets out to research, and prototype, a development and test system for automotive computer control applications..This paper provides an overview of the CBASS project.作者: 密切關系 時間: 2025-3-30 19:04 作者: 催眠藥 時間: 2025-3-31 00:40 作者: 舊石器時代 時間: 2025-3-31 01:48
Safety for European Space Agency Space Programmesation and evaluation of the hazardous characteristics and risks associated with space systems design, operation, and operating environment, together with a process of safety optimisation through hazard and risk reduction and management. The space system which is addressed is considered to comprise hardware, software, and the system operator.作者: 打包 時間: 2025-3-31 05:08 作者: 占卜者 時間: 2025-3-31 11:09 作者: 特征 時間: 2025-3-31 14:57 作者: 殘廢的火焰 時間: 2025-3-31 18:54
Developing an environment for computer-based automotive suspension and steering systemsility of such systems..The CBASS (Computer Based Automotive Suspension and Steering Systems) project is undertaking a programme of work which sets out to research, and prototype, a development and test system for automotive computer control applications..This paper provides an overview of the CBASS project.作者: 肌肉 時間: 2025-3-31 23:51 作者: LIEN 時間: 2025-4-1 02:43
Applying Security Techniques to Achieving Safety tools and techniques of the other, and vice versa. The symposium [Anderson 89] concluded that “the differences between the topics of Reliability, Safety and Security are more than sheer semantics” but that “there are many similarities which we would be wise to explore”.作者: elastic 時間: 2025-4-1 09:05
https://doi.org/10.1007/978-3-642-56290-7been designed and developed within the laboratory. This paper reports on the first stages of safety analysis of the overall operations in the laboratory. This is a pre-cursor to the systematic re-development of the information system in the light of the findings of the safety analysis.
