Towards safe and secure organic computing applications

dc.contributor.author	Güdemann, Matthias
dc.contributor.author	Nafz, Florian
dc.contributor.author	Reif, Wolfgang
dc.contributor.author	Seebach, Hella
dc.contributor.editor	Hochberger, Christian
dc.contributor.editor	Liskowsky, Rüdiger
dc.date.accessioned	2019-06-12T12:32:09Z
dc.date.available	2019-06-12T12:32:09Z
dc.date.issued	2006
dc.description.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.	en
dc.identifier.isbn	978-3-88579-187-4
dc.identifier.pissn	1617-5468
dc.identifier.uri	https://dl.gi.de/handle/20.500.12116/23669
dc.language.iso	en
dc.publisher	Gesellschaft für Informatik e.V.
dc.relation.ispartof	INFORMATIK 2006 – Informatik für Menschen, Band 1
dc.relation.ispartofseries	Lecture Notes in Informatics (LNI) - Proceedings, Volume P-93
dc.title	Towards safe and secure organic computing applications	en
dc.type	Text/Conference Paper
gi.citation.endPage	160
gi.citation.publisherPlace	Bonn
gi.citation.startPage	153
gi.conference.date	2.-6. Oktober 2006
gi.conference.location	Dresden
gi.conference.sessiontitle	Regular Research Papers

Dateien

1 - 1 von 1