Robert Stärk: Abstract State Machines

Cover: 9783642621161 | Abstract State Machines | Robert Stärk (u. a.) | Taschenbuch | x

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

46,95 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 2-4 Werktage

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

Beschreibung

Quelli che s¿innamoran di pratica senza scienzia sono come ¿l nocchieri ch¿entra in navilio sanza timone o bussola, 1 che mai ha certezza dove si vada. ¿ Leonardo da Vinci Ich habe oft bemerkt, dass wir uns durch allzuvieles Symbolisieren 2 die Sprache fu ¿r die Wirklichkeit untu ¿chtig machen. ¿ Christian Morgenstern This is the place to express our thanks. First of all we thank all those who over the years have actively contributed to shaping the novel software design and analysis method explained in this book. They are too numerous to be mentioned here. They all appear in some way or the other on the following pages, in particular in the bibliographical and historical Chap. 9 which can be read independently of the book. We then thank those who have helped with detailed critical comments on the draft chapters to shape the way our arguments are presented in this book: M. B¿ orger (Diron Mu ¿nster), I. Craggs (IBMHursley),G. DelCastillo(SiemensMunc ¿ hen),U. Gl¿ asser(SimonFraser University, Vancouver,Canada),J. Huggins(Kettering University,Michigan, USA), B. Koblinger (IBM Heidelberg), P. Pa ¿ppinghaus (Siemens Munc ¿ hen), A. Preller (Universit¿ e de Montpellier, France), M. -L. Potet (INP de Gre- ble, France),W. Reisig (Humboldt-Universit¿ at zu Berlin, Germany),H. Rust (Universit¿ at Cottbus, Germany), G. Schellhorn (Universit¿ at Augsburg, G- many), B. Thalheim (Universit¿ at Cottbus, Germany) and a dozen student generationsat Universita `di Pisa. We thankM. Barmet(ETH Zur ¿ ich)for her solutions of the exercises in Chap. 8. We also thank L.

Zusammenfassung

Written for hardware-software system engineers, researchers and students, this text introduces a systems engineering method that guides the development of software and embedded hardware-software systems seamlessly from requirements capture to their implementation. It helps the designer to cope with the three stumbling-blocks of building modern software based systems: size, complexity and trustworthiness. It covers within a single conceptual framework both design, verification by reasoning techniques, and experimental validation by simulation and testing. The text contains detailed proofs, exercises, as well as numerous real-world examples and case studies.

Inhaltsverzeichnis

1 Introduction.- 1.1 Goals of the Book and Contours of its Method.- 1.2 Synopsis of the Book.- 2 ASM Design and Analysis Method.- 2.1 Principles of Hierarchical System Design.- 2.2 Working Definition.- 2.3 Explanation by Example: Correct Lift Control.- 2.4 Detailed Definition (Math. Foundation).- 2.5 Notational Conventions.- 3 Basic ASMs.- 3.1 Requirements Capture by Ground Models.- 3.2 Incremental Design by Refinements.- 3.3 Microprocessor Design Case Study.- 4 Structured ASMs (Composition Techniques).- 4.1 Turbo ASMs (seq, iterate, submachines, recursion).- 4.2 Abstract State Processes (Interleaving).- 5 Synchronous Multi-Agent ASMs.- 5.1 Robot Controller Case Study.- 5.2 Real-Time Controller (Railroad Crossing Case Study).- 6 Asynchronous Multi-Agent ASMs.- 6.1 Async ASMs: Definition and Network Examples.- 6.2 Embedded System Case Study.- 6.3 Time-Constrained Async ASMs.- 6.4 Async ASMs with Durative Actions.- 6.5 Event-Driven ASMs.- 7 Universal Design and Computation Model.- 7.1 Integrating Computation and Specification Models.- 7.2 Sequential ASM Thesis (A Proof from Postulates).- 8 Tool Support for ASMs.- 8.1 Verification of ASMs.- 8.2 Model Checking of ASMs.- 8.3 Execution of ASMs.- 9 History and Survey of ASM Research.- 9.1 The Idea of Sharpening Turing's Thesis.- 9.2 Recognizing the Practical Relevance of ASMs.- 9.3 Testing the Practicability of ASMs.- 9.4 Making ASMs Fit for their Industrial Deployment.- 9.5 Conclusion and Outlook.- References.- List of Problems.- List of Figures.- List of Tables.

Erscheinungsjahr:	2013
Genre:	Informatik , Mathematik , Medizin , Naturwissenschaften , Technik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Inhalt:	x 438 S.
ISBN-13:	9783642621161
ISBN-10:	3642621163
Sprache:	Englisch
Ausstattung / Beilage:	Paperback
Einband:	Kartoniert / Broschiert
Autor:	Stärk, Robert Börger, Egon
Auflage:	Softcover reprint of the original 1st ed. 2003
Hersteller:	Springer-Verlag GmbH Springer Berlin Heidelberg
Verantwortliche Person für die EU:	Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com
Maße:	235 x 155 x 25 mm
Von/Mit:	Robert Stärk (u. a.)
Erscheinungsdatum:	03.10.2013
Gewicht:	0,68 kg

Ähnliche Produkte