Formalizing monitoring processes for large-scale distributed systems using abstract state machines

DOI10.1007/978-3-319-74781-1_11zbMATH Open1461.68035OpenAlexW2786777509MaRDI QIDQ4989710FDOQ4989710

Authors: Andreea Buga, Sorana Tania Nemeș 

Publication date: 26 May 2021

Published in: Software Engineering and Formal Methods (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-74781-1_11

Recommendations

• Fault management in distributed systems: A policy-driven approach
• Testing and monitoring in distributed automated technological control systems
• On distributed monitoring of asynchronous systems
• Distributed system contract monitoring
• scientific article; zbMATH DE number 2112452

zbMATH Keywords

computation tree logicmonitoringabstract state machinesmodel validationformal modelingfailure detection

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14)

This page was built for publication: Formalizing monitoring processes for large-scale distributed systems using abstract state machines

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4989710)