Abstract
Scientific research is devoted to determining the areas of integrated application of the formal method Event-B for the development of environmental management systems. The practice of prevention and elimination of environmental emergencies indicates the general nature of risks in the field of environmental, industrial and occupational safety. Accordingly, the management of these risks is optimally carried out on a single basis - in the framework of the creation of environmental management systems (objects of management are considered man-made hazardous objects, ecosystem objects). The application of the method of formal verification of Model Checking and the method of specification of requirements of Event-B at synthesis of administrative ecological decisions is offered. The formalization of management decisions in the system of ecological management in the conditions of abnormal ecological situations is given.
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
Abrial, J.-R.: A system development process with event-b and the Rodin platform. In: Butler, M., Hinchey, M.G., Larrondo-Petrie, M.M. (eds.) ICFEM 2007. LNCS, vol. 4789, pp. 1–3. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-76650-6_1
Abrial, J.: Formal Method Course. Zürich (2005)
Abrial, J.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2009)
Analysis Techniques for System Reliability - : Procedure for Failure Modes and Effects Analysis. (FMEA), IEC 60812 (2006)
Babichev, S.A., Kornelyuk, A.I., Lytvynenko, V.I., Osypenko, V.V.: Computational analysis of microarray gene expression profiles of lung cancer. Biopolymers Cell 32(1), 70–79 (2016). https://doi.org/10.7124/bc.00090F
Bowen, J.P.: Formal methods in safety-critical standards. In: Proceedings of the Software Engineering Standards Symposium (SESS 1993), Brighton, UK, pp. 168–177. IEEE Computer Society Press (1993). https://doi.org/10.1109/sess.1993.263953
Clark, E.M., Gramberg, O., Peled, D.: Verification of program models. Model Checking, Moscow (2002)
Devyanin, P.N., Leonova, M.A.: The techniques of formalization of OS Astra Linux Special Edition access control model using Event-B formal method for verification using Rodin and ProB. Prikl. Diskr. Mat. 52, 83–96 (2021). https://doi.org/10.17223/20710410/52/5
Edmunds, A., Butler, M.: Linking event-b and concurrent object-oriented programs. Electron. Not. Theor. Comput. Sci. (ENTCS) 214, 159–182 (2008). https://doi.org/10.1016/j.entcs.2008.06.008
Fatrell, R.T., Schafer, D.F., Schafer, L.I.: Software project management. In: Achieving Optimal Quality at Minimum Cost. Moscow, Williams (2004)
Fault tree analysis (FTA): IEC. 61025 (2006)
Kharchenko, V.S.: Guaranteeability and guarantee systems: elements of methodology. Radio-electron. Comput. Syst. 5, 7–19 (2006)
Lecomte, T.: Formal methods in safety-critical railway systems. In: 10th Brasilian Symposium on Formal Methods, Ouro Preto, Brazil (2007)
Mashkov, V.: New approach to system level self-diagnosis. In: 11th IEEE International Conference on Computer and Information Technology, CIT 2011, pp. 579–584 (2011). https://doi.org/10.1109/CIT.2011.12
Mashkov, V., Mashkov, O.: Interpretation of diagnosis problem of system level self-diagnosis. Math. Model. Comput. 2(1), 71–76 (2015)
Schneider, S.P.: The B-Method: An Introduction. Cornerstones of Computing series, Hampshire (2001)
Sterritt, R., Rouff, C.A., Rash, J.L., et al.: Self-properties in NASA missions. In: 4th Int. Workshop on System/Software Architectures (IWSSA 2005) at International Conference on Software Engineering Research and Practice (SERP 2005), Las-Vegas, Nevada (USA), pp. 66–72 (2005)
Tarasyuk, O., Gorbenko, A., Kharchenko, V.: Practical aspects of applying the Invariant-based approach to the formal system development and verification. In: Monograph of System Dependability, 2, Dependability of Networks, Wroclaw: Oficyna Wydawnicza Politechnki Wroclawskiej (2010)
Tarasyuk, O.M., Horbenko, A.V., Kharchenko, B.C.: Complexation of formal methods of development and analysis of reliability of Event-B and FME (C), A. Math. Mach. Syst. 2, 166–177 (2010)
Woodcock, J., Larsen, P., aBicarregui, J.: Formal methods: practice and experience. ACM Comput. Surv. 41(4), 1–36 (2009). https://doi.org/10.1145/1592434.1592436
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Mashkov, O., Ilyin, O., Mashkov, V., Boskin, O., Ohnieva, O. (2023). Features of Complex Application of the Formal Method of EVENT-B for Development of Environmental Management Systems. In: Babichev, S., Lytvynenko, V. (eds) Lecture Notes in Data Engineering, Computational Intelligence, and Decision Making. ISDMCI 2022. Lecture Notes on Data Engineering and Communications Technologies, vol 149. Springer, Cham. https://doi.org/10.1007/978-3-031-16203-9_10
Download citation
DOI: https://doi.org/10.1007/978-3-031-16203-9_10
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-16202-2
Online ISBN: 978-3-031-16203-9
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)