Embedded systems and software validation /
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 ha...
Saved in:
Main Author: | |
---|---|
Format: | Electronic eBook |
Language: | English |
Published: |
Amsterdam ; Boston :
Morgan Kaufmann Publishers/Elsevier,
c2009.
|
Series: | Morgan Kaufmann series in systems on silicon.
|
Subjects: | |
Online Access: | CONNECT |
MARC
LEADER | 00000cam a2200000Ma 4500 | ||
---|---|---|---|
001 | in00006090079 | ||
006 | m o d | ||
007 | cr n ||| | | ||
008 | 090316s2009 ne a ob 001 0 eng d | ||
005 | 20220712171437.2 | ||
010 | |z 2009011196 | ||
035 | |a 1WRLDSHRon1159642715 | ||
040 | |a UKBTH |b eng |c UKBTH |d OCLCF |d OCLCO | ||
015 | |a GBA946936. |2 bnb | ||
016 | 7 | |z 015180709. |2 Uk | |
020 | |a 1282258044 | ||
020 | |a 9781282258044 | ||
020 | |a 9786612258046 | ||
020 | |a 6612258047 | ||
020 | |a 0080921256 | ||
020 | |a 9780080921259 | ||
035 | |a (OCoLC)1159642715 | ||
050 | 4 | |a TK7895.E42 |b R72 2009 | |
082 | 0 | 4 | |a 004.1 |a 004.1 22 |
049 | |a TXMM | ||
100 | 1 | |a Roychoudhury, Abhik. |0 (uri) http://id.loc.gov/authorities/names/n2009016159 |0 (uri) http://viaf.org/viaf/sourceID/LC%7cn2009016159 | |
245 | 1 | 0 | |a Embedded systems and software validation / |c Abhik Roychoudhury. |
260 | |a Amsterdam ; |a Boston : |b Morgan Kaufmann Publishers/Elsevier, |c c2009. | ||
300 | |a 1 online resource (267 p.). | ||
336 | |a text |b txt |2 rdacontent | ||
337 | |a computer |b c |2 rdamedia | ||
338 | |a online resource |b cr |2 rdacarrier | ||
490 | 1 | |a The Morgan Kaufmann series in systems on silicon | |
500 | |a Description based upon print version of record. | ||
504 | |a Includes bibliographical references (p. 233-239) and index. | ||
505 | 0 | |a 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 Simulations | |
505 | 8 | |a 2.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 Converters | |
505 | 8 | |a 3.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 Cache | |
505 | 8 | |a 4.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 | |
520 | |a 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 el. | ||
546 | |a English. | ||
590 | |a O'Reilly Online Learning Platform: Academic Edition (SAML SSO Access) | ||
650 | 0 | |a Embedded computer systems |x Design and construction. | |
650 | 0 | |a Embedded computer systems |x Testing. | |
650 | 0 | |a Computer software |x Testing. | |
730 | 0 | |a WORLDSHARE SUB RECORDS | |
776 | |z 0-12-374230-7 | ||
830 | 0 | |a Morgan Kaufmann series in systems on silicon. | |
856 | 4 | 0 | |u https://go.oreilly.com/middle-tennessee-state-university/library/view/-/9780080921259/?ar |z CONNECT |3 O'Reilly |t 0 |
949 | |a ho0 | ||
994 | |a 92 |b TXM | ||
998 | |a wi |d z | ||
999 | f | f | |s 5c167882-4864-4bab-809c-ff14b0012c44 |i 9545050a-41d7-46b4-9875-9102dd9f6795 |t 0 |
952 | f | f | |a Middle Tennessee State University |b Main |c James E. Walker Library |d Electronic Resources |t 0 |e TK7895.E42 R72 2009 |h Library of Congress classification |
856 | 4 | 0 | |3 O'Reilly |t 0 |u https://go.oreilly.com/middle-tennessee-state-university/library/view/-/9780080921259/?ar |z CONNECT |