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

Although peripheral devices come out at a frantic pace and require fast releases of drivers, little progress has been made to improve the development of drivers. Too often, this development consists of decoding hardware intricacies, based on inaccurate documentation. Then, assembly-level operations need to be used to interact with the device. These low-level operations reduce the readability of the driver and prevent safety properties from being checked

Towards Robust OSes for Appliances: A New Approach Based on Domain-Specific Languages

this paper, existing OS approaches are assessed with respect to the requirements raised by appliances. The limitations of these approaches are analyzed and used as a basis to propose a new approach to designing and structuring OSes for appliances. This approach is based on Domain-Specific Languages (DSLs), and offers rapid development of robust OSes. We illustrate and assess our approach by concrete examples

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

Although peripheral devices come out at a frantic pace and require fast releases of drivers, little progress has been made to improve the development of drivers. Too often, this development consists of decoding hardware intricacies, based on inaccurate documentation. Then, assembly-level operations need to be used to interact with the device. These low-level operations reduce the readability of the driver and prevent safety properties from being checked. This paper presents an approach based on domain-specific languages to overcome these problems. After a thorough domain analysis, we define a language, named Devil, dedicated to defining the basic communication with a device. Devil allows the programmer to easily map a device documentation into a device description. This description formally specifies the access mechanisms, the type and layout of data, as well as behavioral properties involved in operating the device. Once compiled, a Devil description implements an interface ..

Dealing with hardware in embedded software : a retargetable framework based on the devil language

Theme 2 - Genie logiciel et calcul symbolique - Projet COMPOSEAvailable from INIST (FR), Document Supply Service, under shelf-number : 22588, issue : a.2001 n.1391 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLECentre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)FRFranc

The devil language

Theme 2 - Genie logiciel et calcul symbolique - Projet COMPOSESIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : 22588, issue : a.2000 n.1319 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Towards verifiable device drivers : an approach based on domain-specific languages

Theme 2 - Genie logiciel et calcul symbolique - Projet COMPOSESIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : 22588, issue : a.1999 n.1270 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Towards robust OSes for appliances A new approach based on domain-specific languages

Theme 2 - Genie logiciel et calcul symbolique - Projet COMPOSESIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : 22588, issue : a.2000 n.1327 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc