Abstract
The Security and Stability Control System (SSCS) is developed to ensure the safe and stable operation of power grids, effectively mitigating failure propagation through emergency control strategies. However, due to the diversity, complexity, and region-specific nature of SSCS, the need for individualized development often arises, leading to time-consuming and error-prone in SSCS development. To address this challenge, we introduce ERC-Code, an automated development framework that empowers developers to prioritize design over implementation. ERC-Code includes extended reactive component modeling, correctness specifications, and model-to-code transformations. The extended reactive component offers the advantage of capturing the complex logic of SSCS at a high level of abstraction, including loops, branches and synchronizations. The correctness specifications prevent the creation of incomplete and invalid models, ensuring the robustness of the generated code. Additionally, the model-to-code engine automatically generates code from the extended reactive component. Our evaluation covers three key aspects: firstly, we assessed the effectiveness of ERC-Code in three real-world SSCS applications. We then conducted a comparison between the traces generated by ERC-Code and the ERC model. Finally, we conducted an experiment to evaluate developer productivity, drawing comparisons between ERC-Code and a code-centric approach. Our results exhibit promise, affirming ERC-Code’s applicability and code quality, along with enhanced productivity.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.