A high order collaboration and real time formal model for automatic testing of safety critical systems

Abstract

The need for safety critical systems (SCS) is both important and urgent, and their evaluation and verification are test-dependent. SCS are usually complex and very large, so manual testing of SCS are infeasible in practice, and developing automatic test approaches for SCS has become an important trend. This paper defines a formal semantics model for automatic test of SCS, called AutTMSCS, which describes behaviors in SCS testing. The model accommodates the high order collaboration in real time and temporariness of SCS testing. Testing tasks, test equipment and products under test are abstracted and architected in three layers, and a method for automatic testing is given. Based on extended label transition system (LTS), the convergency and correctness of the model are proved to demonstrate the computability of the model, indicating that the testing process of SCS can be automatic.

A Web Cache Replacement Strategy for Safety-Critical Systems

“…Information technology significantly improves the efficiency of automated testing of the equipment, which leads to an explosive growth of the test data [1,2]. In particular, more complex and extensive test data are generated in the comprehensive testing of the complex SCS (safety-critical systems), such as the spacecraft [3]. For each model of SCS, the total amount of comprehensive test data per year can reach the T order of magnitude, and the test data are various and multidimensional.…”

“…Web caching presents an effective way to solve the aforementioned problems. It plays an important role in improving Web performance by placing probably reaccessible objects closer to users, which can thus reduce the response time, the consumption of network bandwidth, and the workload of the original server [3]. An efficient web cache replacement algorithm for a particular application environment can also significantly affect the system performance and the user experience.…”