A rule-based availability-driven cosynthesis scheme

Design Automation for Embedded Systems

Volumn 11, Issue 2-3, 2007, Pages 193-222

  Chakraverty, Shampa ^a   Kumar, Anil ^b  

^a NETAJI SUBHAS INSTITUTE OF TECHNOLOGY   (India)

^b UNIVERSITY OF DELHI   (India)

Author keywords

Continuous time Markov chains; Distributed embedded real time systems; Graceful degradation; Hardware software co synthesis; Hierarchical genetic algorithm; Reliability and availability; Stochastic task graphs; Task allocation and scheduling

Indexed keywords

COMPUTER HARDWARE; DATA COMMUNICATION SYSTEMS; ENERGY DISSIPATION; GENETIC ALGORITHMS; MULTIPROCESSING SYSTEMS; REAL TIME SYSTEMS; STOCHASTIC CONTROL SYSTEMS;

CONTINUOUS TIME MARKOV CHAINS; DISTRIBUTED EMBEDDED REAL-TIME SYSTEMS; GRACEFUL DEGRADATION; HARDWARE-SOFTWARE CO-SYNTHESIS; HIERARCHICAL GENETIC ALGORITHM; STOCHASTIC TASK GRAPHS; TASK ALLOCATION AND SCHEDULING;

COMPUTER SOFTWARE;

EID: 34548534117     PISSN: 09295585     EISSN: 15728080     Source Type: Journal    
DOI: 10.1007/s10617-007-9005-8     Document Type: Article

References (28)

1. Beaudry MD (1978) Performance-related reliability measures for computing systems. IEEE Trans Comput C-27(6):540-547
2. Garey G, Johnson D (1979) Computers and intractability - a guide to the theory of NP-completeness. Freeman, New York
3. Musa DJ, Iannino A, Okumoto K (1987) Software reliability: measurement, prediction and application. McGraw-Hill, New York
4. Kalavade A, Lee EA (1993) A hardware software co-design methodology for DSP applications. IEEE Des Test Comput 10(3):.16-28
5. Ernst R, Henkel J, Benner T (1993) Hardware software co-synthesis for micro-controllers. IEEE Des Test Comput 10(4):64-75
6. Jeong B et al. (2000) Hardware-software cosynthesis for run-time incrementally reconfigurable FPGAs. In: Proceedings of the Asia South Pacific design automation conference, January 2000
7. Contenson J-N, Esteve D, Cloute F (1999) Hardware-software co-design of an avionics communication protocol interface system: an industrial case study. In: Proceedings of the 7th international workshop on hardware software codesign, Rome, Italy, May 1999
8. Parker A, Prakash S (1992) Sos: Synthesis of application specific heterogeneous multiprocessor systems. J Parallel Distributed Comput 16:338-351
9. Tirat-Gefen YG (1997) Theory and Practice in system-level design of application-specific heterogeneous multiprocessors. PhD thesis, University of California
10. Dave BP, Jha NK (1997) COHRA: Hardware software co-synthesis of hierarchical heterogeneous distributed embedded system architectures. IEEE Trans Comput 17(10):900-919
11. Dave BP, Jha NK (1999) COFTA: Hardware software co-synthesis of heterogeneous distributed embedded systems for low overhead fault tolerance. IEEE Trans Comput 48(4):417-441
12. Dick RP, Jha NK (1998) MOGAC: A multiobjective genetic algorithm for hardware software co-synthesis of distributed embedded systems. IEEE Trans Comput Aided Des Integr Circuits Systems 17(10):920-935
13. Xie Y, Wolf W (2001) ASICosyn:Co-Synthesis of conditional task graphs with custom ASICs. In: Proceedings of the international conference on ASICs, pp 130-135
14. Brandolese C, Fornaciari W et al (2006) Affinity driven system design exploration for heterogeneous multiprocessor SOC. IEEE Trans Comput 55(5):508-519
15. Pimentel AD, Erbas C, Polstra S (2006) A systematic approach to exploring embedded system architectures at multiple abstraction levels. IEEE Trans Comput 55(2):99-112
16. Xie Y, Li L et al. (2004) Reliability aware cosynthesis for embedded systems. In: Proceedings of the 15th conference on application specific systems, architectures and processors (ASAP'04)
17. Hou CJ, Shin KG (1997) Allocation of periodic task modules with precedence and deadline constraints in distributed real time systems. IEEE Trans Comput 46(12): 1338-1356
18. Choi H, Kulkarni VG, Trivedi KS (1994) Markov regenerative stochastic petrinets. Perform Evaluation 20(1-3):337-357
19. Muppala JK, Trivedi KS (1995) System dependencies in Markov dependability modeling, In: Proceedings of fault tolerant systems and software, pp 38-47
20. Blum AM, Goyal A, Heidelberger P, Lavenberg SS, Nakayama N, Shahabuddin P (1994) Modeling and analysis of system dependability using the system availability estimator. In: 24th annual international symposium on fault tolerant computing (FTCS-24), pp 137-141
21. Armstrong JM (1997) Reliability-importance and dual failure-mode components. IEEE Trans Comput 46(2):212-221
22. Varvarigou TA, Ahuja S (1997) MOFA: A model for fault and availability in complex systems. IEEE Trans Reliab 46(2):222-232
23. Olkin I, Glesser LJ, Derman C (1994) Probability models and applications. Macmillan, New York
24. Vilkomir SA, Parnas DL, Mendiratta VB, Murphy E (2005) Availability evaluation of hardware/software systems with several recovery procedures. In: Proceedings of international computer software and applications conference (COMPSAC'05), pp 473-478
25. Ravikumar CP, Chakraverty S (1998) VLSI implementation of a strongly fault secure ALU. J Comput Sci Eng 13:283-288
26. Rao TRN, Fujiwara E (1989) Error control coding for computer systems. Prentice-Hall, Englewood Cliffs
27. Goldberg DE (1989) Genetic algorithm in search, optimization and machine learning. Addison-Wesley, Reading
28. Chakraverty S, Ravikumar CP (2000) A stochastic framework for co-synthesis of real-time systems. In: Proceedings on languages, compilers and tools for embedded systems LCTES-2000, Vancouver, Canada, pp 51-59