cover

Verhaltensgarantien in selbst-organisierenden Systemen

Florian Nafz
ISBN 978-3-8325-3246-8
280 Seiten, Erscheinungsjahr: 2012
Preis: 42.00 EUR

Stichworte/keywords: Selbst-organisierende Systeme, Formale Methoden, Softwaretechnik, Organic Computing

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.

Exemplar(e)

Dieses Buch ist auch als eBook (PDF) erhätlich. Sie können es entweder als reines eBook 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.

eBook:    39.50 EUR ->

eBundle: 52.00 EUR ->
innerhalb Deutschlands (versandkostenfrei):          
außerhalb Deutschlands (Versandkosten: 4 EUR):

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


Wollen auch Sie Ihre Dissertation veröffentlichen?