Sinossi
List of Figures. List of Tables. Foreword; H. Kopetz. Preface. 1. Introduction. 2. Requirements and Boundary Conditions for Testing. 3. The Influence of the System Architecture. 4. A Test Methodology for MARS. 5. Environment Simulation. 6. Experiments. 7. Tool Support. 8. Integration with the Design Environment. 9. Testing Event-Triggered Systems. 10. Conclusions. A: An Overview of MARS and MARDS. Bibliography. Index.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
