Real-Time Simulation Technologies: Principles, Methodologies, and Applications

2 Formalized Approach for the Design of Real-Time Distributed Computer Systems

Ming Zhang, Bernard Zeigler and Xiaolin Hu

CONTENTS

2.1 Introduction

2.2 Formal Approaches to the Design of Real-Time Distributed Computer Systems

2.3 DEVS as a Model-Based Design Formalization Tool

2.3.1 Model-Based System Design

2.3.2 DEVS and RT-DEVS

2.3.3 DEVS as a Formalized Aid to System Design

2.4 DEVS-Based Formal Design Approaches for Real-Time Distributed Computing Systems

2.4.1 Design Aid for Real-Time Distributed VE

2.4.2 Design Aid and Verification for Real-Time Distributed Systems

2.4.3 DEVS Approach to the Design of Distributed Real-Time Cooperative Robotic Systems

2.5 Summary

References

2.1 Introduction

Real-time distributed computer systems combine ...