Towards safe and secure organic computing applications

Zusammenfassung
In this paper we present our ongoing work on “Organic Computing”. We present an illustrative case study from program automation that uses OC-paradigms to be failure tolerant and to produce effectively. We present a way to build and verify a formal model of a self-adaptive system. We also give further ideas for formal modeling and our ideas of safety analysis of such systems. Another topic is how to build descriptive models and devising development processes for them.
  • Vollständige Referenz
  • BibTeX
Güdemann, M., Nafz, F., Reif, W. & Seebach, H., (2006). Towards safe and secure organic computing applications. In: Hochberger, C. & Liskowsky, R. (Hrsg.), INFORMATIK 2006 – Informatik für Menschen, Band 1. Bonn: Gesellschaft für Informatik e.V.. (S. 153-160).
@inproceedings{mci/Güdemann2006,
author = {Güdemann, Matthias AND Nafz, Florian AND Reif, Wolfgang AND Seebach, Hella},
title = {Towards safe and secure organic computing applications},
booktitle = {INFORMATIK 2006 – Informatik für Menschen, Band 1},
year = {2006},
editor = {Hochberger, Christian AND Liskowsky, Rüdiger} ,
pages = { 153-160 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
GI-Proceedings-93-23.pdf239.2Kb PDF Öffnen

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

ISBN: 978-3-88579-187-4
ISSN: 1617-5468
Datum: 2006
Sprache: en (en)
Typ: Text/Conference Paper
Sammlungen

Zur Langanzeige