CASPER: Concurrent hardware-software co-synthesis of hard real-time aperiodic and periodic specifications of embedded system architectures

Proceedings -Design, Automation and Test in Europe, DATE

Volumn , Issue , 1998, Pages 118-124

  Dave, Bharat P ^a,b   Jha, Niraj K ^a  

^a Princeton University   (United States)

^b LUCENT TECHNOLOGIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EMBEDDED SYSTEM APPLICATIONS; EMBEDDED SYSTEM ARCHITECTURES; EMBEDDED SYSTEM SPECIFICATIONS; HARDWARE AND SOFTWARE; HARDWARE-SOFTWARE CO-SYNTHESIS; ON-LINE DETERMINATION; RATE-MONOTONIC SCHEDULING; TRADITIONAL APPROACHES;

ALGORITHMS; GRAPHIC METHODS; HARDWARE; REAL TIME SYSTEMS; SPECIFICATIONS;

EMBEDDED SYSTEMS;

EID: 84893766989     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DATE.1998.655845     Document Type: Conference Paper

References (18)

1. M. R. Garey and D. S. Johnson, Computers and Intractability: A Guide to the Theory of NP-Completeness, W. H. Freeman and Co., 1979.
2. B. P. Dave, G. Lakshminarayana, and N. K. Jha, "COSYN: Hardware-software co-synthesis of distributed embedded systems," in Proc. Design Automation Conf., pp. 703-708, June 1997.
3. R. K. Gupta, Co-Synthesis of Hardware and Software for Digital Embedded Systems, Kluwer Academic Publishers, Norwell, Mass., 1995.
4. R. Ernst, J. Henkel and T. Benner, "Hardware-software cosynthesis for microcontrollers," IEEE Design &Test of Computers, vol. 10, no. 4, pp. 64-75, Dec. 1993.
5. K. Buchenrieder and C. Veith, "A prototyping environment for control-oriented HW/SW systems using state-charts, activity charts and FPGAs," in Proc. European Design Automation Conf., pp. 60-65, Sept. 1994.
6. J. A. Rowson, "Hardware/software co-simulation," in Proc. Design Automation Conf., pp. 439-440, June 1994.
7. S. Prakash and A. Parker, "SOS: Synthesis of applicationspecific heterogeneous multiprocessor systems," J. Parallel &Distributed Comput., vol. 16, pp. 338-351, Dec. 1992.
8. J. G. DAmbrosio and X. Hu, "Configuration-level hardware/software partitioning for real-time systems," in Proc. Int. Wkshp. Hardware-Software Co-Design, pp. 34-41, Sept. 1994.
9. T.-Y. Yen and W. Wolf, "Communication synthesis for distributed embedded systems," in Proc. Int. Conf. Computer-Aided Design, pp. 288-294, Nov. 1995.
10. D. Kirovski and M. Potkonjak, "System-level synthesis of low-power hard real-time systems," in Proc. Design Automation Conf., pp. 697-702, June 1997.
11. K. Ramamritham and J. A. Stankovic, "Scheduling algorithms and operating systems support for real-time systems," Proc. IEEE, Jan. 1994.
12. J. Lehoczky and S. Ramos-Thuel, "An optimal algorithm for scheduling soft aperiodic tasks in fixed-priority preemptive systems," in Proc. Real-Time Systems Symp., pp. 110-123, Dec. 1992.
13. R. I. Davis, K. W. Tindell, and A. Burns, "Scheduling slack time in fixed priority pre-emptive systems," in Proc. Real-Time Systems Symp., pp. 222-231, Dec. 1993.
14. K. Ramamritham, J. A. Stankovic, and P. Shiah, "Efficient scheduling algorithms for real-time multiprocessor systems," IEEE Trans. Parallel &Distributed Systems, pp. 184-194, Apr. 1990.
15. K. S. Hong and J. Y.-T. Leung, "On-line scheduling of realtime tasks," in Proc. Real-Time Systems Symp., pp. 244-250, Dec. 1988.
16. B. Kao and H. Garcia-Molina, "Deadline assignment in a distributed soft real-time system," Tech. Rep., Stanford University, STAN-CS-92-1452, Oct. 1992.
17. L. Sha et al., "Generalized rate-monotonic scheduling theory: A framework for developing real-time systems," Proc. IEEE, Jan. 1994.
18. E. Lawler and C. Martel, "Scheduling periodically occurring tasks on multiple processors," Information Processing Letters, vol. 12, pp. 9-12, Feb. 1981.