(ISC)2®’s whitepaper, Code (In)Security, highlights various considerations that need to be taken into account to develop code that is secure. But merely developing secure code without attesting to its assurance capabilities is akin to operating an automobile without checking to ensure that the brakes work as expected. With such an outlook, a crash becomes not just possible but inevitable. This ...

The OSEK/VDX is an international standard of automobile operating systems, which are typical safety-critical systems that require extensive safety analysis and verification. Formal methods have been shown useful and effective to verify the safety of both the OSEK/VDXbased operating systems and applications. Using formal methods requires formal semantics of the OSEK/VDX standard. In this paper, ...

Dongsheng Wu, Jun Li, Xiaoping Shu, Xiaojing Zha, Beili Xu School of Mechanical and Electronic Engineering, East China Jiaotong University,Nanchang 330013, P. R. China Abstract: Braking performance test methods are compared and analyzed .ABS will not work if the speed is too low when the automobile is tested by tester and load testing. Since the braking performance can not be evaluated accurate...

In accession to the growing use and complexity of the software in safety critical automotive systems, the testing for its safety violation became more imperative. This necessitated the development of an automated parser tool for the software of the automotive system in order to ensure its safety. This tool is developed with intent to verify and validate whether the automobile system software wh...

Wavelet transform is a well-known signal processing technique which has proven to be a successful technique in Non-Destructive Testing (NDT). Adopting this technique by Acoustic Emission (AE) method could result in better interpretation of data that are used for fault detection. In this study, AE signals emitted from automobile engines in both faulty and healthy conditions are analyzed using wa...

According to the actual working conditions of the Vribbed belt, automobile V-ribbed belt fatigue tester machine is designed to test for the automobile engine Vribbed belt fatigue wear. Finite-element analysis software ANSYS is employed to perform finite-element analysis on fatigue testing machine load shaft, bearing, universal joint key parts of the finite-element analysis, and to analyze the m...