Scade,9781848215573

Scade

by ; ; ;
ISBN13: 9781848215573
ISBN10: 1848215576
Format: Hardcover
Pub. Date: 2020-11-17
Publisher(s): Iste/Hermes Science Pub
Availability: This title is currently not available.
  • Free Shipping Icon

    This Item Qualifies for Free Shipping!*

    *Excludes marketplace orders.

List Price: $105.00

Rent Textbook

Select for Price
Add to Cart
There was a problem. Please try again later.

New Textbook

We're Sorry
Sold Out

Used Textbook

We're Sorry
Sold Out

eTextbook

We're Sorry
Not Available

Summary

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.

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

An electronic version of this book is available through VitalSource.

This book is viewable on PC, Mac, iPhone, iPad, iPod Touch, and most smartphones.

By purchasing, you will be able to view this book online, as well as download it, for the chosen number of days.

Digital License

You are licensing a digital product for a set duration. Durations are set forth in the product description, with "Lifetime" typically meaning five (5) years of online access and permanent download to a supported device. All licenses are non-transferable.

More details can be found here.

A downloadable version of this book is available through the eCampus Reader or compatible Adobe readers.

Applications are available on iOS, Android, PC, Mac, and Windows Mobile platforms.

Please view the compatibility matrix prior to purchase.