Approaches to Cyber-physical System Simulation Sample Clauses

Approaches to Cyber-physical System Simulation. No one approach to simulation will meet the needs for cyber-physical devel- opment and verification. In the digital hardware verification domain, cycle- based simulation is the dominant technology. However, where delays and deadlines need to be modelled accurately, discrete time simulation will be needed. For systems where an accurate, continuous model of the environ- ment is required, continuous time simulation must be used. For many cyber- physical systems, a hybrid approach to simulation, which employs all of the cycle-based, discrete and continuous time simulation techniques, is required. Cycle-based Simulation Synchronous digital hardware can be synthesised directly from a Register Transfer Level (RTL) model description where it is assumed that all combi- national logic will settle between clock edges and therefore the fundamental unit of time is the clock tick. In a cyber-physical development where a high- level description of a system is refined so that hardware is separated from software, the hardware description will then be further refined to a cycle- based description which can be translated directly into an RTL hardware description language model for synthesis. In ADVANCE, it will be possible to simulate and model check the cycle-based description before translation. Discrete Time Simulation For hardware/software systems which combine synchronous and asynchronous behaviour, or have safety requirements concerning delays and deadlines, it is necessary to model time more accurately and introduce the notion of actual time and time units. Different components of a system may be modelled with time units of different granularity; the system must therefore be simulated at the time unit of finest granularity.