Abstract Context: Safety-Critical Systems (SCS) require more sophisticated requirements
engineering (RE) approaches as inadequate, incomplete or misunderstood requirements …

Oriented to the new generation of cyber-physical manufacturing, this paper introduces two
breakthroughs of industrial design and development software system: model-based systems …

Requirements traceability has long been recognized as an important quality of a well-
engineered system. Among stakeholders, traceability is often unpopular due to the unclear …

In this paper we study the problem of shape analysis and its application in locating facial
feature points on frontal faces. We propose a Bayesian inference solution based on tangent …

Many guidelines for safety-critical industries such as aeronautics, medical devices, and
railway communications, specify that traceability must be used to demonstrate that a …

Context: Many critical systems must comply with safety standards as a way of providing
assurance that they do not pose undue risks to people, property, or the environment. Safety …

Traceability is a fundamental component of the modern software development process that
helps to ensure properly functioning, secure programs. Due to the high cost of manually …

Traceability provides support for diverse software engineering activities including safety
analysis, compliance verification, test-case selection, and impact prediction. However, in …

嵌入式软件在安全关键系统中的应用, 使得保障软件安全性成为软件工程领域的研究热点之一.
以典型嵌入式软件系统机载软件为基础, 对机载软件安全性保障的标准, 方法及工具进行综述 …

Certifying safety-critical software and ensuring its safety requires checking the conformance
between safety requirements and design. Increasingly, the development of safety-critical …