Survival strategies for synthesized hardware systems
Name
Rinard-2009-Survival strategies for synthesized hardware systems.pdf
Size
139.19 KB
Format
Adobe PDF
Checksum (MD5)
bc982b1efa8b758398919afdc02c9e9b
Author(s)
Rinard, Martin C.
Date Issued
August 2009
Journal
7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design, 2009. MEMOCODE '09
Publisher
Institute of Electrical and Electronics Engineers
Citation
Rinard, Martin. “Survival strategies for synthesized hardware systems.” Formal Methods and Models for Co-Design, 2009. MEMOCODE '09. 7th IEEE/ACM International Conference on. 2009. 116-120. © 2009 Institute of Electrical and Electronics Engineers.
Version
Final published version
Abstract
Survival is a key concern of many complex systems. A standard approach to maximizing the likelihood of survival is to attempt to produce a system that is as free of errors as possible. We instead propose a methodology that changes the semantics of the underlying development and execution environments to cleanly and simply obtain survival guarantees that are difficult if not impossible to obtain with standard techniques. Examples of survival properties include continued execution in the face of addressing errors and guaranteed bounds on the amount of memory required during any execution of the system (even in the face of dynamic memory allocation).We summarize results for software implementations of these techniques and discuss issues and advantages that arise in the context of hardware implementations.
Subjects
Automatic Synthesis
Error Processing
High Availability
Reliability, Testing, and Fault Tolerance
Reliability
Risk Management
Semantics of Programming Languages
Storage Management
Test Generation
Validation
Verification
MIT Department
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Terms of Use
Article is made available in accordance with the publisher's policy and may be subject to US copyright law. Please refer to the publisher's site for terms of use.
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.1109/MEMCOD.2009.5185387
