Research Article
Real-Time Extended Interface Automata for Software Testing Cases Generation
Table 1
Parameters of the aircraft braking system.
| | Parameter | Meaning |
| | State of system BIT | | State of a failed system BIT | | State of a successful system BIT, system startup | | State of taking off | | State of landing | | State of stop turning braking: the braking system is used to completely stop the idling of the landing gear tires after taking off | | State of keeping in land: the braking system is used to lock the landing gear tires after landing | | State of normal braking | | State of antilock braking | | Input: command of the brake system startup | | Output: the result of the system BIT | | Input: the information of takeoff/landing | | Input: the gear’s load information, to determine whether the plane has completely off the ground during takeoff | | Input: the gear wheel speed information, to determine when the plane landed at rest, a normal speed, or a too fast speed | | Output: problem report of the system BIT | | Output: the gear hydraulic circuit signal, to control the force created by the hydraulic institute and implement different braking friction strength. |
|
|
