{"product_id":"9781461430094","title":"Embedded Systems: Predictable and Composable Real-Time Systems","description":"\u003ch1\u003eEmbedded Systems: Predictable and Composable Real-Time Systems\u003c\/h1\u003e \u003ch2\u003eAkesson, Benny; Goossens, Kees\u003c\/h2\u003e \u003cp\u003e\u003c\/p\u003e\u003cp\u003eVerification of real-time requirements in systems-on-chip becomes more complex as more applications are integrated. Predictable and composable systems can manage the increasing complexity using formal verification and simulation. This book explains the concepts of predictability and composability and shows how to apply them to the design and analysis of a memory controller, which is a key component in any real-time system.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2013-10-27\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9781461430094\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-1-4419-8207-0\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 222\u003c\/p\u003e ","brand":"Springer New York","offers":[{"title":"Default Title","offer_id":46917388959884,"sku":"9781461430094","price":134.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9781461430094.jpg?v=1774499228","url":"https:\/\/lateknightbooks.com\/products\/9781461430094","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}