Skip to main content
SpringerLink
Log in

Synthesis of Embedded Software

Frameworks and Methodologies for Correctness by Construction

  • Book
  • © 2010

Overview

Editors:
  1. Sandeep K. Shukla

    1. Bradley Dept. Electrical &, Computer Engineering, Virginia Tech, Blacksburg, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jean-Pierre Talpin

    1. INRIA Rennes-Bretagne Atlantique, Rennes CX, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Provides state-of-the-art research on new software engineering life-cycle for safety-critical, embedded software
  • Includes theory, methodologies, and examples of "correct by construction" software engineering
  • Allows for the design of embedded software with a reduced verification burden and guarantee of correctness
  • Offers a single source reference to the latest research, otherwise available only in disparate journals and conference proceedings
  • 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 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 149.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 109.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 (8 chapters)

  1. Front Matter

    Pages i-xv
    Download chapter PDF

  2. Compilation of Polychronous Data Flow Equations

    • Loïc Besnard, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin
    Pages 1-40

  3. Formal Modeling of Embedded Systems with Explicit Schedules and Routes

    • Julien Boucaron, Anthony Coadou, Robert de Simone
    Pages 41-78

  4. Synoptic: A Domain-Specific Modeling Language for Space On-board Application Software

    • A. Cortier, L. Besnard, J. P. Bodeveix, J. Buisson, F. Dagnat, M. Filali et al.
    Pages 79-119

  5. Compiling SHIM

    • Stephen A Edwards, Nalini Vasudevan
    Pages 121-146

  6. A Module Language for Typing SIGNAL Programs by Contracts

    • Yann Glouche, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin
    Pages 147-171

  7. MRICDF: A Polychronous Model for Embedded Software Synthesis

    • Bijoy A. Jose, Sandeep K. Shukla
    Pages 173-199

  8. The Time Model of Logical Clocks Available in the OMG MARTE Profile

    • Charles André, Julien DeAntoni, Frédéric Mallet, Robert de Simone
    Pages 201-227

  9. From Synchronous Specifications to Statically Scheduled Hard Real-Time Implementations

    • Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel
    Pages 229-262

  10. Back Matter

    Pages 263-266
    Download chapter PDF
Back to top

Keywords

About this book

Embedded software is ubiquitous today. There are millions of lines of embedded code in smart phones, and even more in systems responsible for automotive control, avionics control, weapons control and space missions. Some of these are safety-critical systems whose correctness, timely response, and reliability are of paramount importance. These requirement pose new challenges to system designers. This necessitates that a proper design science, based on "constructive correctness" be developed. Correct-by-construction design and synthesis of embedded software is done in a way so that post-development verification is minimized, and correct operation of embedded systems is maximized. This book presents the state of the art in the design of safety-critical, embedded software. It introduced readers to three major approaches to specification driven, embedded software synthesis/construction: synchronous programming based approaches, models of computation based approaches, and an approach based on concurrent programming with a co-design focused language. It is an invaluable reference for practitioners and researchers concerned with improving the product development life-cycle.

Editors and Affiliations

  • Bradley Dept. Electrical &, Computer Engineering, Virginia Tech, Blacksburg, USA

    Sandeep K. Shukla

  • INRIA Rennes-Bretagne Atlantique, Rennes CX, France

    Jean-Pierre Talpin

Bibliographic Information

  • Book Title: Synthesis of Embedded Software

  • Book Subtitle: Frameworks and Methodologies for Correctness by Construction

  • Editors: Sandeep K. Shukla, Jean-Pierre Talpin

  • DOI: https://doi.org/10.1007/978-1-4419-6400-7

  • Publisher: Springer New York, NY

  • eBook Packages: Engineering, Engineering (R0)

  • Copyright Information: Springer Science+Business Media, LLC 2010

  • Hardcover ISBN: 978-1-4419-6399-4Published: 17 September 2010

  • Softcover ISBN: 978-1-4899-8737-2Published: 20 November 2014

  • eBook ISBN: 978-1-4419-6400-7Published: 05 August 2010

  • Edition Number: 1

  • Number of Pages: XV, 266

  • Topics: Circuits and Systems, Computer-Aided Engineering (CAD, CAE) and Design

Publish with us

Policies and ethics

Back to top

Search

Navigation