SDL Modeling and Validation of Home Area Network in Smart Grid Systems

  • Zahid Soufiane
  • En-Nouaary Abdeslam
  • Bah Slimane
Conference paper
Part of the Lecture Notes in Networks and Systems book series (LNNS, volume 37)


The Smart Grid is an intelligent power network featured by its two-way flows of electricity and information. The integrated communication infrastructure allows Smart Grid systems to manage the operation of all connected components to provide reliable and sustainable electricity supplies. The Home Area Network (HAN) is a dedicated network connecting devices in the home, as well as electrical vehicles. The HAN market is now emerging within the smart grid sector to serve home with different solutions. Such solutions should be devised with rigor to avoid any possible errors or anomalies along the process life cycle, from inception until deployment and operation. Modeling and validation is one of the powerful techniques used to achieve such goals. This paper presents an approach to modeling and validating the HAN network and its four services. We use SDL (Specification and Description Language) as a standardized language to describe especially the “demand response” service and its two programs types. The resulting design is a generic model that focuses on the main functions of the HAN network. We then validate the resulting SDL model using the reachability analysis technique with the support of IBM Rational SDL suite. The final validated model can be used to generate code for concrete or virtual Smart Grid solutions.


Smart Grid Communication protocols and services Formal modeling V&V Reachability analysis SDL MSC HAN 


  1. 1.
    Soufiane, Z., Slimane, B., Abdeslam, E.-N.: A synthesis of communication architectures and services of smart grid systems. In: International Conference on Systems of Collaboration (SysCo). IEEE (2016)Google Scholar
  2. 2.
    Department of Energy: Communications Requirements of Smart Grid Technologies, October 2010Google Scholar
  3. 3.
    Kuzlu, M., Pipattanasomporn, M., Rahman, S.: Communication network requirements for major smart grid applications in HAN, NAN and WAN. Comput. Netw. 67, 74–88 (2014)CrossRefGoogle Scholar
  4. 4.
    Khajavi, P., Abniki, H., Arani, A.B.: The role of incentive based demand response programs in smart grid. In: 2011 10th International Conference on Environment and Electrical Engineering (EEEIC). IEEE (2011)Google Scholar
  5. 5.
    Belina, F., Hogrefe, D.: The CCITT-specification and description language SDL. Comput. Netw. ISDN Syst. 16(4), 311–341 (1989)CrossRefGoogle Scholar
  6. 6.
    Casanovas, J., Figueras, J., Guasch, A.: Formalizing geographical models using specification and description language: the wildfire example. In: Proceedings of the 2013 Winter Simulation Conference: Simulation: Making Decisions in a Complex World. IEEE Press (2013)Google Scholar
  7. 7.
  8. 8.
    Doldi, L.: Validation of Communications Systems with SDL: The Art of SDL Simulation and Reachability Analysis. Wiley, Chichester (2003)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing AG 2018

Authors and Affiliations

  1. 1.Institut National des Postes et Télécommunications (INPT)RabatMorocco
  2. 2.Ecole Mohammadia d’Ingénieurs (EMI)RabatMorocco

Personalised recommendations