References

  1. P. Amagbégnon, L. Besnard & P. Le Guernic (1995): Implementation of the Data-flow Synchronous Language SIGNAL. In: Conference on Programming Language Design and Implementation. ACM Press, pp. 163–173, doi:10.1145/207110.207134.
  2. Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guernic & Robert de Simone (2003): The synchronous languages 12 years later. Proceedings of the IEEE 91(1), pp. 64–83, doi:10.1109/JPROC.2002.805826.
  3. G. Berry & G. Gonthier (1992): The ESTEREL synchronous programming language: design, semantics, implementation. Sci. Comput. Program. 19(2), pp. 87–152, doi:10.1016/0167-6423(92)90005-V.
  4. Dariusz Biernacki, Jean-Louis Colaço, Grégoire Hamon & Marc Pouzet (2008): Clock-directed modular code generation for synchronous data-flow languages. In: Krisztián Flautner & John Regehr: Proceedings of the 2008 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'08), Tucson, AZ, USA, June 12-13, 2008. ACM, pp. 121–130, doi:10.1145/1375657.1375674.
  5. Paul Caspi, Daniel Pilaud, Nicolas Halbwachs & John Plaice (1987): Lustre: A Declarative Language for Programming Synchronous Systems. In: Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, Munich, Germany, January 21-23, 1987. ACM Press, pp. 178–188, doi:10.1145/41625.41641.
  6. Jean-Louis Colaço, Grégoire Hamon & Marc Pouzet (2006): Mixing signals and modes in synchronous data-flow systems. In: Sang Lyul Min & Wang Yi: Proceedings of the 6th ACM & IEEE International conference on Embedded software, EMSOFT 2006, October 22-25, 2006, Seoul, Korea. ACM, pp. 73–82, doi:10.1145/1176887.1176899.
  7. Jean-Louis Colaço, Bruno Pagano & Marc Pouzet (2005): A conservative extension of synchronous data-flow with state machines. In: Wayne Wolf: EMSOFT 2005, September 18-22, 2005, Jersey City, NJ, USA, 5th ACM International Conference On Embedded Software, Proceedings. ACM, pp. 173–182, doi:10.1145/1086228.1086261.
  8. DO-178b: Software Considerations in Airborne Systems and Equipment Certification.
  9. Inc. Esterel Technologies: SCADE. Available at http://www.esterel-technologies.com/products/scade-suite/.
  10. Pierre-Loïc Garoche, Arie Gurfinkel & Temesghen Kahsai (2014): Synthesizing Modular Invariants for Synchronous Code. In: Nikolaj Bjørner, Fabio Fioravanti, Andrey Rybalchenko & Valerio Senni: Proceedings First Workshop on Horn Clauses for Verification and Synthesis, HCVS 2014, Vienna, Austria, 17 July 2014., EPTCS 169, pp. 19–30, doi:10.4204/EPTCS.169.4.
  11. Pierre-Loïc Garoche, Temesghen Kahsai & Xavier Thirioux: LustreC. Available at https://github.com/coco-team/lustrec.
  12. N. Halbwachs, P. Caspi, P. Raymond & D. Pilaud (1991): The synchronous dataflow programming language LUSTRE. In: Proceedings of the IEEE, pp. 1305–1320, doi:10.1109/5.97300.
  13. Grégoire Hamon & John M. Rushby (2004): An Operational Semantics for Stateflow. In: Michel Wermelinger & Tiziana Margaria: Fundamental Approaches to Software Engineering, 7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 Barcelona, Spain, March 29 - april 2, 2004, Proceedings, Lecture Notes in Computer Science 2984. Springer, pp. 229–243, doi:10.1007/978-3-540-24721-0_17.
  14. David Harel (1987): Statecharts: A Visual Formalism for Complex Systems. Sci. Comput. Program. 8(3), pp. 231–274, doi:10.1016/0167-6423(87)90035-9.
  15. David Harel & Michal Politi (1998): Modeling Reactive Systems with Statecharts: The Statemate Approach, 1st edition. McGraw-Hill, Inc., New York, NY, USA.
  16. Kryštof Hoder & Nikolaj Bj\IeCø rner (2012): Generalized Property Directed Reachability. In: Alessandro Cimatti & Roberto Sebastiani: Theory and Applications of Satisfiability Testing SAT 2012, LNCS 7317, pp. 157–171, doi:10.1007/978-3-642-31612-8_13.
  17. Temesghen Kahsai & Cesare Tinelli (2011): PKind: A parallel k-induction based model checker. In: Jiri Barnat & Keijo Heljanko: Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2011, Snowbird, Utah, USA, July 14, 2011., EPTCS 72, pp. 55–62, doi:10.4204/EPTCS.72.6.
  18. Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki & Edmund M. Clarke (2013): Automatic Abstraction in SMT-Based Unbounded Software Model Checking. In: Natasha Sharygina & Helmut Veith: Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings, Lecture Notes in Computer Science 8044. Springer, pp. 846–862, doi:10.1007/978-3-642-39799-8_59.
  19. Florence Maraninchi & Yann Rémond (1998): Mode-automata: About modes and states for reactive systems. In: Chris Hankin: Programming Languages and Systems, Lecture Notes in Computer Science 1381. Springer Berlin Heidelberg, pp. 185–199, doi:10.1007/BFb0053571.
  20. Inc. The MathWorks: Simulink. Available at http://www.mathworks.com/products/simulink/.
  21. Inc. The MathWorks: Stateflow. Available at http://www.mathworks.com/products/stateflow/.
  22. Andrew C. Uselton & Scott A. Smolka (1994): A Compositional Semantics for Statecharts using Labeled Transition Systems. In: Bengt Jonsson & Joachim Parrow: CONCUR '94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings, Lecture Notes in Computer Science 836. Springer, pp. 2–17, doi:10.1007/BFb0014994.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org