Abstract
Smart Grid is built on an already existing and functioning power grid system, while adding various components to collect data as well as monitor, analyze and control the grid. In order to ensure the proper execution of the grid functionalities, it is important to verify the compliance issues before integrating a component in the system. In this paper, we propose a two tier compliance verification model, to verify the architectural compliance for each component as well as the whole system. Besides, this model monitors the data flow between several components in the system to record new compliance rules and take actions accordingly. Thus, this model can provide a certain level of security in the system while maintaining the architectural compliance. In order to justify this model, we have used Event-B to design an example and showed that if we use this model to select primitive components, then the architectural design will comply with the main system, as well as, certain security problems are also avoided using this framework.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
IEEE Recommended Practice for Architectural Description of Software-Intensive Systems. IEEE Std 1471-2000, pp. i–23 (2000). https://doi.org/10.1109/IEEESTD.2000.91944
Abrial, J.R.: Modeling in Event-B: System and Software Engineering, vol. 1st. Cambridge University Press, New York, NY, USA (2010)
Herold, S.: Checking architectural compliance in component-based systems. In: ACM Symposium on Applied Computing (2010)
Lohmann, N.: Compliance by design for artifact-centric business processes. In: 9th International Conference on Business Process Management, pp. 99–115 (2011)
Kharbili, M.E., de Medeiros, A.K.A., Stein, S., van der Aalst, W.M.P.: Business process compliance checking: current state and future challenges. MobIS 141, 107–113 (2008)
Sackmann, S., Kahmer, M., Gilliot, M., Lowis, L.: A classification model for automating compliance. In: 10th IEEE Conference on E-Commerce Technology and the Fifth IEEE Conference on Enterprise Computing, E-Commerce and E-Services, pp. 79–86 (2008). https://doi.org/10.1109/CECandEEE.2008.99
Sadiq, S., Governatori, G., Milosevic, Z.: Compliance checking between business processes and business contracts. In: IEEE International Enterprise Distributed Object Computing Conference (EDOC’06), pp. 221–232 (2006)
Ghose, A.K., Koliadis, G.: Auditing business process compliance. In: Proceedings of the International Conference on Service-Oriented Computing (ICSOC-2007). Volume 4749 of Lecture Notes in Computing Science, pp. 169–180 (2007)
Liu, Y., Muller, S., Xu, A.K.: Static compliance checking framework for business process models. IBM Syst. J. 46(2), 335–361 (2007)
Rozinat, A., van der Aalst, W.M.P.: Conformance checking of processes based on monitoring real behavior. Inf. Syst. 33(1), 64–95 (2008)
Crnkovic, I.: Component-based software engineering—new challenges in software development. J. Comput. Inf. Technol. 3, 151–161 (2003)
Darimont, R., Lamsweerde, A.V.: Formal refinement patterns for goal-driven requirements elaboration. In: Proceedings 4th ACM Symposium on the Foundations of Software Engineering (FSE4), San Francisco, pp. 179–190, Oct 1996
Abrial, J.R., Butler, M., Hallerstede, S., Hoang, T.S., Mehta, F., Voisin, L.: Rodin: an open toolset for modelling and reasoning in Event-B. Int. J. Softw. Tools Technol. Transf. (STTT) Spec. Sect. VSTTE 12(6), 447–466 (2010) (Springer, Berlin)
Acknowledgements
We would like to acknowledge Council of Scientific & Industrial Research (CSIR), Government of India, and the project “ADditive Manufacturing & Industry 4.0 as innovation Driver (ADMIN 4D)”, for providing the support required for carrying out the research work.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Singapore Pte Ltd.
About this chapter
Cite this chapter
Chakraborty, M., Chakraborty, S., Chaki, N. (2020). Architectural Design-Based Compliance Verification for IoT-Enabled Secure Advanced Metering Infrastructure in Smart Grid. In: Chaki, R., Cortesi, A., Saeed, K., Chaki, N. (eds) Advanced Computing and Systems for Security. Advances in Intelligent Systems and Computing, vol 996. Springer, Singapore. https://doi.org/10.1007/978-981-13-8969-6_3
Download citation
DOI: https://doi.org/10.1007/978-981-13-8969-6_3
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-13-8968-9
Online ISBN: 978-981-13-8969-6
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)