Towards Device Driver Synthesis (ResearchIndex)

See this document in CiteSeerX!

Towards Device Driver Synthesis (2002) (Make Corrections)
Thomas Lehmann

View or download:
ubdata.unipaderborn.de/...disserta.pdf
Cached: PS.gz PS PDF Image Update Help
Problem Downloading?
From: ubdata.unipaderborn.de/e...index (more)
(Enter author homepages)

Rate this article:

(best)
Comment on this article

(Enter summary)
Abstract: Figure 6.1: An abstract device can be seen as a formation of a driver kernel, a device kernel and an asynchronous communication system in between. (Update)

Active bibliography (related documents): More All
1.4: HW/SW Communication Protocol Specifications - O'Nils (2001) (Correct)
0.9: ProGram: A Grammar-Based Method for Specification and Hardware.. - Öberg (1999) (Correct)
0.5: Grammar-based Specifications of Datapath for SoC Design and.. - Öberg (Correct)

Similar documents based on text: More All
0.8: A Fully Self-Timed Bit-Serial Pipeline Architecture - For Embedded Systems (2003) (Correct)
0.3: Increasing Efficiency by Partial Hardware Reconfiguration.. - Danne, Bobda, Kalte (2003) (Correct)
0.3: Cv - Czumaj (Correct)

BibTeX entry: (Update)

@misc{ lehmann-towards,
  author = "Thomas Lehmann",
  title = "Towards Device Driver Synthesis",
  url = "citeseer.ist.psu.edu/561805.html" }

