Formal specifications are widely used in the development of safety critical systems, as the Sensor Voting Module of the Landing Gear System. However, the conformance relationship between the formal specification and the concrete implementation must be checked. In this paper, we show a technique to formally link a Java class with its Abstract State Machine formal specification, and two approache...

i Abstract A vehicular driveline consists of engine, clutch, transmission, shafts, and wheels, which are controlled by a driveline management system. Experiments and modeling using a heavy truck show that there are significant torsional resonances in the driveline. A linear model with a drive shaft flexibility is able to sufficiently explain the measured engine speed and wheel speed. Engine con...

Many safetyand security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and testing such systems can be exceedingly time-consuming and these techniques provide only probabilistic measures of correctness. There are a number of model-checking tools for real-time systems. However, they provide formal ...

A number of formal methods exist for capturing stimulus-response requirements in a declarative form. Someone yet needs to translate the resulting declarative statements into imperative programs. The present article describes a method for specification and verification of stimulus-response requirements in the form of imperative program routines with conditionals and assertions. A program prover ...

Planetary gear trains can be more compact and efficient as power transmissions than fixed axis gear trains but are also more complicated and less understood in terms of vibration health monitoring. A practical differential planetary gear train, which combines two inputs and one output, is studied using multi-body dynamics software. Backlash between the sun gear and planet gears are precisely sp...

Gears are commonly used for transmitting power. They develop high stress concentration at the root and the point of contact. The repeated stressing on the fillets causes the fatigue failure of gear tooth. The main objective of this study is to add different shaped holes to reduce stress concentration. A finite element model of Spur gear with a segment of three teeth is considered for analysis a...

This paper proposes a new electrically controlled magnetic variable-speed gearing (EC-MVSG) machine, which is capable of providing controllable gear ratios for hybrid electric vehicle (HEV) applications. The key design feature involves the adoption of a magnetic gearing structure and acceptance of the memory machine flux-mnemonic concept. Hence, the proposed machine can not only offer a gear-sh...

In order to improve the validity and accuracy of fault diagnosis on mechanical equipment, this study applies fuzzy nearness approach by adjusting the traditional formulations. Besides, it points out the disadvantages in fault diagnosis of traditional nearness approach based on experimental data of gear transmission. A fuzzy nearness functionbased model is constructed to execute the fault diagno...

This paper presents reconfigurable control system for ship coursechanging/keeping. Adaptive neuro-fuzzy inference system (ANFIS) is used to identify a steering gear subsystem (actuator) in order to build an accurate reference model for the fault detection in this non-linear component. The proposed control system uses a compensator for reducing the loss of the control performance produced by fau...