{"product_id":"real-time-systems-scheduling-analysis-and-verification-hardback-9780471184065","title":"Real-Time Systems; Scheduling, Analysis, and Verification (Hardback) 9780471184065","description":"\u003cfont face=\"Georgia\"\u003e\r\n\u003cp\u003e\u003cfont size=\"6\"\u003eReal-Time Systems\u003c\/font\u003e\u003cbr\u003e\r\n\u003cfont size=\"5\"\u003eScheduling, Analysis, and Verification\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\r\n\r\n\u003cp\u003e\u003cfont size=\"4\"\u003eAlbert M. K. Cheng (Author)\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e9780471184065, Wiley\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003eHardback, published 19 August 2002\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e552 pages\u003cbr\u003e24 x 16.6 x 4.3 cm, 0.901 kg\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\r\n\u003cp align=\"justify\"\u003e\u003cem\u003e\u003cfont size=\"3\"\u003e\"The author provides a substantial, up-to-date overview of the verification and validation process…\" (\u003ci\u003eComputer Magazine\u003c\/i\u003e, November 2004)  \u003cp\u003e\"The unifying discussion on the formal analysis and verification methods are especially valuable and enlightening, both for graduate students and researchers.\" (\u003ci\u003eInternational Journal of General Systems\u003c\/i\u003e, December 2003)\u003c\/p\u003e\u003c\/font\u003e\u003c\/em\u003e\u003c\/p\u003e\r\n\r\n\u003cp align=\"justify\"\u003e\u003cstrong\u003e\u003cfont size=\"3\"\u003eTest und Validierung spielen bei Echtzeitsystemen eine zentrale Rolle: Auf die Spezifikationen, die der Hersteller angibt, muss sich der Kunde hier in besonders hohem Maße verlassen können.\u003cbr\u003e \u003cbr\u003e Bisher sind zu diesem Thema nur Artikelsammlungen erschienen.\u003cbr\u003e \u003cbr\u003e Jetzt liegt endlich ein Buch vor, das sich für Fachleute und Studenten gleichermaßen eignet und dem Leser einen umfassenden Überblick über die verschiedenen existierenden Ansätze verschafft.\u003cbr\u003e \u003cbr\u003e Vor- und Nachteile jedes Verfahrens werden ausführlich beschrieben - das erleichtert die Methodenwahl in der Praxis!\u003cbr\u003e \u003cbr\u003e Der Autor ist nicht nur ein anerkannter Experte auf seinem Gebiet, sondern genießt auch einen hervorragenden pädagogischen Ruf.\u003c\/font\u003e\u003c\/strong\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003ePREFACE.\u003cbr\u003e \u003cbr\u003e LIST OF FIGURES.\u003cbr\u003e \u003cbr\u003e 1 INTRODUCTION.\u003cbr\u003e \u003cbr\u003e 1.1 What Is Time?\u003cbr\u003e \u003cbr\u003e 1.2 Simulation.\u003cbr\u003e \u003cbr\u003e 1.3 Testing.\u003cbr\u003e \u003cbr\u003e 1.4 Verification.\u003cbr\u003e \u003cbr\u003e 1.5 Run-Time Monitoring.\u003cbr\u003e \u003cbr\u003e 1.6 Useful Resources.\u003cbr\u003e \u003cbr\u003e 2 ANALYSIS AND VERIFICATION OF NON-REAL-TIME SYSTEMS.\u003cbr\u003e \u003cbr\u003e 2.1 Symbolic Logic.\u003cbr\u003e \u003cbr\u003e 2.2 Automata and Languages.\u003cbr\u003e \u003cbr\u003e 2.3 Historical Perspective and Related Work.\u003cbr\u003e \u003cbr\u003e 2.4 Summary.\u003cbr\u003e \u003cbr\u003e Exercises.\u003cbr\u003e \u003cbr\u003e 3 REAL-TIME SCHEDULING AND SCHEDULABILITY ANALYSIS.\u003cbr\u003e \u003cbr\u003e 3.1 Determining Computation Time.\u003cbr\u003e \u003cbr\u003e 3.2 Uniprocessor Scheduling.\u003cbr\u003e \u003cbr\u003e 3.3 Multiprocessor Scheduling.\u003cbr\u003e \u003cbr\u003e 3.4 Available Scheduling Tools.\u003cbr\u003e \u003cbr\u003e 3.5 Available Real-Time Operating Systems.\u003cbr\u003e \u003cbr\u003e 3.6 Historical Perspective and Related Work.\u003cbr\u003e \u003cbr\u003e 3.7 Summary.\u003cbr\u003e \u003cbr\u003e Exercises.\u003cbr\u003e \u003cbr\u003e 4 MODEL CHECKING OF FINITE-STATE SYSTEMS.\u003cbr\u003e \u003cbr\u003e 4.1 System Specification.\u003cbr\u003e \u003cbr\u003e 4.2 Clarke-Emerson-Sistla Model Checker.\u003cbr\u003e \u003cbr\u003e 4.3 Extensions to CTL.\u003cbr\u003e \u003cbr\u003e 4.4 Applications.\u003cbr\u003e \u003cbr\u003e 4.5 Complete CTL Model Checker in C.\u003cbr\u003e \u003cbr\u003e 4.6 Symbolic Model Checking.\u003cbr\u003e \u003cbr\u003e 4.7 Real-Time CTL.\u003cbr\u003e \u003cbr\u003e 4.8 Available Tools.\u003cbr\u003e \u003cbr\u003e 4.9 Historical Perspective and Related Work.\u003cbr\u003e \u003cbr\u003e 4.10 Summary.\u003cbr\u003e \u003cbr\u003e Exercises.\u003cbr\u003e \u003cbr\u003e 5 VISUAL FORMALISM, STATECHARTS, AND STATEMATE.\u003cbr\u003e \u003cbr\u003e 5.1 Statecharts.\u003cbr\u003e \u003cbr\u003e 5.2 Activity-Charts.\u003cbr\u003e \u003cbr\u003e 5.3 Module-Charts.\u003cbr\u003e \u003cbr\u003e 5.4 STATEMATE.\u003cbr\u003e \u003cbr\u003e 5.5 Available Tools.\u003cbr\u003e \u003cbr\u003e 5.6 Historical Perspective and Related Work.\u003cbr\u003e \u003cbr\u003e 5.7 Summary.\u003cbr\u003e \u003cbr\u003e Exercises.\u003cbr\u003e \u003cbr\u003e 6 REAL-TIME LOGIC, GRAPH-THEORETIC ANALYSIS, AND MODECHART.\u003cbr\u003e \u003cbr\u003e 6.1 Specification and Safety Assertions.\u003cbr\u003e \u003cbr\u003e 6.2 Event-Action Model.\u003cbr\u003e \u003cbr\u003e 6.3 Real-Time Logic.\u003cbr\u003e \u003cbr\u003e 6.4 Restricted RTL Formulas.\u003cbr\u003e \u003cbr\u003e 6.5 Checking for Unsatisfiability.\u003cbr\u003e \u003cbr\u003e 6.6 Efficient Unsatisfiability Check.\u003cbr\u003e \u003cbr\u003e 6.7 Industrial Example: NASA X-38 Crew Return Vehicle.\u003cbr\u003e \u003cbr\u003e 6.8 Modechart Specification Language.\u003cbr\u003e \u003cbr\u003e 6.9 Verifying Timing Properties of Modechart Specifications.\u003cbr\u003e \u003cbr\u003e 6.10 Available Tools.\u003cbr\u003e \u003cbr\u003e 6.11 Historical Perspective and Related Work.\u003cbr\u003e \u003cbr\u003e 6.12 Summary.\u003cbr\u003e \u003cbr\u003e Exercises.\u003cbr\u003e \u003cbr\u003e 7 VERIFICATION USING TIMED AUTOMATA.\u003cbr\u003e \u003cbr\u003e 7.1 Lynch-Vaandrager Automata-Theoretic Approach.\u003cbr\u003e \u003cbr\u003e 7.2 Alur-Dill Automata-Theoretic Approach.\u003cbr\u003e \u003cbr\u003e 7.3 Alur-Dill Region Automaton and Verification.\u003cbr\u003e \u003cbr\u003e 7.4 Available Tools.\u003cbr\u003e \u003cbr\u003e 7.5 Historical Perspective and Related Work.\u003cbr\u003e \u003cbr\u003e 7.6 Summary.\u003cbr\u003e \u003cbr\u003e Exercises.\u003cbr\u003e \u003cbr\u003e 8 TIMED PETRI NETS.\u003cbr\u003e \u003cbr\u003e 8.1 Untimed Petri Nets.\u003cbr\u003e \u003cbr\u003e 8.2 Petri Nets with Time Extensions.\u003cbr\u003e \u003cbr\u003e 8.3 Time ER Nets.\u003cbr\u003e \u003cbr\u003e 8.4 Properties of High-Level Petri Nets.\u003cbr\u003e \u003cbr\u003e 8.5 Berthomieu-Diaz Analysis Algorithm for TPNs.\u003cbr\u003e \u003cbr\u003e 8.6 Milano Group's Approach to HLTPN Analysis.\u003cbr\u003e \u003cbr\u003e 8.7 Practicality: Available Tools.\u003cbr\u003e \u003cbr\u003e 8.8 Historical Perspective and Related Work.\u003cbr\u003e \u003cbr\u003e 8.9 Summary.\u003cbr\u003e \u003cbr\u003e Exercises.\u003cbr\u003e \u003cbr\u003e 9 PROCESS ALGEBRA.\u003cbr\u003e \u003cbr\u003e 9.1 Untimed Process Algebras.\u003cbr\u003e \u003cbr\u003e 9.2 Milner's Calculus of Communicating Systems.\u003cbr\u003e \u003cbr\u003e 9.3 Timed Process Algebras.\u003cbr\u003e \u003cbr\u003e 9.4 Algebra of Communicating Shared Resources.\u003cbr\u003e \u003cbr\u003e 9.5 Analysis and Verification.\u003cbr\u003e \u003cbr\u003e 9.6 Relationships to Other Approaches.\u003cbr\u003e \u003cbr\u003e 9.7 Available Tools.\u003cbr\u003e \u003cbr\u003e 9.8 Historical Perspective and Related Work.\u003cbr\u003e \u003cbr\u003e 9.9 Summary.\u003cbr\u003e \u003cbr\u003e Exercises.\u003cbr\u003e \u003cbr\u003e 10 DESIGN AND ANALYSIS OF PROPOSITIONAL-LOGIC RULE-BASED SYSTEMS.\u003cbr\u003e \u003cbr\u003e 10.1 Real-Time Decision Systems.\u003cbr\u003e \u003cbr\u003e 10.2 Real-Time Expert Systems.\u003cbr\u003e \u003cbr\u003e 10.3 Propositional-Logic Rule-Based Programs: the EQL Language.\u003cbr\u003e \u003cbr\u003e 10.4 State-Space Representation.\u003cbr\u003e \u003cbr\u003e 10.5 Computer-Aided Design Tools.\u003cbr\u003e \u003cbr\u003e 10.6 The Analysis Problem.\u003cbr\u003e \u003cbr\u003e 10.7 Industrial Example: Analysis of the Cryogenic Hydrogen Pressure Malfunction Procedure of the Space Shuttle Vehicle Pressure Control System.\u003cbr\u003e \u003cbr\u003e 10.8 The Synthesis Problem.\u003cbr\u003e \u003cbr\u003e 10.9 Specifying Termination Conditions in Estella.\u003cbr\u003e \u003cbr\u003e 10.10 Two Industrial Examples.\u003cbr\u003e \u003cbr\u003e 10.11 The Estella-General Analysis Tool.\u003cbr\u003e \u003cbr\u003e 10.12 Quantitative Timing Analysis Algorithms.\u003cbr\u003e \u003cbr\u003e 10.13 Historical Perspective and Related Work.\u003cbr\u003e \u003cbr\u003e 10.14 Summary.\u003cbr\u003e \u003cbr\u003e Exercises.\u003cbr\u003e \u003cbr\u003e 11 TIMING ANALYSIS OF PREDICATE-LOGIC RULE-BASED SYSTEMS.\u003cbr\u003e \u003cbr\u003e 11.1 The OPS5 Language.\u003cbr\u003e \u003cbr\u003e 11.2 Cheng-Tsai Timing Analysis Methodology.\u003cbr\u003e \u003cbr\u003e 11.3 Cheng-Chen Timing Analysis Methodology.\u003cbr\u003e \u003cbr\u003e 11.4 Historical Perspective and Related Work.\u003cbr\u003e \u003cbr\u003e 11.5 Summary.\u003cbr\u003e \u003cbr\u003e Exercises.\u003cbr\u003e \u003cbr\u003e 12 OPTIMIZATION OF RULE-BASED SYSTEMS.\u003cbr\u003e \u003cbr\u003e 12.1 Introduction.\u003cbr\u003e \u003cbr\u003e 12.2 Background.\u003cbr\u003e \u003cbr\u003e 12.3 Basic Definitions.\u003cbr\u003e \u003cbr\u003e 12.4 Optimization Algorithm.\u003cbr\u003e \u003cbr\u003e 12.5 Experimental Evaluation.\u003cbr\u003e \u003cbr\u003e 12.6 Comments on Optimization Methods.\u003cbr\u003e \u003cbr\u003e 12.7 Historical Perspective and Related Work.\u003cbr\u003e \u003cbr\u003e 12.8 Summary.\u003cbr\u003e \u003cbr\u003e Exercises.\u003cbr\u003e \u003cbr\u003e BIBLIOGRAPHY.\u003cbr\u003e \u003cbr\u003e INDEX.\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003eSubject Areas: Electronics \u0026amp; communications engineering [\u003ca title=\"See our other books on Electronics \u0026amp; communications engineering\" href=\"https:\/\/freshlyprintedbooks.co.uk\/search?q=%22Electronics%20\u0026amp;%20communications%20engineering%20%5BTJ%5D%22\"\u003eTJ\u003c\/a\u003e]\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\u003c\/font\u003e","brand":"Wiley-Interscience","offers":[{"title":"Brand New","offer_id":52286271357208,"sku":"9780471184065","price":111.79,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0730\/2037\/5320\/files\/9780471184065.jpg?v=1781548385","url":"https:\/\/freshlyprintedbooks.co.uk\/products\/real-time-systems-scheduling-analysis-and-verification-hardback-9780471184065","provider":"Freshly Printed Books","version":"1.0","type":"link"}