MENÜ MENÜ  

cover

Verhaltensgarantien in selbst-organisierenden Systemen

Florian Nafz

ISBN 978-3-8325-3246-8
280 pages, year of publication: 2012
price: 42.00 €
Zukünftige Systeme erfordern ein hohes Maß an Flexibilität, um den wachsenden Anforderungen gerecht zu werden. Gleichzeitig werden technische Systeme in mehr und mehr Bereichen eingesetzt und sollen dabei vielfältigste Aufgaben übernehmen. Selbst-Organisation ist ein Ansatz um robuste und anpassungsfähige Systeme zu entwickeln, welche auch bei unerwarteten Störungen ihren Anforderungen gerecht werden, indem sie Entscheidungen von der Designzeit in die Laufzeit verlagern. Um auch in sicherheitskritischen Anwendungen von den Vorteilen der Selbst-Organisation profitieren zu können, werden Techniken benötigt, die es erlauben, trotz der Selbst-Organisation, Verhaltensgarantien abzugeben.

Dieses Buch stellt einen Spezifikations- und Verifikationsansatz für selbst-organisierende Systeme vor. Mit dem Restore-Invariant-Ansatz wird eine Technik vorgestellt, die es erlaubt, einen Verhaltenskorridor für ein System zu spezifizieren. Dabei wird das Verhalten des Systems auf das gewünschte Verhalten eingeschränkt, ohne dabei das System in seiner Flexibilität und seinen Entscheidungsmöglichkeiten zu beinträchtigen. Der vorgestellte Ansatz ermöglicht die Abgabe von Verhaltensgarantien in selbst-organisierenden Systemen und sorgt damit dafür, dass auch sicherheitskritische Systeme von den Vorteilen der Selbst-Organisation profitieren können.

cover cover cover cover cover cover cover cover cover
Keywords:
  • Selbst-organisierende Systeme
  • Formale Methoden
  • Softwaretechnik
  • Organic Computing

Buying Options

42.00 €

39.50 €
52.00 €
58.50 €

(D) = Within Germany
(W) = Abroad

*You can purchase the eBook (PDF) alone or combined with the printed book (eBundle). In both cases we use the payment service of PayPal for charging you - nevertheless it is not necessary to have a PayPal-account. With purchasing the eBook or eBundle you accept our licence for eBooks.

For multi-user or campus licences (MyLibrary) please fill in the form or write an email to order@logos-verlag.de