To search, Click below search items. |
| All Published Papers Search Service |
|
|
|
Title |
Formal Verification of Twin Clutch Gear Control System |
|
Author |
Muhammad Zaman, Amina Mahmood, Muhammad Atif, Muhammad Adnan Hashmi, Muhammad Kashif, Mudassar Naseer |
| Citation |
Vol. 24 No. 3 pp. 151-159 |
|
Abstract |
Twin clutch model enables the power-shifts as conventional planetary automatic transmission and eradicates the disadvantages of single clutch trans- mission. The automatic control of the dual clutches is a problem. Particularly to control the clutching component that engages when running in one direction of revolution and disengages when running the other direction, which exchange the torque smoothly during torque phase of the gear-shifts on planetary-type automatic transmissions, seemed for quite a while hard to compensate through clutch control. Another problem is to skip gears during multiple gearshifts. However, the twin clutch gear control described in [""M Goetz, M C Levesley and D A Crolla. Dynamics and control of gearshifts on twin clutch transmissions, Proceedings of the Institution of Mechanical Engineers, Part D: Journal of Automobile Engineering 2005""], a significant improvement in twin clutch gear control system is discussed. In this research our objective is to formally specify the twin clutch gear control system and verify it with the help of formal methods. Formal methods have a high potential to give correctness estimating techniques. We use UPPAAL for formal specification and verification. Our results show that the twin clutch gear control model partially fulfills its functional requirements. |
|
Keywords |
Formal Specification, Gear Control System, Requirement Verification, Model-checking. |
|
URL |
