A DSL approach to improve productivity and safety in device drivers development

Proceedings ASE 2000: 15th IEEE International Conference on Automated Software Engineering

Volumn , Issue , 2000, Pages 101-109

  Reveillere L ^a,b   Merillon F ^a   Consel, C ^a,b   Marlet, R ^a,c   Muller, G ^a  

^a CAMPUS DE BEAULIEU   (France)

^b UNIVERSITÉ BORDEAUX 1   (France)

^c Trusted Logic   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING LANGUAGES; PROBLEM ORIENTED LANGUAGES; PRODUCTIVITY; SAFETY TESTING; SOFTWARE ENGINEERING;

ASSEMBLY LEVELS; DEVELOPMENT PROCESS; DOMAIN SPECIFIC LANGUAGES; GENERAL PURPOSE LANGUAGES; MUTATION TESTING; PERIPHERAL DEVICES; SAFETY IMPROVEMENT; SAFETY PROPERTY;

SAFETY ENGINEERING;

EID: 0012943323     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2000.873655     Document Type: Conference Paper

References (25)

1. H. Agrawal, R. Demillo, R. Hathaway, W. Hsu, W. Hsu, E. Krauser, R. J. Martin, A. Mathur, and E. Spafford. Design of mutant operators for the C programming language. Technical Report SERC-TR-41-P, Software Engineering Research Centre, Purdue University, West Lafayette, Indiana, Mar. 1989.
2. B. Arnold, A. van Deursen, and M. Res. An algebraic specification of a language describing financial products. In IEEE Workshop on Formal Methods Application in Software Engineering, pages 6-13. Apr. 1995.
3. E. Bjarnason. Applab: a laboratory for application languages. In L. Bendix, K. Nørmark, and K. Østerby, editors, Nordic Workshop on Programming Environment Research, Aalborg. Technical Report R-96-2019, Aalborg University, May 1996.
4. BlueWater Systems, Inc. WinDK Users Manual. URL: www.bluewatersystems.com.
5. S. Chandra and J. Larus. Experience with a language for writing coherence protocols. In Proceedings of the 1st USENIX Conference on Domain-Specific Languages, Santa Barbara, California, Oct. 1997.
6. Compuware NuMega. DriverWorks User's Guide. URL: www.numega.com.
7. th International Symposium on Programming Language Implementation and Logic Programming, number 1490 in Lecture Notes in Computer Science, pages 170-194, Pisa, Italy, Sept. 1998.
8. E. N. Dekker and J. M. Newcomer. Developing Windows NT device drivers : A programmer's handbook. Addison-Wesley, first edition, Mar. 1999.
9. R. A. Demillo and A. P. Mathur. On the use of software artifacts to evaluate the effectiveness of mutation analysis for detecting errors in production software. Technical Report SERC-TR-92-P, Software Engineering Research Centre, Purdue University, West Lafayette, Indiana, Feb. 1991.
10. R. Draves, M. Jones, and M. Thompson. MIG - The MACH Interface Generator. School of Computer Science, Carnegie Mellon University, July 1989.
11. E. Eide, K. Frei, B. Ford, J. Lepreau, and G. Lindstrom. Flick: A flexible, optimizing IDL compiler. In Proceedings of the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation, pages 44-56, Las Vegas, NV, USA, June 15-18, 1997.
12. C. Elliott. Modeling interactive 3D and multimedia animation with an embedded language. In Proceedings of the 1st USENIX Conference on Domain-Specific Languages, Santa Barbara, California, Oct. 1997.
13. N. Gupta, L. J. Jagadeesan, E. E. Koutsofios, and D. M. Weiss. Auditdraw: Generating audits the fast way. In Proceedings of the Third IEEE Symposium on Requirements Engineering, pages 188-197, Jan. 1997.
14. IEEE Standards. 1076-1993 Standard VHDL Language Reference Manual, 1994. URL: standards.ieee.org.
15. S. Kamin and D. Hyatt. A special-purpose language for picture-drawing. In Proceedings of the 1st USENIX Conference on Domain-Specific Languages, Santa Barbara, California, Oct. 1997.
16. D. E. Knuth. The errors of TEX. Software Practice and Experience, 19(7):607-685, July 1989.
17. D. Ladd and C. Ramming. Two application languages in software production. In USENIX Symposium on Very High Level Languages, New Mexico, Oct. 1994.
18. D. Parnas. On the design and development of program families. IEEE Transactions on Software Engineering, 2:1-9, mar 1976.
19. Project UDI. UDI Specifications, Version 1.0, September 1999. URL: www.project-udi.org.
20. C. Pu, A. Black, C. Cowan, J. Walpole, and C. Consel. Microlanguages for operating system specialization. In 1st ACM-SIGPLAN Workshop on Domain-Specific Languages, Paris, France, Jan. 1997. Computer Science Technical Report, University of Illinois at Urbana-Champaign.
21. A. Rubini. Linux Device Drivers. O'Reilly, first edition, Feb. 1998.
22. L. Réveillère, F. Mérillon, C. Consel, R. Marlet, and G. Muller. The Devil language. Research Report 1319, IRISA, Rennes, France, May 2000.
23. S. Thibault, C. Consel, and G. Muller. Safe and efficient active network programming. In 17th IEEE Symposium on Reliable Distributed Systems, pages 135-143, West Lafayette, Indiana, Oct. 1998.
24. S. Thibault, R. Marlet, and C. Consel. A domain-specific language for video device driver: from design to implementation. In Proceedings of the 1st USENIX Conference on Domain-Specific Languages, Santa Barbara, California, Oct. 1997.
25. S. Thibault, R. Marlet, and C. Consel. Domain-specific languages: from design to implementation - application to video device drivers generation. IEEE Transactions on Software Engineering, 25(3):363-377, May-June 1999. Extented version of [24].