SCADE: Language and Applications by Jean-Louis BoulangerSCADE: Language and Applications by Jean-Louis Boulanger

SCADE: Language and Applications

EditorJean-Louis Boulanger, François-Xavier Fornari, Jean-Louis Camus

Hardcover | September 11, 2018

Pricing and Purchase Info

$108.00 online 
$120.00 list price
Earn 540 plum® points

Prices and offers may vary in store

Out of stock online

Not available in stores

about

The SCADE tool has been used from many years for the development of safety critical software in the nuclear, aeronautics and railways sectors. The language supported by this tool is also called SCADE and is based on the formal language LUSTRE. In this book, the authors present the SCADE language (syntax and semantics) along with some examples of use. Within the field of aeronautics, the SCADE tool is used by both Boeing and Airbus. In the railways sector, all the major companies throughout the world have used this tool. There are currently no books that present the SCADE language and tool, and thus this book will be the first to tackle this subject. It is especially useful as new versions of standards recommend that the language used in safety critical applications be formalized.

Title:SCADE: Language and ApplicationsFormat:HardcoverDimensions:304 pages, 9.41 × 7.24 × 0.98 inPublished:September 11, 2018Publisher:WileyLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:1848215576

ISBN - 13:9781848215573

Reviews

Table of Contents

1. Introduction

2. Why modelise?

3. From LUSTRE language to SCADE

4. What is a synchronous language?

5. Architecture decomposition

6. Clock management

7. The basic operators

8. Arrays and iterators

9. State machine

10. Some examples

11. Perspectives

12. Conclusion

13. Bibliography