01061nam--2200337---450-99000355357020331620110725130256.0978-0-8132-1534-1000355357USA01000355357(ALEPH)000355357USA0100035535720110725d2008----km-y0itay50------baengUS||||||||001yyPlato's critique of impure reasonon goodness and truth in the republicD. C. SchindlerWashington , D.C.Catholic university of America press2008XII, 358 p.24 cmRagioneConcezione [di] PlatoneBNCF184SCHINDLER,David Christopher610365ITsalbcISBD990003553570203316II.1.A. 1462232251 L.M.II.1.A.00298118BKUMAIANNONE9020110725USA011230IANNONE9020110725USA011302Plato's critique of impure reason1116490UNISA04819nam 2200625 a 450 991100678110332120200520144314.01-282-25804-497866122580460-08-092125-6(CKB)1000000000790331(EBL)453121(OCoLC)505428281(SSID)ssj0000337102(PQKBManifestationID)11251884(PQKBTitleCode)TC0000337102(PQKBWorkID)10287904(PQKB)11616389(MiAaPQ)EBC453121(CaSebORM)9780080921259(EXLCZ)99100000000079033120090316d2009 uy 0engur|n|---|||||txtccrEmbedded systems and software validation /Abhik RoychoudhuryAmsterdam ;Boston Morgan Kaufmann Publishers/Elsevierc20091 online resource (267 p.)The Morgan Kaufmann series in systems on siliconDescription based upon print version of record.0-12-374230-7 Includes bibliographical references (p. 233-239) and index.Front Cover; Embedded Systems and Software Validation; Copyright Page; Dedication Page; Table of Contents; Acknowledgments; Preface; Chapter 1. Introduction; Chapter 2. Model Validation; 2.1 Platform versus System Behavior; 2.2 Criteria for Design Model; 2.3 Informal Requirements: A Case Study; 2.3.1 The Requirements Document; 2.3.2 Simplification of the Informal Requirements; 2.4 Common Modeling Notations; 2.4.1 Finite-State Machines; 2.4.2 Communicating FSMs; 2.4.3 Message Sequence Chart-Based Models; 2.5 Remarks About Modeling Notations; 2.6 Model Simulations; 2.6.1 FSM Simulations2.6.2 Simulating MSC-Based System Models2.7 Model-Based Testing; 2.8 Model Checking; 2.8.1 Property Specification; 2.8.2 Checking Procedure; 2.9 The SPIN Validation Tool; 2.10 The SMV Validation Tool; 2.11 Case Study: Air-Traffic Controller; 2.12 References; 2.13 Exercises; Chapter 3. Communication Validation; 3.1 Common Incompatibilities; 3.1.1 Sending/Receiving Signals in Different Order; 3.1.2 Handling a Different Signal Alphabet; 3.1.3 Mismatch in Data Format; 3.1.4 Mismatch in Data Rates; 3.2 Converter Synthesis; 3.2.1 Representing Native Protocols and Converters3.2.2 Basic Ideas for Converter Synthesis3.2.3 Various Strategies for Protocol Conversion; 3.2.4 Avoiding No-Progress Cycles; 3.2.5 Speculative Transmission to Avoid Deadlocks; 3.3 Changing a Working Design; 3.4 References; 3.5 Exercises; Chapter 4. Performance Validation; 4.1 The Conventional Abstraction of Time; 4.2 Predicting Execution Time of a Program; 4.2.1 WCET Calculation; 4.2.2 Modeling of Microarchitecture; 4.3 Interference within a Processing Element; 4.3.1 Interrupts from Environment; 4.3.2 Contention and Preemption; 4.3.3 Sharing a Processor Cache4.4 System-Level Communication Analysis4.5 Designing Systems with Predictable Timing; 4.5.1 Scratchpad Memories; 4.5.2 Time-Triggered Communication; 4.6 Emerging Applications; 4.7 References; 4.8 Exercises; Chapter 5. Functionality Validation; 5.1 Dynamic or Trace-Based Checking; 5.1.1 Dynamic Slicing; 5.1.2 Fault Localization; 5.1.3 Directed Testing Methods; 5.2 Formal Verification; 5.2.1 Predicate Abstraction; 5.2.2 Software Checking via Predicate Abstraction; 5.2.3 Combining Formal Verification with Testing; 5.3 References; 5.4 Exercises; Bibliography; Index Modern embedded systems require high performance, low cost and low power consumption. Such systems typically consist of a heterogeneous collection of processors, specialized memory subsystems, and partially programmable or fixed-function components. This heterogeneity, coupled with issues such as hardware/software partitioning, mapping, scheduling, etc., leads to a large number of design possibilities, making performance debugging and validation of such systems a difficult problem. Embedded systems are used to control safety critical applications such as flight control, automotive elMorgan Kaufmann series in systems on silicon.Embedded computer systemsDesign and constructionEmbedded computer systemsTestingComputer softwareTestingEmbedded computer systemsDesign and construction.Embedded computer systemsTesting.Computer softwareTesting.004.1Roychoudhury Abhik1823890MiAaPQMiAaPQMiAaPQBOOK9911006781103321Embedded systems and software validation4390832UNINA