Kajori Banerjee

Learn More
Simulation platforms for complex networked real time systems require random input pattern generators for simulating input distributions. They also require monitors for checking whether the output of the system satisfies the desired throughput. In this paper we study the acceptance and generation problems in a setting where the constraints defining the input(More)
Model based frameworks like Simulink/Stateflow for developing software control algorithms advocate the analysis of an abstract discrete state model of the controller before developing the actual code for the implementation. Though some of the existing tools support automatic code generation from the model, in actual practice the code is developed manually(More)
  • 1