Engineering functional requirements of reactive systems using synchronous languages

  title={Engineering functional requirements of reactive systems using synchronous languages},
  author={Erwan Jahier and Nicolas Halbwachs and Pascal Raymond},
  journal={2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES)},
Automating the functional testing of reactive systems requires to provide a formal specification of the system environment which defines the admissible test inputs. It also requires a specification of the expected properties of the system in order to decide whether a test succeeds or fails. Engineering these formal specifications is a difficult task, as it is not part of the usual manual testing process. In this paper, we report some experiments that have been conducted within a project in… CONTINUE READING


Publications citing this paper.


Publications referenced by this paper.
Showing 1-10 of 25 references

Automated functional testing of Simulink control models

  • J. Carter, L. Lin, J. Poore
  • Proceedings of 1st Workshop on Modelbased Testing…
  • 2008
1 Excerpt

Real-Time Systems: Models and verification

  • P. Caspi, G. Hamon, M. Pouzet
  • Theory and tools. ISTE,
  • 2007
1 Excerpt

Similar Papers

Loading similar papers…