COMPLeTe − A COMmunication Protocol vaLidation Toolchain

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