Step-wise + Algorithmic debugging for Reactive Programs: Ludic, a debugger for Lustre

@inproceedings{Maraninchi2000StepwiseA,
  title={Step-wise + Algorithmic debugging for Reactive Programs: Ludic, a debugger for Lustre},
  author={Florence Maraninchi and Fabien Gaucher},
  booktitle={AADEBUG},
  year={2000}
}
For safety-critical reactive systems (in avionics, transportation, nuclear plants, etc.), a lot of eeort has been put on the deenition of safe languages, with a formal semantics. In the synchronous approach, several languages with distinct programming styles share a common simple view of the world that helps reasoning about programs formally: systems react in zero time. Formal veriication and testing tools have been developed, based upon the formal semantics. But there are very few attempts at… CONTINUE READING