MENÜ MENÜ  

cover

Verhaltensgarantien in selbst-organisierenden Systemen

Florian Nafz

ISBN 978-3-8325-3246-8
280 Seiten, Erscheinungsjahr: 2012
Preis: 42.00 €
Verhaltensgarantien in selbst-organisierenden Systemen
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.


Wollen auch Sie Ihre Dissertation veröffentlichen?

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

KAUFOPTIONEN

42.00 €
auf Lager
Versandkostenfrei innerhalb Deutschlands

39.50 €
52.00 €
58.50 €

(D) = innerhalb Deutschlands
(W) = außerhalb Deutschlands

*Sie können das eBook (PDF) entweder einzeln herunterladen oder in Kombination mit dem gedruckten Buch (eBundle) erwerben. Der Erwerb beider Optionen wird über PayPal abgerechnet - zur Nutzung muss aber kein PayPal-Account angelegt werden. Mit dem Erwerb des eBooks bzw. eBundles akzeptieren Sie unsere Lizenzbedingungen für eBooks.

Bei Interesse an Multiuser- oder Campus-Lizenzen (MyLibrary) füllen Sie bitte das Formular aus oder schreiben Sie eine email an order@logos-verlag.de