Contract-based blame assignment by trace analysis

HiCoNS 2013 - Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems, Part of CPSWeek 2013

Volumn , Issue , 2013, Pages 117-125

  Wang, Shaohui ^a   Ayoub, Anaheed ^a   Ivanov, Radoslav ^a   Sokolsky, Oleg ^a   Lee, Insup ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

blame assignment; component based system; fault diagnosis; trace analysis

Indexed keywords

BLAME ASSIGNMENTS; COMPONENT BASED SYSTEMS; COMPONENT BEHAVIOR; FAULT DETECTION AND ISOLATION; FORMAL DEFINITION; LOGICAL CONSTRAINTS; MEDICAL DEVICES; NETWORKED SYSTEMS;

BIOMEDICAL EQUIPMENT; FAILURE ANALYSIS; SOFTWARE ENGINEERING; TRACE ANALYSIS;

FAULT DETECTION;

EID: 84877627816     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2461446.2461463     Document Type: Conference Paper

References (20)

1. The MDPnP website. www.mdpnp.org.
2. The OSMD website. http://osmdmadison.wordpress.com.
3. Australian Transport Safety Bureau. In-flight upset-Airbus A330-303, VH-QPA, 154 km West of Learmonth, WA, 7 October 2008. Technical report, Australian Transport Safety Bureau, 2011.
4. S. Bhattacharyya, Z. Huang, V. Chandra, and R. Kumar. A discrete event systems approach to network fault management: detection and diagnosis of faults. In Proceedings of the American Control Conference, volume 6, pages 5108-5113, 2004.
5. J. de Kleer and B. C. Williams. Diagnosing multiple faults. Artificial Intelligence, 32(1):97-130, 1987.
6. L. de Moura and N. Bjørner. Z3: An efficient SMT solver. In TACAS'08. Springer, 2008.
7. A. Dubey, G. Karsai, R. Kereskenyi, and N. Mahadevan. Towards a real-time component framework for software health management. Technical Report ISIS-09-111, Vanderbilt University, 2009.
8. FDA. FDA MAUDE Database.
9. R. B. Findler and M. Felleisen. Contracts for higher-order functions. In International Conference on Functional Programming, ICFP '02, pages 48-59, New York, NY, USA, 2002. ACM.
10. G. Gössler, D. L. Métayer, and J.-B. Raclet. Causality analysis in contract violation. In Proceedings of the First international conference on Runtime verification, RV'10, pages 270-284, 2010.
11. M. Greenberg, B. C. Pierce, and S. Weirich. Contracts made manifest. JFP, 22(3):225-274, 2012.
12. R. Jagadeesh Chandra Bose and W. van der Aalst. Trace alignment in process mining: opportunities for process diagnostics. Business Process Management, pages 227-242, 2010.
13. C. Kim, M. Sun, S. Mohan, H. Yun, L. Sha, and T. F. Abdelzaher. A framework for the safe interoperability of medical devices in the presence of network failures. In ICCPS'10, pages 149-158, 2010.
14. NERC Steering Group. Technical analysis of the August 14, 2003, blackout: What happened, why, and what did we learn? Technical report, North American Electric Reliability Council, 2004.
15. A. Pnueli. The temporal logic of programs. In Proceedings of FOCS '77, pages 46-57, 1977.
16. R. Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32(1):57-95, 1987.
17. R. Riegelman et al. Contributory cause: unnecessary and insufficient. Postgrad Med, 66(2):177, 1979.
18. S. Rudich and A. Wigderson. Computational complexity theory. American Mathematical Soc., 2004.
19. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis. Failure diagnosis using discrete-event models. IEEE Transactions on Control Systems Technology, 4(2):105-124, 1996. (Pubitemid 126782836)
20. A. Zeller. Isolating cause-effect chains from computer programs. In ACM International Symposium on Foundations of Software Engineering, pages 1-10, 2002.