Survival strategies for synthesized hardware systems
Author(s)Rinard, Martin C.
MetadataShow full item record
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.
DepartmentMassachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory; Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design, 2009. MEMOCODE '09
Institute of Electrical and Electronics Engineers
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.
Final published version
Automatic Synthesis, Error Processing, High Availability, Reliability, Testing, and Fault Tolerance, Reliability, Risk Management, Semantics of Programming Languages, Storage Management, Test Generation, Validation, Verification