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

DOI10.1007/978-3-319-74781-1_11MaRDI QIDQ4989710zbMATH OpenOpenAlexFDO

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

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)

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

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)