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… CONTINUE READING