Method for analysis of the time behavior of complex distributed systems with base components such as program modules or electronic circuit modules in which the system is modeled using input event models and event streams

摘要

Method has the following steps: determination of input event models (EMy) for capture of input event streams (EE) at the input to the respective base component (B); determination of transformation functions (EMIF) for matching the input event model to the output event stream (AE); local analysis of the base component with the appropriate input event model for determination of the time behavior of the individual base components; and determination of the time behavior of the system from the time behavior of the components. The invention also relates to a corresponding computer program product and device for analysis of the time behavior of complex distributed systems