Experimental study on fighters behaviors mining
Expert Systems with Applications: An International Journal
| Hi-index | 0.00 |
Error-free engineering of high integrity applications such as vehicle motion control (VMC) requires unambiguous behavioral specification. As system engineering progresses from requirements modeling to functional design, to system implementation on a distributed platform, the specifications of the system artifacts and work products must be transferred across different engineering environments and stages in models without loss of semantics. Modeling environments currently available for industrial use, with their native modeling languages, do not provide the capability of unambiguous behavior modeling across tools and engineering stages. In this paper, we identify certain fundamental requirements for high integrity systems and show that these requirements are not satisfied in current and proposed international standards, and two commercial modeling tools. A modeling language for VMC behavioral specification, eFSM, is proposed as a candidate for standardization and for adoption by the community in this domain. The language is based on a general mathematical modeling framework and an extended finite state machine paradigm. It adds unambiguous semantics essential to the VMC behavioral specification. An experimental prototype of the eFSM has been developed and evaluated relative to the requirements for modeling high integrity systems.