Autonomic fault mitigation in embedded systems

Engineering Applications of Artificial Intelligence

Volumn 17, Issue 7, 2004, Pages 711-725

  Neema, Sandeep ^a   Bapty, Ted ^a   Shetty, Shweta ^a   Nordstrom, Steven ^a  

^a VANDERBILT UNIVERSITY   (United States)

Author keywords

Autonomic computing; Embedded systems; Fault mitigation; Fault tolerance; Hierarchical concurrent finite state machines; Model based design

Indexed keywords

COMPUTER SYSTEMS; FAULT TOLERANT COMPUTER SYSTEMS; LARGE SCALE SYSTEMS; REAL TIME SYSTEMS; SYSTEMS ENGINEERING;

AUTONOMIC COMPUTING; FAULT MITIGATION; MODEL-BASED DESIGN;

EMBEDDED SYSTEMS;

EID: 9944248583     PISSN: 09521976     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.engappai.2004.08.031     Document Type: Article

References (22)

1. Avizienis, A., 1997. Toward systematic design of fault-tolerant systems. IEEE Computer 30, 51-58.
2. Avizienis, A., Avizienis, R., 2001. An immune system paradigm for the design of fault-tolerant systems. Workshop for Evaluating and Architecting Systems for Dependability (EASY), in Conjunction with DSN 2001 and ISCA 2001.
3. Bapty, T., Neema, S., et al., 2000. Model-integrated tools for the design of dynamically reconfigurable systems. VLSI System 10 (3), 281-306.
4. Butler, J., Appel, J.A., et al., 2001. Fault tolerant issues in the BTeV trigger. The future of particle physics. Snowmass, UT, USA.
5. Campos, S., Clarke, E., 1995. Real-time symbolic model checking for discrete time models. In: Rus, T., Rattrav, C. (Eds.), AMAST Series in Computing: Theories and Experience for Real-Time Systems Development. World Scientific Publishing Company, Singapore.
6. Fussel, D., Isermann, R., 2000. Hierarchical motor diagnosis utilizing structural knowledge and a self-learning neuro fuzzy scheme. IEE Transactions on Industrial Electronics 47 (5), 1070-1077.
7. Harel, D., 1987. Statecharts: a visual formalism for complex systems. Science of Computer Programming 8, 231-274.
8. Holzmann, G.J., 1997. The model checker SPIN. IEEE Transactions on Software Engineering 23 (5), 279-295.
9. Holzmann, G.J., 2003. The SPIN Model Checker: Primer and Reference Manual. Addison Wesley, Reading, MA.
10. IBM Autonomic Research Webpage http://www.research.ibm.com/autonomic.
11. Kalbarczyk, Z.T., Iyer, R.K., et al., 1999. Chameleon: a software infrastructure for adaptive fault tolerance. IEEE Transactions on Parallel and Distributed Systems 10 (6), 560-579.
12. Kwan, S., 2002. The BTeV pixel detector and trigger system. Fifth International Conference on Hyperons, Charm and Beauty Hadrons (BEACH 2002); Vancouver, Canada.
13. Larsen, K., Pettersson, P., et al., 1995. Model-Checking for Real-time Systems. Lecture Notes in Computer Science, Lecture Notes in Computer Science Series, No.965. Springer, Berlin.
14. Ledeczi, A., Bapty, T., et al., 2000. Synthesis of Self-Adaptive Software. IEEE Aerospace 2000. Big Sky, MT, USA.
15. Mootaz, E.N., Alvisi, L., et al., 2002. A survey of rollback-recovery protocols in message-passing systems. ACM Computing Surveys (CSUR) 34 (3), 375-408.
16. Neema, S., Ledeczi, A., 2003. Constraint guided self adaptation. In: Goos, G., Hartmanis, J., Leeuwen J.V. (Eds.), Lecture Notes in Computer Science, vol. 2614. Springer, Berlin, pp. 39-51.
17. Nordstrom, G., 1999. Metamodeling - rapid design and evolution of domain-specific modeling environments. IEEE Conference on Engineering of Computer Based Systems (ECBS-1999), Nashville, TN, USA.
18. Oh, J., Mosse, D., et al., 2003. Design of very light weight agents for reactive embedded systems. IEEE Conference on the Engineering of Computer Based Systems (ECBS). Huntsville, AL, USA.
19. Parashar, M., 2003. Automate: enabling autonomic applications on the grid. Autonomic Computing Workshop, Fifth Annual International Active Middleware Services Workshop (AMS2003), Seattle, WA, USA.
20. Shetty, S., 2004. Towards Developing Tools and Technologies for Modeling Faults in Large Scale Real-Time Embedded Systems. Department of Electrical and Computer Engineering. Nashville, Vanderbilt University. MS.
21. Sztipanovits, J., 1998. Engineering of computer-based, systems: an emerging discipline. IEEE Conference on Engineering of Computer-based Systems (ECBS-1998), Jerusalem, Israel.
22. Vashishtha, D., Neema, S., et al., 2003. Simulation based analysis of real time fault tolerant large scale embedded systems. Huntsville Simulation Conference, Huntsville, AL, USA.