Matthias Güdemann, Florian Nafz, Wolfgang Reif, Hella Seebach: Towards Safe and Secure Organic Computing Applications. INFORMATIK 2006 -- Informatik f"ur Menschen, P-93 , GI-Edition -- Lecture Notes in Informatics K, Bonn, Germany, 2006, ISBN: 978-3-88579-187-4.

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.

BibTeX (Download)

@conference{GuNaReSe:2006:SafeSecureApplications,
title = {Towards Safe and Secure Organic Computing Applications},
author = { Matthias G\"{u}demann and Florian Nafz and Wolfgang Reif and Hella Seebach},
editor = {Christian Hochberger and R\"{u}diger Liskowsky},
url = {https://cse.cs.ovgu.de/cse-wordpress/wp-content/uploads/2017/10/GI-Workshop-OC-paperID_10.pdf},
isbn = {978-3-88579-187-4},
year  = {2006},
date = {2006-09-01},
booktitle = {INFORMATIK 2006 -- Informatik f"ur Menschen},
volume = {P-93},
pages = {153--160},
publisher = {K},
address = {Bonn, Germany},
series = {GI-Edition -- Lecture Notes in Informatics},
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.},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}