A DSL Approach to Improve Productivity and Safety in Device Drivers Development

Authors:
Laurent Réveillère;Fabrice Mérillon;Charles Consel;Renaud Marlet;Gilles Muller
Affiliations:
-;-;-;-;-
Venue:
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Year:
2000

Citing 0
Cited 8

Dealing with Hardware in Embedded Software: A General Framework Based on the Devil Language

OM '01 Proceedings of the 2001 ACM SIGPLAN workshop on Optimization of middleware and distributed systems
Towards robust OSes for appliances: a new approach based on domain-specific languages

EW 9 Proceedings of the 9th workshop on ACM SIGOPS European workshop: beyond the PC: new challenges for the operating system
Improving Driver Robustness: An Evaluation of the Devil Approach

DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
A formal semantic definition of DEVIL

ACM SIGPLAN Notices
Automatic generation of device drivers

ACM SIGPLAN Notices
Spidle: a DSL approach to specifying streaming applications

Proceedings of the 2nd international conference on Generative programming and component engineering
Staging telephony service creation: a language approach

Proceedings of the 1st international conference on Principles, systems and applications of IP telecommunications
A design flow based on a domain specific language to concurrent development of device drivers and device controller simulation models

Proceedings of th 12th International Workshop on Software and Compilers for Embedded Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it easier to experiment with mechanized formal methods such as theorem provers ...