Model-Based Testing of Safety Critical Real-Time Control Logic Software

The paper presents the experience of the authors in model based testing of safety critical real-time control logic software. It describes specifics of the corresponding industrial settings and discusses technical details of usage of UniTESK model based testing technology in these settings. Finally, we discuss possible future directions of safety critical software development processes and a place of model based testing techniques in it.Comment: In Proceedings MBT 2012, arXiv:1202.582

Reserve Li/SOC12 Battery Safety Testing

A reserve Lithium/Thionyl Chloride Battery concept is developed and undergoing feasibility testing in terms of performance, safety and abusive conditions. The feasibility of employing a battery of this type to replace thermal batteries in certain applications is demonstrated. Excellent performance of a Li/SOCl2 reserve battery is obtained across the temperature range from 0 C to +44 C. Performance improvement over the thermal battery usage is greater by a factor of 3 when discharge time and energy density are compared. Performance over an expanded temperature range is also possible. Safety and abusive testing is accomplished successfully on a series of five units. Further performance improvements can be achieved with regard to battery weight and volume reductions

Measurement, testing, and safety technology: A compilation

Methods and techniques in the related areas of measurement, testing, and safety are presented. Measuring techniques and devices and testing methods and devices are described. Articles on equipment modifications or procedures are included. Patent information is presented

Improvements in safety testing of lithium cells

A systematic approach was developed for evaluating the basic safety parameters of high power lithium soluble cathode cells. This approach consists of performing a series of tests on each cell model during the design, prototype and production phases. Abusive testing is performed in a facility where maximum protection is given to test personnel

EXPLANATORY ANALYSIS OF THE SAFETY LEADERSHIP AND SAFETY CLIMATE AT POWER PLANT

The purpose of this study is to examine and explain the effect of a safety leadership on safety climate in coal fired power plant. The design of this study is a survey and the data collection is cross section through a questionnaire. The unit of analysis is the employee who have experience work with at least 1 year. Mechanical determination of sample units in this study is a simple random sampling. The method of data analysis in hypothesis testing that is the Smart PLS (Partial Least Square). The results of this study indicate that direct safety leadership gives significant effect on safety climate. The practical implications of this research is useful for the management of power plant as they need to increase the role of safety leadership in the effort of increasing the safety climate especially for its communication to employee about Environment Health Safety

Testing Vietnam's public safety net

An effective public safety net can be important in a poor transition economy such as Vietnam. Yet we know very little about the performance of existing public transfers as a safety net. Using panel data, the paper investigates whether Vietnam's main social welfare transfers promoted poor people out of poverty and whether they protected the non-poor from becoming poor. It also explores the role transfer programs played in the country's dramatic reduction of poverty in the 1990s. Counterfactual consumption levels without transfers allow for behavioral responses. The findings suggest that transfer programs helped few people escape poverty and protected even fewer from falling into poverty. The public safety net appears to have been largely irrelevant to the country's recent poverty reduction record.Services&Transfers to Poor,Rural Poverty Reduction,Safety Nets and Transfers,Poverty Assessment,Environmental Economics&Policies

Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS - a collection of Technical Notes Part 1

This report provides an introduction and overview of the Technical Topic Notes (TTNs) produced in the Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS (Tigars) project. These notes aim to support the development and evaluation of autonomous vehicles. Part 1 addresses: Assurance-overview and issues, Resilience and Safety Requirements, Open Systems Perspective and Formal Verification and Static Analysis of ML Systems. Part 2: Simulation and Dynamic Testing, Defence in Depth and Diversity, Security-Informed Safety Analysis, Standards and Guidelines