G. Berry, A. Bouali, X. Fornari, E. Ledinot, E. Nassor, R. DeSimone. "Esterel: A formal method applied to avionic software development". Science of Computer Programming, 36(1), Jan. 2000, pp. 5-25. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Generation of Fault-Tolerant Static Scheduling for .. - Girault.. (2001) (1 citation) (Correct)
....are now successfully applied in industry. For instance, LUSTRE is used to develop the control software for nuclear plants and AIRBUS planes [3] ESTEREL is used to develop DSP chips for mobile phones [2] to design and verify DVD chips, and to program the flight control software of RAFALE fighters [4]. And SIGNAL is used to develop airplane engines. The key advantage pointed by these companies is that the synchronous approach has a rigorous mathematical semantics which allows the programmers to develop critical software faster and better. Synchronous languages are based upon the modeling of ....
G. Berry, A. Bouali, X. Fornari, E. Ledinot, E. Nassor, and R. de Simone. ESTEREL: a formal method applied to avionic software development. Science of Computer Programming, 36:5--25, 2000.
An Esterel Compiler for Large Control-Dominated Systems - Edwards (2002) (3 citations) (Correct)
....Example IC Nodes Lines States Threads Berry s runner 50 55 7 7 Reflex game [17] 111 74 8 11 Combination lock 154 101 33 11 GSM [10] 220 432 19 33 Turbochannel bus 412 687 287 85 Wristwatch [18] 465 1088 42 87 Comm. protocol [19] 589 10000 40 Video generator 892 948 152 138 Task sequencer [20] 1318 700 247 Shock absorber [21] 3485 2243 135 Chorus [10] 4053 1565 563 Avionics fuel 4260 4594 944 Avionics display [20] 9305 3330 The second column lists the number of IC nodes required to represent the program. The third lists the number of Esterel source lines including comments and ....
....[10] 220 432 19 33 Turbochannel bus 412 687 287 85 Wristwatch [18] 465 1088 42 87 Comm. protocol [19] 589 10000 40 Video generator 892 948 152 138 Task sequencer [20] 1318 700 247 Shock absorber [21] 3485 2243 135 Chorus [10] 4053 1565 563 Avionics fuel 4260 4594 944 Avionics display [20] 9305 3330 The second column lists the number of IC nodes required to represent the program. The third lists the number of Esterel source lines including comments and whitespace. The fourth lists the number of states the V3 compiler identified, where it was able to, and the fifth lists the number ....
G. Berry, A. Bouali, X. Fornari, E. Ledinot, E. Nassor, and R. De Simone, "Esterel: A formal method applied to avionic software development," Science of Computer Programming, vol. 36, pp. 5--25, Jan. 2000.
Compiling Esterel into Sequential Code - Edwards (2000) (14 citations) (Correct)
....lines) to realistic industrial examples (ten thousand lines) Example Inst. Lines States Threads Berry s runner 50 55 7 7 Combination lock 154 101 33 11 Turbochannel bus 412 687 287 85 Wristwatch 465 1088 42 87 Comm. protocol [9] 589 10000 40 Video generator 892 948 152 138 Task sequencer [3] 1318 700 247 Shock absorber [7] 3485 2243 135 Avionics fuel 4260 4594 944 Avionics display [3] 9305 3330 Table 1: Examples used in experiments. Inst. is the number of nodes in the ccfg before unrolling (the graphs horizontal axes) v3 ec v5a v5 1ms 100s 10s 1s 0.1s 50 100 200 ....
....Berry s runner 50 55 7 7 Combination lock 154 101 33 11 Turbochannel bus 412 687 287 85 Wristwatch 465 1088 42 87 Comm. protocol [9] 589 10000 40 Video generator 892 948 152 138 Task sequencer [3] 1318 700 247 Shock absorber [7] 3485 2243 135 Avionics fuel 4260 4594 944 Avionics display [3] 9305 3330 Table 1: Examples used in experiments. Inst. is the number of nodes in the ccfg before unrolling (the graphs horizontal axes) v3 ec v5a v5 1ms 100s 10s 1s 0.1s 50 100 200 500 1k 2k 5k 10k Source Instructions Figure 7: Average cycle times for random inputs 1 2 2 10 ....
G. Berry, A. Bouali, X. Fornari, E. Ledinot, E. Nassor, and R. De Simone. Esterel: A formal method applied to avionic software development. Science of Computer Programming, 36(1):5--25,Jan.2000.
Optimizations For Faster Execution Of Esterel Programs - Potop-Butucaru, de Simone (2004) Self-citation (De simone) (Correct)
No context found.
G erard Berry, Amar Bouali, Xavier Fornari, Emmanuel Ledinot, Eric Nassor, and Robert de Simone. Esterel: A formal method applied to avionic software development. Science of Computer Programming, 36:5--25, 2000.
A Theory of Non-Deterministic Networks - Alan Mishchenko And (2005) (Correct)
No context found.
G. Berry, A. Bouali, X. Fornari, E. Ledinot, E. Nassor, R. DeSimone. "Esterel: A formal method applied to avionic software development". Science of Computer Programming, 36(1), Jan. 2000, pp. 5-25.
Fast Redundancy Elimination Using High-Level Structural.. - Potop-Butucaru (2001) (Correct)
No context found.
Grard Berry, Amar Bouali, Xavier Fornari, Emmanuel Ledinot, Eric Nassor, and Robert de Simone. Esterel: a formal method applied to avionic software development. Science of Computer Programming, 36:525, 2000.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC