Search

Evaluating requirements engineering technology is a challenging activity. It becomes even more difficult when having to evaluate the technology and thus to show its suitability in real settings, as access to industrial resources might be limited and the target domain might be complex or very sensitive. This paper reports on our experience in specifying an evaluation framework for requirements engineering technology. The technology aims to improve safety assurance and certification practices, and is being developed in the scope of a large-scale European research project. We focus on presenting the challenges encountered and the lessons learned while specifying the framework. These lessons summarise how we addressed, plan to address, or propose to address the challenges. This information can be useful for other researchers and practitioners that have to evaluate requirements engineering technology in general, and with industry and for safety assurance and certification in particular. [ABSTRACT FROM PUBLISHER]

The aim of software safety certification is to determine whether software has achieved the safety that system requests. This paper advances a software safety certification framework based on safety case from the view of product, providing software safety evidence which can be applied independently of software development process. First the conception, structure, significance and presentation method of safety case are introduced. Then the software safety certification framework is further elaborated, including safety claim acquisition, argument constituent and evidence selection. And then GSN safety case patterns are advanced for applying certification framework. Finally, the framework is applied in practice, which preliminarily shows its effectiveness. The framework doesn't preclude the use of existing standards. A key motivation in producing the paper is to demonstrate safety-critical software acceptance by unconventional views to critical review. [ABSTRACT FROM PUBLISHER]

Flight test subjects have high risk and difficult to evaluate quantificationally. A test pilot model based on distribution hypothesis verification is proposed to obtain the test pilot's manipulation parameter. Delay time is selected as an example to illustrate the method. Aircraft model and hydraulic system model is established. Failure model of hydraulic system's sensor and actuator malfunction, oil block and pump power were set up and simulated by Simulink and AMESim. To improve the precision of flight risk assessment, an improved extreme value risk evaluation model based on nonlinearly decreasing weight particle swarm optimization (NDW-PSO based EVT) is proposed. Dynamic simulation from component level to aircraft level was realized by a comprehensive virtual flight testing (VFT) framework based on AMESim, MATLAB/Simulink and Flightgear cross-connect. NO.43 risky subject about “hydraulic system malfunction” in Chinese GJB 626A-2006 was chosen as an example. Influence of hydraulic system failure to flight safety was analyzed and safety amelioration measures were proposed, which illustrate the former proposed method's validity. [ABSTRACT FROM PUBLISHER]

Electronic systems in the automotive domain implement safety critical functionality in vehicles and the safety certification process according to a functional safety standard is time consuming and a big part of the expenses of a development project. We describe the functional safety certification of electronic automotive systems by presenting a use case from the construction equipment industry. In this context, we highlight some of the major challenges we foresee, while using a product line approach to achieve efficient functional safety certification of vehicle variants. We further elaborate on the impact of functional safety certification when applying the component-based approach on developing safety critical product variants and discuss the implications by cost modeling and analysis. [ABSTRACT FROM PUBLISHER]