SCOPUS 정보 검색 플랫폼

Hardware/Software Codesign - Proceedings of the International Workshop

Volumn , Issue , 2003, Pages 37-44

Synthesizing Operating System Based Device Drivers in Embedded Systems

(2) Wang, Shaojie a Malik, Sharad a

a Princeton University (United States)

Author keywords

Correct by construction; Device driver; Embedded system software; Operating system based software synthesis

Indexed keywords

CORRECT-BY-CONSTRUCTION; DEVICE DRIVERS; FINITE STATE MACHINES (FSM); KERNEL SYNTHESIS; SOFTWARE SYNTHESIS;

ALGORITHMS; AUTOMATIC PROGRAMMING; CODES (SYMBOLS); COMPUTER AIDED LOGIC DESIGN; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; COMPUTER SOFTWARE SELECTION AND EVALUATION; COMPUTER SYSTEM RECOVERY; EMBEDDED SYSTEMS; FINITE AUTOMATA; INTERFACES (COMPUTER); QUEUEING THEORY; REAL TIME SYSTEMS; SWITCHING FUNCTIONS; SYSTEMS ANALYSIS; UNIX;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 1142275617 PISSN: None EISSN: None Source Type: Conference Proceeding
DOI: 10.1142/S1088424603000069 Document Type: Conference Paper

Times cited : (23)

References (9)

1
- 9644292642
- Modeling and Integration of Peripheral Devices in Embedded Systems
- Shaojie Wang, Sharad Malik, and Reinaldo A. Bergamaschi, Modeling and Integration of Peripheral Devices in Embedded Systems, DATE 2003.
- (2003) DATE 2003
- Wang, S.¹ Malik, S.² Bergamaschi, R.A.³

2
- 0035298863
- Device Driver and DMA Controller Synthesis from HW/SW Communication protocol specifications
- Mattias O'Nil, and Axel Jantsch, Device Driver and DMA Controller Synthesis from HW/SW Communication protocol specifications, Design Automation for Embedded Systems, Vol 6, 2001. pp 177-205.
- (2001) Design Automation for Embedded Systems , vol.6 , pp. 177-205
- O'Nil, M.¹ Jantsch, A.²

3
- 0033725409
- Operating system based software generation for system-on-chip
- Dirk Desmet, D. Verkest, and Hugo De Man, Operating system based software generation for system-on-chip, DAC 2000.
- (2000) DAC 2000
- Desmet, D.¹ Verkest, D.² De Man, H.³

4
- 84893781814
- RTOS Modeling for System Level Design
- Andreas Gerstlauer, Haobo Yu, and Daniel D. Gajski, RTOS Modeling for System Level Design, DATE 2003.
- (2003) DATE 2003
- Gerstlauer, A.¹ Yu, H.² Gajski, D.D.³

5
- 0003733188
- Kluwer Academic Press
- F. Balarin, M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno, C. Passerone, A. Sangiovanni-Vincentelli, E. Sentovich, K. Suzuki, and B. Tabbara, Hardware-Software Co-Design of Embedded Systems: The Polis Approach, Kluwer Academic Press, 1997.
- (1997) Hardware-software Co-design of Embedded Systems: The Polis Approach
- Balarin, F.¹ Chiodo, M.² Giusto, P.³ Hsieh, H.⁴ Jurecska, A.⁵ Lavagno, L.⁶ Passerone, C.⁷ Sangiovanni-Vincentelli, A.⁸ Sentovich, E.⁹ Suzuki, K.¹⁰ Tabbara, B.¹¹

6
- 0031101409
- Hardware/software co-design of digital telecommunication systems
- I. Bolsen, H. J. De Man, B. Lin, K. van Rompaey, S. Vercauteren, and D. Verkest, Hardware/software co-design of digital telecommunication systems, Proceeding of the IEEE, Vol 85, 1997. pp391-418.
- (1997) Proceeding of the IEEE , vol.85 , pp. 391-418
- Bolsen, I.¹ De Man, H.J.² Lin, B.³ Van Rompaey, K.⁴ Vercauteren, S.⁵ Verkest, D.⁶

7
- 0012108692
- Addison-Wesley Publishing Company, Inc.
- George Pajari, Writing UNIX Device Drivers, Addison-Wesley Publishing Company, Inc., 1992.
- (1992) Writing UNIX Device Drivers
- Pajari, G.¹

8
- 0030391975
- Grammar-based Hardware Synthesis of Data Communication Protocols
- Nov.
- th ISSS, Nov. 1996, pp14-19
- (1996) th ISSS , pp. 14-19
- Oberg, J.¹ Kumar, A.² Hemani, A.³

9
- 0003581145
- Symbolic Model Checking: An approach to the state explosion problem
- K. L. McMillan, Symbolic Model Checking: An approach to the state explosion problem, CMU Tech Rpt. CMU-CS-92-131.
- CMU Tech Rpt. , vol.CMU-CS-92-131
- McMillan, K.L.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.