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 …

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 …

Model-based systems engineering (MBSE) focuses on using models to support the design,
optimization, simulation, and ultimately deployment of complex cyber-physical systems …

Traceability approves trace links among software artifacts based on whether two artifacts are
related by system functionalities. The traces are valuable for software development, but are …

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 provides support for diverse software engineering activities including safety
analysis, compliance verification, test-case selection, and impact prediction. However, in …