Gesellschaft fr Informatik e.V.

Lecture Notes in Informatics


INFORMATIK 2006, Informatik für Menschen, Band 1, Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2. - 6. Oktober 2006 in Dresden P-93, 153-160 (2006).


2006


Editors

Christian Hochberger, Rüdiger Liskowsky (eds.)


Contents

Towards safe and secure organic computing applications

Matthias Güdemann , Florian Nafz , Wolfgang Reif and Hella Seebach

Abstract


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.


Full Text: PDF

ISBN 978-3-88579-187-4


Last changed 24.01.2012 21:55:41