Editorial

摘要

The present June 2019 (Vol. 27, No. 2) issue of CIT. Journal of Computing and Information Technology brings four papers from the broad areas of computer networks and network security, and a paper from the area of algorithmics. The topic of the paper Practical Model Checking of a Home Area Network System: Case Study by Soufiane Zahid, Abdeslam En-Nouaary and Slimane Bah is a special component of the Smart Grid architecture - the ICT based intelligent power network monitoring, optimizing and controlling all functional units from electricity generation to end-customers - which is the Home Area Network (HAN). It turns out that HANs are quite important Smart Grid components in that they can help reduce customer energy consumption and cost, and maximize transparency and reliability of the energy supply chain, hence the interest in their formal modeling and validation. In their paper the authors validate a previously devised SDL (Specification and Description Language) model for a HAN, using model checking techniques. They introduce a novel method to translate the former to a Promela model, which is subsequently used as the input to the state-of-the-art model checker SPIN. The authors point out how to obtain optimal results as well as how to find a balance between HAN model complexity on the one hand, and space and time limitations of model checking which otherwise lead to combinatorial explosion on the other.