Đang chuẩn bị liên kết để tải về tài liệu:
Model-Based Design for Embedded Systems- P57

Không đóng trình duyệt đến khi xuất hiện nút TẢI XUỐNG Tải xuống

Model-Based Design for Embedded Systems- P57: This book contains information obtained from authentic and highly regarded sources. Reasonable efforts have been made to publish reliable data and information, but the author and publisher cannot assume responsibility for the validity of all materials or the consequences of their use. | 546 Model-Based Design for Embedded Systems implicitly the synchronization. This property verifies that after a cycle executed by each model both are at the same time stamp and by consequence are synchronized Definition Invariantly both processes in the Start location initial state imply the time in the continuous domain tc is equal with the time in the discrete domain td. P4 Causality principle liveness property The causality can be defined as a cause and effect relationship. The causality of two events describes to what extent one event is caused by the other. The causality is already verified by P3 for scheduled events. However when a state event is generated by the continuous domain the discrete domain has to detect this event at the same precise time the cause precedes or equals the effect time and not some other possible event existing at a different time in the continuous domain. Definition Invariantly both processes in the StEvDetect location detection of state event imply the time in the continuous tc is equal with the time in the discrete td. 16.6.6 Definition of the Internal Architecture of the Simulation Interfaces The overall continuous discrete simulation interface is formally defined using the DEVS formalism. As shown in Figure 16.4 the interface is described as a set of coupled models the continuous domain interface CDI the discrete domain interface DDI and the co-simulation bus. Figure 16.12 shows the atomic modules composing the interface used in our implementation. The specific functionalities of the interfaces were presented in Section 16.4.2. In terms of internal architecture the blocks assuring these features are For the Continuous Model Simulation Interface The State Event Indication and Time Sending block SETS The Signal Conversion and Data Exchange block SCDE The Event Detection block DED The Context Switch block CS For the Discrete Model Simulation Interface The End of Discrete Simulation Cycle Detection and Time Sending block DDTS The .