Skip to main content
EURASIP Journal on Embedded Systems
Download PDF
  • Research Article
  • Open access
  • Published:

Formal Analysis Tools for the Synchronous Aspect Language Larissa

EURASIP Journal on Embedded Systems volume 2008, Article number: 310147 (2008) Cite this article

Abstract

We present two tools for the formal analysis of the aspect language Larissa, which extends the simple synchronous language Argos. The first tool concerns the combination of design-by-contract with Larissa aspects, and shows how we can apply an aspect not only to a program, but to a specification of programs in form of a contract, and obtain a new contract. The second concerns aspect interferences, that is, aspects that influence each other in an unintended way if they are applied to the same program. We present a way to weave aspects in a less conflict-prone manner, and a means to detect remaining conflicts statically. These tools are quite powerful, compared to those available for other aspect languages.

Publisher note

To access the full article, please see PDF.

Author information

Authors and Affiliations

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

    David Stauch

Authors
  1. David Stauch
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to David Stauch.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and permissions

About this article

Cite this article

Stauch, D. Formal Analysis Tools for the Synchronous Aspect Language Larissa. J Embedded Systems 2008, 310147 (2008). https://doi.org/10.1155/2008/310147

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1155/2008/310147

Keywords