| Publication Type |
Manuscript |
| School or College |
College of Engineering |
| Department |
Computing, School of |
| Creator |
Regehr, John |
| Other Author |
Slind, Konrad; Gunter, Elsa |
| Title |
Proofs as a substrate for tool integration supporting high-confidence embedded software |
| Date |
2005-01-01 |
| Description |
As the size and complexity of software in safety-critical embedded systems increases, the ability of programmers to deliver these systems in a timely fashion decreases. Specific difficulties are that embedded software must interact with the physical world in real time and that it must make efficient use of resources such as memory and energy. Our work is driven by the observation that the fundamental scarcity limiting our ability to create high-confidence embedded software is human developer time. A practical and incremental solution to this problem is tool-rich software development where software tools such as verifiers, static bug finders, stub generators, and optimizing compilers automate as many development tasks as possible. |
| Type |
Text |
| Publisher |
Institute of Electrical and Electronics Engineers (IEEE) |
| Dissertation Institution |
University of Utah |
| Language |
eng |
| Bibliographic Citation |
Regehr, J., Slind, K., & Gunter, E. (2005). Proofs as a substrate for tool integration supporting high-confidence embedded software. In Proceedings of the High Confidence Medical Device Software and Systems (HCMDSS) Workshop. June. |
| Rights Management |
(c)2005 IEEE. Reprinted, with permission, from Regehr, J., Slind, K., & Gunter, E. (2005). Proofs as a substrate for tool integration supporting high-confidence embedded software.In Proceedings of the High Confidence Medical Device Software and Systems (HCMDSS) Workshop. June, 2005. |
| Format Medium |
application/pdf |
| Format Extent |
26,765 bytes |
| Identifier |
uspace,17492 |
| ARK |
ark:/87278/s65d99md |
| Setname |
ir_uspace |
| ID |
708026 |
| Reference URL |
https://collections.lib.utah.edu/ark:/87278/s65d99md |
