SCADE / Language and Applications
Seiten
2015
ISTE Ltd and John Wiley & Sons Inc (Verlag)
978-1-84821-557-3 (ISBN)
ISTE Ltd and John Wiley & Sons Inc (Verlag)
978-1-84821-557-3 (ISBN)
SCADE explains the SCADE language and tool, which is consistently used in the development of safety critical software in nuclear, aeronautic, and railway domains. A pioneer in the SCADE subject, this book provides the syntax, semantics, and examples of the LUSTRE-based SCADE language.
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.
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.
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
| Erscheint lt. Verlag | 20.11.2020 |
|---|---|
| Verlagsort | London |
| Sprache | englisch |
| Maße | 150 x 250 mm |
| Themenwelt | Informatik ► Office Programme ► Outlook |
| ISBN-10 | 1-84821-557-6 / 1848215576 |
| ISBN-13 | 978-1-84821-557-3 / 9781848215573 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Buch | Softcover (2022)
Markt + Technik Verlag
CHF 20,90
