Skip to main content
SpringerLink
Log in

Designing Embedded Systems with the SIGNAL Programming Language

Synchronous, Reactive Specification

  • Book
  • © 2010

Overview

Authors:
  1. Abdoulaye Gamatie

    1. INRIA Lille - Nord Europe, Villeneuve d'Ascq, France

    View author publications

    You can also search for this author in PubMed   Google Scholar

  • Presents the best pedagogical illustration of embedded system design with a synchronous programming language
  • Offers a language and analysis techniques for the design of multi-clocked embedded systems
  • Describes a formal specification language that provides users with design and analysis tools to guarantee the reliability of safety-critical, embedded systems
  • Enables "correct-by-construction" designs for modern embedded systems, built on multiprocessor architectures
  • Includes supplementary material: sn.pub/extras

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 89.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 119.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (13 chapters)

  1. Front Matter

    Pages 1-20
    Download chapter PDF

  2. Real-Time and Synchronous Programming

    1. Front Matter

      Pages 1-1
      Download chapter PDF

  3. Real-time and synchronous programming

    1. Generalities on Real-Time Programming

      • Abdoulaye Gamatié
      Pages 3-20

    2. Synchronous Programming: Overview

      • Abdoulaye Gamatié
      Pages 21-39

  4. Elementary Concepts and Notations of SIGNAL

    1. Front Matter

      Pages 42-42
      Download chapter PDF

  5. Elementary concepts and notations of SIGNAL

    1. Basics: Signals and Relations

      • Abdoulaye Gamatié
      Pages 43-61

    2. Programming Units: Processes

      • Abdoulaye Gamatié
      Pages 63-71

    3. Extended Constructs

      • Abdoulaye Gamatié
      Pages 73-81

    4. Design in Polychrony: First Steps

      • Abdoulaye Gamatié
      Pages 83-92

  6. Formal Properties of SIGNAL Programs

    1. Front Matter

      Pages 94-94
      Download chapter PDF

  7. Formal properties of SIGNAL programs

    1. Formal Semantics

      • Abdoulaye Gamatié
      Pages 95-108

    2. Formal Model for Program Analysis

      • Abdoulaye Gamatié
      Pages 109-119

    3. Compilation of Programs

      • Abdoulaye Gamatié
      Pages 121-145

  8. Advanced Design in SIGNAL

    1. Front Matter

      Pages 148-148
      Download chapter PDF

  9. Advanced design in SIGNAL

    1. Advanced Design Concepts

      • Abdoulaye Gamatié
      Pages 149-158

    2. GALS System Design

      • Abdoulaye Gamatié
      Pages 159-170

    3. Design Patterns

      • Abdoulaye Gamatié
      Pages 171-190

    4. A Synchronization Example Design with Polychrony

      • Abdoulaye Gamatié
      Pages 191-209

  10. Back Matter

    Pages 1-47
    Download chapter PDF
Back to top

Keywords

About this book

I am very pleased to play even a small part in the publication of this book on the SIGNAL language and its environment POLYCHRONY. I am sure it will be a s- ni?cant milestone in the development of the SIGNAL language, of synchronous computing in general, and of the data?ow approach to computation. In data?ow, the computation takes place in a producer–consumer network of - dependent processing stations. Data travels in streams and is transformed as these streams pass through the processing stations (often called ?lters). Data?ow is an attractive model for many reasons, not least because it corresponds to the way p- duction,transportation,andcommunicationare typicallyorganizedin the real world (outside cyberspace). I myself stumbled into data?ow almost against my will. In the mid-1970s, Ed Ashcroft and I set out to design a “super” structured programming language that, we hoped, would radically simplify proving assertions about programs. In the end, we decided that it had to be declarative. However, we also were determined that iterative algorithms could be expressed directly, without circumlocutions such as the use of a tail-recursive function. The language that resulted, which we named LUCID, was much less traditional then we would have liked. LUCID statements are equations in a kind of executable temporallogic thatspecifythe (time)sequencesof variablesinvolvedin aniteration.

Authors and Affiliations

  • INRIA Lille - Nord Europe, Villeneuve d'Ascq, France

    Abdoulaye Gamatie

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation