Designing Embedded Systems with the SIGNAL Programming Language
Book Name : Designing Embedded Systems with the SIGNAL Programming Language: Synchronous, Reactive Specification
Abdoulaye Gamatié,S..r | 2009 | ISBN: 1441909400 | 260 pages | File type: PDF | 2,9 mb
This book is about synchronous programming for the design of, safety critical, embedded systems, such as automotive, avionics, nuclear power plants, telecommunication and multimedia. The techniques presented promote the use of formal concepts, i.e. those having a mathematically sound basis. Such concepts enable non ambiguous and rigorous reasoning about the critical properties of addressed systems in order to ensure their reliability. The synchronous programming language, SIGNAL, is used to demonstrate the pragmatic design ofembedded systems. This is an invaluable tutorial/reference for scientists, practitioners and students.
Download : Designing Embedded Systems with the SIGNAL Programming Language | Mirror
If you enjoyed this post, please consider to leave a comment or subscribe to the feed and get future articles delivered to your feed reader.

Comments
No comments yet.
Leave a comment