Son H S; Seong P H.Quantitative evaluation of safety-critical software at the early development stage: an interposing logic system software example.Reliab Engng Syst Safety.1995.9-261Son H S,Seong P H.Quantitative Evaluation of SafetyCritical Software at the Early Development Stage: An Interposing...
stanislaw / awesome-safety-critical Star 1.5k Code Issues Pull requests Discussions List of resources about programming practices for writing safety-critical software. safety awesome-list safety-critical awesome-lists safety-standards Updated Apr 23, 2024 Python PKU-Alignment / safe-rlhf Star 1.4...
Whether you need a safety-critical software, hardware, or solutions provider, trust Performance's 25 year legacy.
This paper sets out to examine the role of standards in the development of safety-critical software. It starts with a brief discussion on the nature and role of standards and then moves on to identify some of the standards making bodies. Safety-critical software is next discussed and the prob...
Guest editors' introduction to a special issue of IEEE Software on Safety-Critical Systems. A short section... Knight,John,Little,... - 《IEEE Software》 被引量: 26发表: 1994年 GUEST EDITORS' INTRODUCTION We rely extensively on software for the well-being and the protection of our assets....
A case study for software used in computer relaying of power system transmission line protection validates the efficacy of the proposed methodology, especially for safety-critical applications. 展开 关键词: software reliability statistics of extremes well-being analysis computer relay ...
Introduction Introduction and Overview Context of Safety-Critical Software Development Software in the Context of the System Software in the Context of the System Safety Assessment Developing Safety-Critical Software Using DO-178C Overview of DO-178C and Supporting Documents Software Planning Software Requ...
Some configuration examples include: Bugs in low-safety-level code should not affect high-safety-level data. High-safety-level code should not depend on low-safety-level code. Low-safety-level code is not allowed to write in high-safety-level data sections High-safety-level code is not ...
One of the main concerns in safety critical software development is to identify a path through the software development lifecycle that will allow the software artefact to meet the target safety integrity level (SIL) at an acceptable cost. In our previous work we modelled the software development ...
网络释义 1. 安全攸关软件 面向安全攸关软件(Safety-Critical Software)系统开发的重大需求,研究安全攸关软件系统的建模原理、构造方法及其运行与 … emuch.net|基于22个网页 2. 安全软件 软件全球化,software... ... ) software security 软件安全 )safety-critical software安全软件... ...