Ensuring correct self-reconfiguration in safety-critical applications by verified result checking

@inproceedings{Fischer2011EnsuringCS,
  title={Ensuring correct self-reconfiguration in safety-critical applications by verified result checking},
  author={Peter Fischer and Florian Nafz and Hella Seebach and Wolfgang Reif},
  booktitle={OC '11},
  year={2011}
}
The application of Organic Computing techniques, which often involves nature-inspired algorithms, to safety-critical systems depends mainly on whether behavioral guarantees can be provided or not. Self-x algorithms sometimes return incorrect results. For example, if learning or similar methods are involved. To allow the use of such algorithms even if they sometimes return incorrect results, adequate techniques are needed. Verified result checking which is presented in this paper provides an… CONTINUE READING