Skip to main content

Model-driven High-level Programming of Embedded Systems: Selected papers from SLA++P'07 and SLA++P'08

  1. Research Article

    Embedded Systems Programming: Accessing Databases from Esterel

    A current limitation in embedded controller design and programming is the lack of database support in development tools such as Esterel Studio. This article proposes a way of integrating databases and Esterel ...

    David White and Gerald Lüttgen

    EURASIP Journal on Embedded Systems 2009 2008:961036

    Published on: 13 January 2009

  2. Research Article

    SoC Design Approach Using Convertibility Verification

    Compositional design of systems on chip from preverified components helps to achieve shorter design cycles and time to market. However, the design process is affected by the issue of protocol mismatches, where...

    Roopak Sinha, Partha S Roop and Samik Basu

    EURASIP Journal on Embedded Systems 2008 2008:296206

    Published on: 31 December 2008

  3. Research Article

    Formal Analysis Tools for the Synchronous Aspect Language Larissa

    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 aspe...

    David Stauch

    EURASIP Journal on Embedded Systems 2008 2008:310147

    Published on: 29 April 2008

  4. Research Article

    Lutin: A Language for Specifying and Executing Reactive Scenarios

    This paper presents the language Lutin and its operational semantics. This language specifically targets the domain of reactive systems, where an execution is a (virtually) infinite sequence of input/output re...

    Pascal Raymond, Yvan Roux and Erwan Jahier

    EURASIP Journal on Embedded Systems 2008 2008:753821

    Published on: 24 January 2008