On computing correct processes and repairs sing partial behavioral models

MaRDI QIDQ3455585zbMATH OpenFDO

Authors Wolfgang Mayer, Gerhard Friedrich, M. Stumptner

Publication date 11 December 2015

Full work available at URL http://ebooks.iospress.nl/volumearticle/7036

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Analysis of algorithms and problem complexity (68Q25) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Diagnosing process trajectories under partially known behavior
• Parallel process diagnosis based on qualitative models
• Formalizing the repair process --- extended report
• Process algebras for systems diagnosis.
• Diagnosability of repairable faults

Cited in

(3)

• Formalizing the repair process --- extended report
• Diagnosing process trajectories under partially known behavior
• It Sometimes Works: A Lifting Algorithm for Repair of Stochastic Process Algebra Models

This page was built for publication: On computing correct processes and repairs sing partial behavioral models

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