JAHUEL: A formal framework for software synthesis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3785 LNCS, Issue , 2005, Pages 204-218

  Assayad, I ^a   Bertin, V ^b   Defaut, F X ^a   Gerner, Ph ^a   Quevreux O ^a   Yovine, S ^a  

^a VERIMAG   (France)

^b STMICROELECTRONICS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; COMPUTER ARCHITECTURE; FORMAL LANGUAGES; MULTIPROCESSING SYSTEMS; PROGRAM COMPILERS; SOFTWARE PROTOTYPING;

IMPLEMENTATION FRAMEWORK; MODEL BASED DESIGN; MULTI-THREADED SOFTWARE; SOFTWARE SYNTHESIS;

SOFTWARE ENGINEERING;

EID: 33646803828     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11576280_15     Document Type: Conference Paper

References (23)

1. I. Assayad, Ph. Gerner, S. Yovine, and V. Bertin. Modelling, analysis and implementation of an on-line video encoder. In DFMA'05. IEEE Computer Society, 2005
2. Inf. tech - Coding of audio-visual objects - P. 2: Visual. Prentice Hall, ISO/IEC 14496-2:2001.
3. V. Bertin, J.M. Daveau, P. Guillaume, T. Lepley, D. Pilat, C. Richard, M. Santana, T. Thery. FlexCC2: An optimizing retargetable C compiler for DSP proc. EMSOFT'02, LNCS 2491.
4. P. Binns and S. Vestal. Formalizing software architectures for embedded systems. In EMSOFT'01. LNCS 2211, 2001.
5. A. Burns and A. Wellings. Concurrency in Ada. Cambridge University Press, 1998.
6. P. Caspi, A. Curic, A. Maignan, C. Sofronis, S. Tripakis, P. Niebert. From Simulink to SCADE/Lustre to TTA: a layered approach for distrib. embedded applications. LCTES'03.
7. A. Darte, Y. Robert, and F. Vivien. Scheduling and Automatic Parallelization. Birkhäuser, Boston, 2000.
8. J. Goguen and G. Malcolm. Algebraic Semantics of Imperative Programs. MIT Press, 1996.
9. J. Goguen, G. Wang, Young-Kwang Nam, and Kai Lin. Abstract schema morphisms and schema matching generation. Tech. Rep. DCSE, UCSD, 2004.
10. W. Groppa, E. Lusk, and A. Skjellum. Using MPI. Scientific and Engineering Computation. MIT Press, 2nd edition, November 1999.
11. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous dataflow programming language Lustre. Proc. IEEE, 79(9), Sept. 1991.
12. L.Hammond, B.A. Nayfeh, K.Olukotun. A single-chip multiprocessor. Comp., 30(9), 1997.
13. C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.
14. G. Karsai, J. Sztipanovits, A. Ledeczi, and T. Bapty. Model-integrated development of embedded software. In Proc. IEEE, 91(1), 2003.
15. M. Kersten. Comparison of the leading AOP tools. In Aspect-Oriented Software Development, AOSD'05. Industry track. Invited talk.
16. C. Kloukinas, C. Nakhli, and S. Yovine, A Methodology and Tool Support for Generating Scheduled Native Code for Real-Time Java Applications, In EMSOFT'03, LNCS 2855. 2003.
17. C. Kloukinas and S. Yovine, Synthesis of Safe, QoS Extendible, Application Specific Schedulers for Heterogeneous Real-Time Systems, In ECRTS'03, 2003.
18. www.openmp.org
19. http://ptolemy.eecs.berkeley.edu/ptolemyII
20. A. Sangiovanni-Vincentelli. Defining platform-based design. EEDesign, February 5, 2002.
21. M. Schlett. Trends in embedded-microprocessor design. IEEE Computer, 31(8), 1998.
22. J. Sifakis. Modeling real-time systems - challenges and work directions. In EMSOFT'01. LNCS 2211, 2001.
23. J. Sifakis, S. Tripakis, and S. Yovine. Building models of real-time systems from application software. Proceedings of the IEEE, 91(1):100-111, January 2003.