Loading...
Please wait, while we are loading the content...
Similar Documents
Implementing reliable Linux device drivers in ATS
| Content Provider | ACM Digital Library |
|---|---|
| Author | Shi, Rui |
| Abstract | Contemporary software systems often provide mechanisms forextending functionalities, which imposes great safety concerns on the well-being of critical infrastructures. ATS is a recently developed language with its type system rooted in Applied Type System framework which combines linear and dependent type theories for enforcing safe use of resources at low-level. In this paper, we describe a framework for constructing reliable Linux device drivers in ATS. Specifically, drivers are written and type checked in ATS, then compiled and linked to kernel with safety guarantee. Our preliminary experience shows that this approach can effectively enhance the reliability of device drivers and save the testing/debugging time. |
| Starting Page | 41 |
| Ending Page | 46 |
| Page Count | 6 |
| File Format | |
| ISBN | 9781595936776 |
| DOI | 10.1145/1292597.1292605 |
| Language | English |
| Publisher | Association for Computing Machinery (ACM) |
| Publisher Date | 2007-10-02 |
| Publisher Place | New York |
| Access Restriction | Subscribed |
| Subject Keyword | Ats Applied type system Device driver programming |
| Content Type | Text |
| Resource Type | Article |