Citations (may not include all citations):
1911 Introduction to Automata Theory (context) - Hopcroft, Motwani et al. - 2001
828 Model Checking - Clarke, Grumberg et al. - 1999  ACM   DBLP
245 Semantics of Context-Free Languages (context) - Knuth - 1968  DBLP
181 Principles of Program Analysis (context) - Nielson, Nielson et al. - 1999  ACM
116 Aspect-Oriented Programming - Kiczales, Lamping et al. - 1997  ACM   DBLP
106 Advanced Programming in the UNIX Environment (context) - Stevens - 1992  ACM
98 Compiler : Design and Implementation (context) - Fraser, Hanson et al. - 1995
91 Code generation using tree matching and dynamic programming (context) - Aho, Ganapathi et al. - 1989  ACM   DBLP
86 Advanced Compiler Design and Implementation (context) - Muchnick - 1997  ACM
79 The Unified Modelling Language User Guide (context) - Booch, Rumbaugh et al. - 1998
73 The Cathedral and the Bazaar (context) - Raymond - 1999  ACM   DBLP
69 Real-Time Systems and Programming Languages (context) - Burns, Wellings - 2001  ACM
66 IEEE Standard for Scalable Coherent Interface (context) - Std - 1992
53 Linux Device Drivers (context) - Rubini - 1998  ACM
39 An Introduction to Operating Systems (context) - Deitel - 1990
38 Operating Systems (context) - Stallings - 1998  ACM   DBLP
36 Automatic Synthesis of Interfaces between Incompatible Proto.. - Passerone, Rowson et al. - 1998  ACM   DBLP
27 IEEE Standard for a High Performance Serial Bus (context) - Society, York - 1995
24 and Ann Wollrath (context) - Arnold, O'Sullivan et al. - 1999
22 Parallel Processing in Industrial Real-Time Applications (context) - Lawson - 1992  ACM
20 A Domain-Specific Language for Video Device Drivers: from De.. - Thibault, Marlet et al. - 1997
18 Grammar-based Hardware Synthesis of Data Communication Proto.. (context) - Oberg, Kumar et al. - 1996  ACM   DBLP
16 Domain-Specific Interface Generation From Dataflow Specifica.. - Eisenring, Teich - 1998  ACM
14 Springer Verlag (context) - Wilhelm, Maurer - 1997
12 Affix grammar driven code generation (context) - Ganapathi, Fischer - 1985  ACM   DBLP
12 Uml for real-time overview (context) - Lyons - 1998
10 Introduction to Formal Hardware Verification (context) - Kropf - 1999  ACM
9 An Introduction to Compiler Construction (context) - Parsons - 1997
7 The SMV System - McMillan - 2000
7 Worst-Case Execution Times and Schedulability Analysis of St.. (context) - Erpenbach - 2000
6 Interfacing Hardware and Software - Eisenring, Teich - 1998  ACM   DBLP
6 Validation of Interface Protocols Using Grammarbased Models (context) - Oberg, Jantsch et al. - 1998
6 Code Optimization Techniques for Embedded Processors (context) - Leupers - 2000  ACM
6 Open Systems Networking (context) - Piscitello, Chapin - 1993  ACM
5 and Real-Time Applications with UML (context) - Goma, Distributed - 2000
5 FireWire System Architecture (context) - Anderson - 1999  ACM
5 Operating System Sensitive Device Driver Synthesis from Impl.. (context) - O'Nils, Jantsch - 1999  ACM   DBLP
5 Synthesi DMA Controller from Architecture Independent Descri.. (context) - Nils, Synthesis et al. - 1999
5 A DSL Approach to Improve Productivity and Safety in Device .. - Reveillere, Merillon et al. - 2000  ACM   DBLP
4 Linux-Kernel-Programmierung (context) - Beck, ohme et al. - 1997
4 InfiniBand Architecture Development and Deployment (context) - Futral - 2001
4 dpunkt-Verlag (context) - Griffel - 1998
3 Driver Assistance (context) - Grehan - 1997
3 Serial Communications Controller Architectural Overview Auto.. (context) - Corporation - 1996
3 Programming the Microsoft Windows Driver Model (context) - Oney, Ryan et al. - 1999
3 Programming Embedded Systems in C and C (context) - Barr - 1999
3 Communication HardwareSoftware Embedded System Taxonomy an.. (context) - Nils, Communication et al. - 1997
3 The Design and Implementation of a Portable Driver for Share.. (context) - Ryan - 1997
3 Digitale HardwareSoftware Systeme (context) - Digitale, Systeme et al. - 1997
3 A Step towards Operating System Synthesis - Ditze - 1998
3 IPANEMA - verteilte Echtzeit-Informationsverarbeitung in mec.. (context) - Honekamp - 1998
2 Institut National de Recherche en Informatique et en Automat.. (context) - Reveillere, Merillon et al. - 2000
2 Technical report (context) - Physical, Specification - 2001
2 RABBIT - A Modular Rapid-Prototyping Platform for Distribute.. (context) - Zanella, Robrecht et al. - 2001
2 Serial Bus Protocol (context) - Protocol, report - 1998
2 Grammar Based Modelling and Synthesis of Device Drivers and .. (context) - O'Nils, Oberg et al. - 1998  ACM   DBLP
2 Embedded Systems Programming (context) - Tuggle, Drivers - 1993  ACM
2 Devil: An IDL for Hardware Programming - Merillon, Reveillere et al. - 2000  DBLP
2 Pinkert and Larry L (context) - James - 1989
2 Technical report (context) - Specification - 2001
2 Synthesi Communicating Controller Concurrent HardwareSoftwar.. - Niemann, Synthesis et al. - 1998
2 Dynamically Reconfigurable Cores - MacBeth, Lysaght - 2001  ACM   DBLP
2 Embedded Systems Programming in C and Assembly (context) - Brown - 1997  ACM
2 Scenario and property checking of realtime systems using a s.. (context) - Andre, Peraldi-Frati et al. - 2001
2 Minimal Invasive Monitoring - Mahrenholz - 2001  ACM   DBLP
1 Entwurf und Implementierung eines flexiblen Codegenerators z.. (context) - Oberschelp
1 Royal Institute of Technology (context) - O'Nils, Syntheisis et al. - 1999
1 PowerPC System Architecture (context) - Shanley - 1995  ACM
1 Computer Organizytion and Architecture: Designing for Perfor.. (context) - Stallings - 2000
1 Modelling Communication Interfaces with COMIX (context) - Oppenheimer, Zhang et al. - 2001  ACM   DBLP
1 InfiniBand -- Bandbreite ohne Ende (context) - Strass - 2001
1 Hanser VerlagPrentice Hall Internatinal (context) - Moderne, Verlag et al. - 1995
1 The BeOS Development Team. BeOS Advanced Topics-The Official.. (context) - Development, Advanced et al. - 1998
1 TSBLV Data Manual (context) - TSB, Manual - 2000
1 Software Synthesis of Real-Time Communication System Code fo.. (context) - oke - 1999
1 the Development of Object-Oriented Operating Systems for Dee.. - Beuche, Guerrouat et al. - 1999
1 Link Specification (context) - Consortium - 2001
1 Kluwer Academic Publisher (context) - Daniel, Gajski et al. - 2000
1 Wies and Johannes Endres (context) - Christian - 2000
1 and Joachim Philipp (context) - Weiss, Steckstor et al. - 1999
1 Universit at Paderborn (context) - Lehmann, for et al. - 2000
1 Formale Verifikation diskreter Echtzeitsysteme (context) - Ruf, Kropf - 2001
1 Case Study of Integration of Reconfigurabel Logic as a Copro.. (context) - Lehmann, Schreckenberg - 2001
1 UDI Core Specification Volume (context) - Specification, report - 2001
1 ur HWSW Systeme (context) - Zhang, HW et al. - 2001
1 SCSI-Bus und IDE-Schnittstelle (context) - Schmidt - 1998
1 Appendix A Graphic Representations of Interrupt Systems The .. (context) - Zimbardo, Springer-Verlag - 1992
1 Dipartimento di Ingegneria Aerospaziale - Politecnico di Mil.. (context) - Aerospaziale, DIAPM et al. - 2000
1 Feldbus-Systeme (context) - Bonfig - 1995
1 Towards Operating System Synthesis (context) - Ditze - 2000
1 and Steve Mihalik (context) - Dunlop, Fuchs - 2001
1 Towards Verifiable Device Drivers: An Approach based on Doma.. - Merillon, Reveillere et al. - 1999
1 Embedded Systems Programming (context) - Saks, Name - 1999  ACM
1 Addison Wessley (context) - Fowler, Scott - 1997
1 PC Hardware Aufbau Funktionsweise Programmierung (context) - Messmer - 1997
1 Operating Systems (context) - Milenkovic - 1992  ACM   DBLP
1 MPCMPC User's Manual (context) - MPC, Manual - 2000
1 Device Driver and DMA Controller Synthesi from HWSW Communic.. (context) - Mattias, Driver et al. - 2000
1 Embedded Systems Programming (context) - Neimann, OOP - 1999  ACM
1 Improving Driver Robustness: an Evaluation of the Devil Appr.. - Reveillere, Muller - 2001  DBLP
1 Operating Systems (context) - Nutt - 2000  ACM   DBLP
1 Addison-Wesle-Longman (context) - Fowler, Scott - 1998
1 Rapid Prototyping System f ur dynamisch rekonfigurierbare Ha.. (context) - Kalte, Pormann et al. - 2000
1 The Hazards of Device Driver Programming (context) - Gal-Oz, Cohen - 1997
http://www.metrowerks.com
http://sourceforge.net/forum/forum.php?forum
http://www.xfree86.org
http://www.rational.com/index.jsp
http://www.be.com/
http://www.pcisig.com
http://www.upb.de/project-hp/eli.html
http://www.togethersoft.com
http://www.projectudi.org/
http://www.digitaldna.com/
http://www.upb.de/fachbereich/AG/schaefer/ag
http://www.sun.com/jini/
http://www.aero.polimi.it/projects/rtai/
http://www.sun.com/java/

Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback

CiteSeer.IST - Copyright Penn State and NEC