| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9911006781103321 |
|
|
Autore |
Roychoudhury Abhik |
|
|
Titolo |
Embedded systems and software validation / / Abhik Roychoudhury |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Amsterdam ; ; Boston, : Morgan Kaufmann Publishers/Elsevier, c2009 |
|
|
|
|
|
|
|
ISBN |
|
1-282-25804-4 |
9786612258046 |
0-08-092125-6 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (267 p.) |
|
|
|
|
|
|
Collana |
|
The Morgan Kaufmann series in systems on silicon |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Embedded computer systems - Design and construction |
Embedded computer systems - Testing |
Computer software - Testing |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references (p. 233-239) and index. |
|
|
|
|
|
|
Nota di contenuto |
|
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 |
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 |
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 |
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 |
|
|
|
|
|
|
Sommario/riassunto |
|
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 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910139952403321 |
|
|
Titolo |
L'Argentine à l'aube du troisième millénaire |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Éditions de l’IHEAL, 1994 |
|
[Place of publication not identified], : Editions de l'IHEAL, 1994 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (240 p.) |
|
|
|
|
|
|
Collana |
|
Sâerie Essai L'Argentine áa l'aube du troisiáeme millâenaire |
|
|
|
|
|
|
Soggetti |
|
Government - Non-U.S |
Law, Politics & Government |
Government - Central & South America |
Argentina Politics and government 1983-2002 |
Argentina Economic conditions 1983- |
Argentina Foreign relations 1983-2002 |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Sommario/riassunto |
|
Cet ouvrage est le résultat d'une réflexion collective réalisée à partir de l'analyse des transformations observées, en Argentine, au niveau de la société toute entière, au début de la décennie 1990. L'inquiétude du futur dans ce pays est une réalité d'autant plus grande que les difficultés des temps présents, marqués par plusieurs décennies de crise, ont du mal à laisser la place à une reprise. Les années difficiles qui viennent de s'écouler ont affecté la structure même du modèle de développement argentin, remettant en cause les bases historiques du système productif. Le changement dépasse les dimensions purement économiques pour déborder sur le politique, le culturel, les relations sociales, l'insertion internationale et finalement le territoire. Avec l'objectif d'un marché commun, le Mercosur, l'Argentine, le Brésil, le Paraguay et l'Uruguay sont engagés dans la suppression des barrières douanières intérieures et dans la coordination de leurs politiques économiques. La disparition des frontières économiques nationales impose avec vigueur une profonde restructuration industrielle. Le |
|
|
|
|
|
|
|
|
|
|
processus intégrateur soulève la question de l'État, celle de sa force actuelle et de sa modernisation. Comment l'Argentine fera-t-elle face aux différents défis qui se présentent à elle à l'aube du troisième millénaire ? C'est à cette question qu'essaient de répondre les auteurs de ce livre. |
|
|
|
|
|
| |