Logo des Repositoriums
 
Konferenzbeitrag

Towards safe and secure organic computing applications

Lade...
Vorschaubild

Volltext URI

Dokumententyp

Text/Conference Paper

Zusatzinformation

Datum

2006

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Gesellschaft für Informatik e.V.

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.

Beschreibung

Güdemann, Matthias; Nafz, Florian; Reif, Wolfgang; Seebach, Hella (2006): Towards safe and secure organic computing applications. INFORMATIK 2006 – Informatik für Menschen, Band 1. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 978-3-88579-187-4. pp. 153-160. Regular Research Papers. Dresden. 2.-6. Oktober 2006

Schlagwörter

Zitierform

DOI

Tags