Skip to content

MOCCs

A Model of Computation and Communication (MOCC) is a formal framework used to describe the behavior and interaction of computational and communication processes within a system. MOCCs are essential for understanding and designing systems that involve complex interactions between different components, especially in embedded systems and real-time applications.

Discrete Event Model of Computation (DE-MOCC)

In the Discrete Event MOCC, the system's state changes at discrete points in time, triggered by events. Each event occurs instantaneously and can be prioritized. The model is particularly useful for systems where the timing of events is irregular, such as network simulations, digital circuit simulations, and certain control systems. The key features include:

  • Event-based execution: The system responds to events as they occur.
  • Discrete state transitions: Changes happen only at event times.
  • Simulation: Often used for simulating systems where events are the primary drivers of state changes.

Discrete Time Model of Computation (DT-MOCC)

In the Discrete Time MOCC, time progresses in fixed increments, and the system's state is updated at each time step. This model is suitable for applications where actions occur at regular intervals, such as digital signal processing, control systems, and synchronous circuits. The key features include:

  • Time-stepped execution: The system advances in uniform time steps.
  • Synchronous state updates: State changes occur simultaneously at each time step.
  • Regular timing: Ideal for systems with periodic behavior or sampling.

Soft Real-Time Model of Computation (SRT-MOCC)

The Soft Real-Time MOCC is designed for systems where timely processing of tasks is important, but occasional deadline misses are tolerable. It contrasts with hard real-time systems, where missing a deadline could lead to catastrophic failure. This model is applicable in multimedia applications, telecommunications, and other areas where performance degradation is acceptable but should be minimized. The key features include:

  • Timeliness with flexibility: Emphasizes meeting deadlines but tolerates occasional misses.
  • Performance optimization: Focuses on minimizing latency and maximizing throughput.
  • Graceful degradation: System performance degrades gracefully under load rather than failing abruptly.

Each MOCC provides a structured way to model and analyze the timing and interaction characteristics of a system, making it easier to design and verify complex behaviors in computational and communication processes.