Communicating Embedded Systems

4.11 - 1251 ratings - Source

The increased complexity of embedded systems coupled with quick design cycles to accommodate faster time-to-market requires increased system design productivity that involves both model-based design and tool-supported methodologies. Formal methods are mathematically-based techniques and provide a clean framework in which to express requirements and models of the systems, taking into account discrete, stochastic and continuous (timed or hybrid) parameters with increasingly efficient tools. This book deals with these formal methods applied to communicating embedded systems by presenting the related industrial challenges and the issues of modeling, model-checking, diagnosis and control synthesis, and by describing the main associated automated tools.Another disadvantage of using discrete time is that it is not easy to compose two
systems specified with different time scales. ... the communications), we can use
dense-time formalisms, for example, TA [ALU 94] which are finite automata
extended with real-time clocks. ... timed Iogics and these algorithms are
implemented in a variety of tools like Uppaal [AMN 01], Kronos [YOV 97], Cmc [
LAR 98, LAR 05], anbsp;...

Title

:

Communicating Embedded Systems

Author

:

Claude Jard, Olivier H. Roux

Publisher

:

John Wiley & Sons - 2013-02-04

ISBN-13

:

You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.

Once you have finished the sign-up process, you will be redirected to your download Book page.