Modeling and Simulation in Reactive Systems

  • Authors:
  • Maarten Boasson

  • Affiliations:
  • -

  • Venue:
  • WPDRTS '96 Proceedings of the 4th International Workshop on Parallel and Distributed Real-Time Systems
  • Year:
  • 1996

Quantified Score

Hi-index 0.00

Visualization

Abstract

In currently used paradigms for system development, knowledge about the objects in the system's environment is used to derive algorithms that relate events in the environment to actions. This results in implicit representation of the original knowledge in the operational system. In the majority of cases there are only very limited mechanisms for controlling these built-in behaviors, whereas for powerful decision support it is essential to be able to "experiment" both with various hypotheses of behavior of real-world entities and with possible own actions. Such simulation-like operation necessitates explicit representation of behavioral models. A new paradigm for the development of reactive systems is therefore proposed in which the behavioral models are explicitly represented and the user of the system is given direct control over these models. This will allow the user to easily express both hypotheses about intentions of real-world entities, and potential own actions necessary to meet mission goals. Through control of simulated time, the possible evolutions of the environment can then be studied directly.