{"product_id":"a-wcet-aware-compiler-design-concepts-and-realization-9783836418485","title":"A WCET-Aware Compiler- Design, Concepts and Realization","description":"\u003cp\u003e • Author(s): Paul Lokuciejewski\u003cbr\u003e • Publisher: VDM Verlag Dr. Mueller E.K.\u003cbr\u003e • Publisher Imprint: VDM Verlag Dr. Mueller E.K.\u003cbr\u003e • BISAC: General\u003c\/p\u003e\u003cp\u003eIn contrast to general-purpose systems, the correctness of real-time systems not only depends on the logical results of the computation but also on its temporal behavior specified by the worst-case execution time (WCET). Nowadays, software for embedded systems acting as real-time systems is written in high-level languages requiring the presence of a compiler. Modern compiler optimizations aim at reducing the program's average-case execution time completely ignoring the WCET. Tuning an application with respect to its worst-case execution time must be performed manually. To avoid this tedious and error-prone approach, an automation by the compiler is highly desired. This book faces this issue and describes the integration of a timing analyzer into a compiler infractructure. It presents flexible concepts describing the design and realization of a novel WCET-aware C compiler. Due to the combination of the extensive compiler knowledge on the program and the timing information, this compiler framework is best suited for the development of WCET-aware compiler optimizations. This book is intended for students but also for any reader interested in the construction of real-time compilers.\u003c\/p\u003e","brand":"VDM Verlag Dr. Mueller E.K.","offers":[{"title":"Paperback","offer_id":47586154021015,"sku":"9783836418485","price":4524.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783836418485.webp?v=1774962850","url":"https:\/\/atlanticbooks.com\/products\/a-wcet-aware-compiler-design-concepts-and-realization-9783836418485","provider":"Atlantic Books","version":"1.0","type":"link"}