INSTITUT FÜR INFORMATIK Executing Safe State Machines on a Reactive Processor

[1]  Stephen A. Edwards,et al.  An Esterel Virtual Machine for Embedded Systems , 2006 .

[2]  Reinhard von Hanxleden,et al.  Synthesizing safe state machines from Esterel , 2006, LCTES '06.

[3]  John Augustine,et al.  Strip packing with precedence constraints and strip packing with release times , 2009, Theor. Comput. Sci..

[4]  Claus Traulsen,et al.  Designing a Reactive Processor with Esterel v7 A Case Study , 2008 .

[5]  Andrzej Wasowski.  On efficient program synthesis from statecharts , 2003, LCTES '03.

[6]  Partha S. Roop,et al.  Compiling Esterel for Distributed Execution , 2006 .

[7]  Partha S. Roop,et al.  Direct Execution of Esterel Using Reactive Microprocessors , 2005 .

[8]  Reinhard von Hanxleden,et al.  HW/SW co-design for Esterel processing , 2007, 2007 5th IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).

[9]  Marian Boldt,et al.  Worst Case Reaction Time Analysis of Concurrent Reactive Programs , 2008, Electron. Notes Theor. Comput. Sci..

[10]  Pascal Raymond,et al.  The synchronous data flow programming language LUSTRE , 1991, Proc. IEEE.

[11]  Zoran A. Salcic,et al.  STARPro - A new multithreaded direct execution platform for Esterel , 2009, SLAP@ETAPS.

[12]  Charles André,et al.  Semantics of S . S . M . ( Safe State Machine ) , 2003 .

[13]  Jiro Tanaka,et al.  Converting Statecharts into Java Code , 2001 .

[14]  A. Pnueli,et al.  STATEMATE: a working environment for the development of complex reactive systems , 1988, [1988] Proceedings. The Third Israel Conference on Computer Systems and Software Engineering.

[15]  Stephen A. Edwards,et al.  Predictable programming on a precision timed architecture , 2008, CASES '08.

[16]  Reinhard von Hanxleden,et al.  Statechart development beyond WYSIWYG , 2007, MODELS'07.

[17]  Gérard Berry,et al.  The Esterel Synchronous Programming Language: Design, Semantics, Implementation , 1992, Sci. Comput. Program..

[18]  Thierry Gautier,et al.  Programming real-time applications with SIGNAL , 1991, Proc. IEEE.

[19]  Xin Li,et al.  Mapping esterel onto a multi-threaded embedded processor , 2006, ASPLOS XII.