Engineer, validate, and secure IEC 61850-based protection, automation, and systems Model-Driven Power System Automation describes formal methods for specifying, designing, commissioning, and maintaining automation systems, including digital substations, hydro power plants , wind farms, and distributed energy resources. The book introduces foundational concepts on IEC 61850 and its various models, including substation, product, type, and service; details automation evolution with IEC 61850 capabilities and distributed systems as they apply to remote access systems, client-server systems, and peer-to-peer systems; models various applications with IEC 61850, touching on its abilities in cybersecurity, GOOSE models and system architecture; and applies IEC 61850 as a key catalyst for green energy resources, modeling its importance in hydro power, wind power, and distributed energy resources. Model-Driven Power System Automation discusses: Communication models, covering communication and real-time requirements, abstract and specific interfaces, and mapping to MMS, CORBA, and Ethernet Functional models, covering logical and generic logical nodes, logical devices, proxies and gateways, intelligent electronic devices, and networks Data models, covering data modeling and hierarchy, primitive elements, namespaces, common data classes, and functional constraints Engineering and configuration models, covering extensible markup language, Substation Configuration Language , and substation, product, and communication models Challenges in lifecycle management, international standards and best practices Model-Driven Power System Automation is an excellent reference for electrical and power system engineers, developers, systems architects, and engineering graduates who are working with digital grid technologies and seeking to support modern requirements and integrate renewable energy sources.