COMPLeTe-A COMmunication Protocol vaLidation Toolchain

摘要

Because of shorter software development cycles for communication protocol stacks, the risk of design failures rises. Therefore, even within the protocol specification phase, appropriate validation should be performed in order to detect failures as early as possible. In the light of electric vehicle integration in a smart grid environment, the complexity of charging processes increases e.g. for demand management, and thus also complexity of requirements for associated communication protocols increases. Accordingly, it lends to describe the behavior of communication protocols by abstraction in form of models. The use of model checking processes can validate properties of future behavior, hence failures may be detected earlier. COMPL_eT_e is a toolchain for validation of communication protocols, represented in an adapted version of UML-Statecharts. The toolchain uses the SPIN model checker and its composition is based on techniques of Model-Driven Software Development (MDSD).