EURASIP Journal on Embedded Systems
Volume 2008 (2008), Article ID 310147, 18 pages
doi:10.1155/2008/310147
Research Article

Formal Analysis Tools for the Synchronous Aspect Language Larissa

David Stauch

Verimag, Centre Équation 2, Avenue de Vignate, 38610 Gières, France

Received 17 September 2007; Accepted 18 April 2008

Academic Editor: Michael Mendler

Copyright © 2008 David Stauch. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Linked References

  1. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. G. Griswold, “An oerview of aspectJ,” in Proceedings of the 15th European Conference on Object-Oriented Programming (ECOOP '01), vol. 2072 of Lecture Notes in Computer Science, pp. 327–354, Budapest, Hungary, June 2001.
  2. N. Halbwachs, Synchronous Programming of Reactive Systems, Kluwer Academic Publishers, Norwell, Mass, USA, 1993.
  3. G. Berry and G. Gonthier, “The ESTEREL synchronous programming language: design, semantics, implementation,” Science of Computer Programming, vol. 19, no. 2, pp. 87–152, 1992.
  4. F. Maraninchi and Y. Rémond, “Argos: an automaton-based synchronous language,” Computer Languages, vol. 27, no. 1–3, pp. 61–92, 2001.
  5. K. Altisen, F. Maraninchi, and D. Stauch, “Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework,” Science of Computer Programming, vol. 63, no. 3, pp. 297–320, 2006.
  6. N. Halbwachs, F. Lagnier, and P. Raymond, “Synchronous observers and the verification of reactive systems,” in Proceedings of the 3rd International Conference on Methodology and Software Technology: Algebraic Methodology and Software Technology (AMAST '93), M. Nivat, C. Rattray, T. Rus, and G. Scollo, Eds., pp. 83–96, Enschede, The Netherlands, June 1993.
  7. B. Meyer, “Applying ‘design by contract’,” Computer, vol. 25, no. 10, pp. 40–51, 1992.
  8. F. Maraninchi and L. Morel, “Logical-time contracts for reactive embedded components,” in Proceedings of the 30th Euromicro Conference on Component-Based Software Engineering Track (ECBSE '04), pp. 48–55, Rennes, France, August-September 2004.
  9. D. Stauch, “Modifying contracts with Larissa aspects,” in Proceedings of the Workshop on Model-Driven High-Level Programming of Embedded Systems (SLA++P '07), Braga, Portugal, March 2007.
  10. D. Stauch, K. Altisen, and F. Maraninchi, “Interference of Larissa aspects,” in Proceedings of the Foundations of Aspect-Oriented Languages Workshop (FOAL '06), pp. 57–65, Bonn, Germany, March 2006.
  11. L. Lamport, “Proving the correctness of multiprocess programs,” IEEE Transactions on Software Engineering, vol. 3, no. 2, pp. 125–143, 1977.
  12. D. Stauch, Larissa, an aspect-oriented language for reactive systems, Ph.D. thesis, Institut Nationale Polytechnique de Grenoble, Grenoble Cedex, France, November 2007.
  13. The Lustre tutorial, http://www-verimag.imag.fr/~raymond/edu/tp.ps.gz.
  14. Compiler for Larissa, http://www-verimag.imag.fr/~stauch/ArgosCompiler.
  15. Argos source code for the tram example, http://www-verimag.imag.fr/~stauch/ArgosCompiler/contracts.html.
  16. K. Altisen, F. Maraninchi, and D. Stauch, “Modular design of man-machine interfaces with Larissa,” in Proceedings of the 5th International Symposium on Software Composition (SC '06), pp. 291–306, Vienna, Austria, March 2006.
  17. R. Douence, P. Fradet, and M. Südholt, “Composition, reuse and interaction analysis of stateful aspects,” in Proceedings of the 3rd International Conference on Aspect-Oriented Software Development (AOSD '04), K. Lieberherr, Ed., pp. 141–150, Lancaster, UK, March 2004.
  18. M. Goldman and S. Katz, “Modular generic verification of LTL properties for aspects,” in Proceedings of the Foundations of Aspect-Oriented Languages Workshop (FOAL '06), Bonn, Germany, March 2006.
  19. J. C. Corbett, M. B. Dwyer, J. Hatcliff, et al., “Bandera: extracting finite-state models from Java source code,” in Proceedings of the 22nd International Conference on Software Engineering (ICSE '00), pp. 439–448, Limerick, Ireland, June 2000.
  20. C. Clifton and G. T. Leavens, “Obliviousness, modular reasoning, and the behavioral subtyping analogy,” Department of Computer Science, Iowa State University, Ames, Iowa, USA, December 2003.
  21. R. E. Lopez-Herrejon and D. Batory, “Improving incremental development in AspectJ by bounding quantification,” in Proceedings of the Software-Engineering Properties of Languages and Aspect Technologies Workshop (SPLAT '05), L. Bergmans, K. Gybels, P. Tarr, and E. Ernst, Eds., Chicago, Ill, USA, March 2005.
  22. A. Colyer and A. Clement, “Large-scale AOSD for middleware,” in Proceedings of the 3rd International Conference on Aspect-Oriented Software Development (AOSD '04), K. Lieberherr, Ed., pp. 56–65, Lancaster, UK, March 2004.
  23. M. Sihman and S. Katz, “Superimpositions and aspect-oriented programming,” The Computer Journal, vol. 46, no. 5, pp. 529–541, 2003.
  24. R. Pawlak, L. Duchien, and L. Seinturier, “CompAr: ensuring safe around advice composition,” in Proceedings of the 7th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS '05), vol. 3535 of Lecture Notes in Computer Science, pp. 163–178, Athens, Greece, June 2005.
  25. P. Durr, T. Staijen, L. Bergmans, and M. Aksit, “Reasoning about semantic conflicts between aspects,” in Poceedings of the 2nd European Interactive Workshop on Aspects in Software (EIWAS '05), K. Gybels, M. D'Hondt, I. Nagy, and R. Douence, Eds., Brussels, Belgium, September 2005.
  26. D. Balzarotti, A. C. D'Ursi, L. Cavallaro, and M. Monga, “Slicing aspectJ woven code,” in Proceedings of the Foundations of Aspect-Oriented Languages Workshop (FOAL '05), G. T. Leavens, C. Clifton, and R. Lämmel, Eds., Chicago, Ill, USA, March 2005.