{"product_id":"9781848211438","title":"Communicating Embedded Systems Software and Design","description":"\u003ch1\u003eCommunicating Embedded Systems\u003c\/h1\u003e\u003ch2\u003eSoftware and Design\u003c\/h2\u003e\u003ch3\u003eClaude Jard | Olivier H. Roux\u003c\/h3\u003e\u003cdiv\u003e\u003cb\u003eComputers \/ Software Development \u0026amp; Engineering \/ General\u003c\/b\u003e\u003c\/div\u003e\u003cbr\u003e\u003cdiv\u003eThe 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.  \u003cp\u003eFormal 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.\u003c\/p\u003e \u003cp\u003eThis 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.\u003c\/p\u003e\n\u003c\/div\u003e\u003cdiv\u003e  \u003cp\u003e\u003cstrong\u003eClaude Jard\u003c\/strong\u003e is full professor at ENS Cachan Campus of Ker-Lann. His research works relate to the formal analysis of asynchronous parallel systems. \u003c\/p\u003e\n\u003cp\u003e\u003cstrong\u003eOlivier H. Roux\u003c\/strong\u003e is an Assistant Professor at Nantes University and his research focusses on validation and verification of embedded systems, real-time and hybrid systems. \u003c\/p\u003e\n\u003c\/div\u003e\u003cbr\u003e\u003ctable\u003e\n\u003ctr\u003e\n\u003ctd\u003ePublication Date: \u003c\/td\u003e\n\u003ctd\u003e14 December 2009\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003ePublisher: \u003c\/td\u003e\n\u003ctd\u003eWiley\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003eImprint: \u003c\/td\u003e\n\u003ctd\u003eWiley-ISTE\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003eISBN-13: \u003c\/td\u003e\n\u003ctd\u003e9781848211438\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003eFormat: \u003c\/td\u003e\n\u003ctd\u003eHardback\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003ePage Count: \u003c\/td\u003e\n\u003ctd\u003e288\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003eWeight (oz): \u003c\/td\u003e\n\u003ctd\u003e18.4\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003c\/table\u003e","brand":"Wiley","offers":[{"title":"Default Title","offer_id":44311148757132,"sku":"9781848211438","price":160.16,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9781848211438_312b2f7e-b415-455a-a6e9-a7d86c4b52af.jpg?v=1780234126","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9781848211438","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}