{"product_id":"9780792399360","title":"The Springer International Series in Engineering and Computer Science: The POLIS Approach","description":"\u003ch1\u003eThe Springer International Series in Engineering and Computer Science: The POLIS Approach\u003c\/h1\u003e \u003ch2\u003eBalarin, F.; Giusto, Paolo; Jurecska, Attila; Passerone, Claudio; Sentovich, Ellen; Tabbara, Bassam; Chiodo, M.; Hsieh, Harry; Lavagno, Luciano; Sangiovanni-Vincentelli, Alberto; Suzuki, Kei\u003c\/h2\u003e \u003cp\u003eEmbedded systems are informally defined as a collection of  programmable parts surrounded by ASICs and other standard components,  that interact continuously with an environment through sensors and  actuators. The programmable parts include micro-controllers and  Digital Signal Processors (DSPs). \u003cbr\u003e  Embedded systems are often used in life-critical situations, where  reliability and safety are more important criteria than performance.  Today, embedded systems are designed with an \u003cem\u003ead hoc\u003c\/em\u003e approach  that is heavily based on earlier experience with similar products and  on manual design. Use of higher-level languages such as C helps  structure the design somewhat, but with increasing complexity it is  not sufficient. Formal verification and automatic synthesis of  implementations are the surest ways to guarantee safety. \u003cbr\u003e  Thus, the POLIS system which is a co-design environment for embedded  systems is based on a formal model of computation. \u003cbr\u003e  POLIS was initiated in 1988 as a research project at the University of  California at Berkeley and, over the years, grew into a full design  methodology with a software system supporting it. \u003cbr\u003e  \u003cem\u003eHardware-Software Co-Design of Embedded Systems: The POLIS  Approach\u003c\/em\u003e is intended to give a complete overview of the POLIS  system including its formal and algorithmic aspects. \u003cbr\u003e  \u003cem\u003eHardware-Software Co-Design of Embedded Systems: The POLIS  Approach\u003c\/em\u003e will be of interest to embedded system designers  (automotive electronics, consumer electronics and telecommunications),  micro-controller designers, CAD developers and students.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1997-05-31\u003c\/p\u003e \u003cp\u003eFormat: Hardcover\u003c\/p\u003e \u003cp\u003eISBN-13: 9780792399360\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-1-4615-6127-9\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 297\u003c\/p\u003e ","brand":"Springer US","offers":[{"title":"Default Title","offer_id":45578391748748,"sku":"9780792399360","price":152.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9780792399360.jpg?v=1775009501","url":"https:\/\/lateknightbooks.com\/products\/9780792399360","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}