Designing Embedded Systems with the SIGNAL Programming Language

pumpkin

This book is about synchronous programming for the design of, safetycritical, embedded systems, such as automotive, avionics, nuclear powerplants, telecommunication and multimedia. The techniques presentedpromote the use of formal concepts, i.e. those having a mathematicallysound basis. Such concepts enable non ambiguous and rigorous reasoningabout the critical properties of addressed systems in order to ensuretheir reliability. The synchronous programming language, SIGNAL, isused to demonstrate the pragmatic design of embedded systems. This isan invaluable tutorial/reference for scientists, practitioners andstudents.

qptom

thanks

lixqing

不错,谢谢啦!