论文信息 - The use of aggregate approach for formal specification and simulation of real-time systems

The use of aggregate approach for formal specification and simulation of real-time systems

Paper presents model of Control Area Network (CAN) protocol. The model was created using piece-linear aggregate formalism. CAN protocol is a component part of Anti-lock Braking System (ABS). The goal of performed investigations was to analyse protocol application possibilities in ABS. Created simulation model of CAN protocol permitted to evaluate waiting times of transmitted information packets. Requirements for this parameter are defined by ABS dynamical characteristics.

Henrikas Pranevicius | Dalius Makackas

[1] Michael G. Rodd,et al. Timing analysis of real-time software , 1994 .

[2] Henrikas Pranevitchius. Aggregate Approach for Specification, Validation, Simulation and Implementation of Computer Network Protocols , 1991, Baltic Computer Science.