Source-to-source architecture transformation for performance optimization in BIP

Proceedings - 2009 IEEE International Symposium on Industrial Embedded Systems, SIES 2009

Volumn , Issue , 2009, Pages 152-160

  Bozga, Marius ^a   Jaber, Mohamad ^a   Sifakis, Joseph ^a  

^a VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ATOMIC COMPONENTS; C CODES; COMPONENT BASED; COMPONENT FRAMEWORK; COMPOSITION OPERATORS; DESIGN METHODOLOGY; INCREMENTAL CONSTRUCTION; NON-TRIVIAL; PERFORMANCE OPTIMIZATIONS; SOURCE-TO-SOURCE TRANSFORMATIONS;

EMBEDDED SYSTEMS;

EID: 70449451249     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SIES.2009.5196211     Document Type: Conference Paper

References (14)

1. M.Ajtai, J.Komlós, and E.Szemerédi, Sorting in clog n parallel steps.Combinatorica, 3(1):1-19, 1983.
2. Felice Balarin, Yosinori Watanabe, Harry Hsieh, Luciano Lavagno, Claudio Passerone, and Alberto L.Sangiovanni-Vincentelli.Metropolis: An integrated electronic system design environment.IEEE Computer, 36(4):45-52, 2003.
3. Ananda Basu, Philippe Bidinger, Marius Bozga, and Joseph Sifakis.Distributed semantics and implementation for systems with interaction and priority.In Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, and Khaled El-Fakih, editors, FORTE, volume 5048 of Lecture Notes in Computer Science, pages 116-133.Springer, 2008.
4. th IEEE Int.Conf.on Software Engineering and Formal Methods (SEFM06), pages 3-12.IEEE Computer Society, sep 2006.Invited talk.
5. Ananda Basu, Matthieu Gallien, Charles Lesire, Thanh-Hung Nguyen, Saddek Bensalem, Felix Ingrand, and Joseph Sifakis.Incremental component-based construction and verification of a robotic system.In Malik Ghallab, Constantine D.Spyropoulos, Nikos Fakotakis, and Nikolaos M.Avouris, editors, ECAI, volume 178 of Frontiers in Artificial Intelligence and Applications, pages 631-635.lOS Press, 2008.
6. Richard Vincent Bennett, Alastair Colin Murray, Björn Franke, and Nigel P.Topham.Combining source-to-source transformations and processor instruction set extensions for the automated design-space exploration of embedded systems.In Santosh Pande and Zhiyuan Li, editors, LCTES, pages 83-92.ACM, 2007.
7. Saddek Bensalem, Marius Bozga, Joseph Sifakis, and Thanh-Hung Nguyen.Compositional verification for component-based systems and application.In Sung Deok Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, and Mahesh Viswanathan, editors, ATVA, volume 5311 of Lecture Notes in Computer Science, pages 64-79.Springer, 2008.
8. BIP.http://www-verimag.imag.fr/̃async/bip.php
9. Simon Bliudze and Joseph Sifakis.Causal semantics for the algebra of connectors.In Frank S.de Boer, Marcello M.Bonsangue, Susanne Graf, and Willem P.de Roever, editors, FMCO, volume 5382 of Lecture Notes in Computer Science, pages 179-199.Springer, 2007.
10. Simon Bliudze and Joseph Sifakis.A notion of glue expressiveness for component-based systems.In Franck van Breugel and Marsha Chechik, editors, CONCUR, volume 5201 of Lecture Notes in Computer Science, pages 508-522.Springer, 2008.
11. Jacques Combaz, Jean-Claude Fernandez, Joseph Sifakis, and LOlC Strus.Symbolic quality control for multimedia applications.Real-Time Systems, 40(1):1--43, 2008.
12. Johan Eker, Jorn W.Janneck, Edward A.Lee, Jie Liu, Xiaojun Liu, J.Ludvig, Stephen Neuendorffer, S.Sachs, and Yuhong Xiong.Taming heterogeneity-the ptolemy approach.Proceedings of the IEEE, 91(1):127-144, 2003.
13. Benjamin Hindman and Dan Grossman.Atomicity via source-to-source translation.In Antony L.Hosking and Ali-Reza Adl-Tabatabai, editors, Memory System Performance and Correctness, pages 82-91.ACM, 2006.
14. David B.Loveman.Program improvement by source-to-source transformation.J.ACM, 24(1):121-145, 1977.