{"product_id":"duration-calculus-a-formal-approach-to-real-time-systems-9783540408239","title":"Duration Calculus: A Formal Approach to Real-Time Systems","description":"\u003cp\u003e • Author(s): Chaochen Zhou\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Discrete Mathematics\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cb\u003eFrom the Back Cover\u003c\/b\u003e\u003cbr\u003e\u003c\/p\u003e\u003cp\u003eReal-time systems are systems in which temporal properties are\u003cbr\u003eessential for reliability and correctness. Examples of systems where\u003cbr\u003ecorrectness and reliability are important for safety reasons include\u003cbr\u003econtrol systems for cars, trains and air planes. In devices such as\u003cbr\u003ewashing machines, DVD players and mobile phones the correctness and\u003cbr\u003ereliability of the embedded real-time computing systems are important\u003cbr\u003efor economical reasons as it is expensive to repair errors after the\u003cbr\u003eproduction phase.\u003c\/p\u003e \u003cp\u003eDuration Calculus is an interval logic having special features for\u003cbr\u003eexpressing and analysing time durations of states in real-time\u003cbr\u003esystems. Duration Calculus represents a formal approach to the\u003cbr\u003edevelopment of real-time systems, where requirements and designs can\u003cbr\u003ebe expressed and reasoned about at an appropriate level of\u003cbr\u003eabstraction.\u003c\/p\u003e \u003cp\u003eThis book presents the logical foundations of Duration Calculus in a\u003cbr\u003ecoherent and thorough manner and through selective case studies it\u003cbr\u003eexpains how Durations Calculus can be applied to formal specification\u003cbr\u003eand verification of real-time systems. The book also contains an\u003cbr\u003eextensive survey of the research on Duration Calculus.\u003c\/p\u003e \u003cp\u003eMaterial included in the book has been used for M.Sc. and\u003cbr\u003ePh.D. courses, but the book is also valuable for experienced\u003cbr\u003eresearchers and professionals.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Hardcover","offer_id":45274865631383,"sku":"9783540408239","price":7345.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783540408239.webp?v=1769281171","url":"https:\/\/atlanticbooks.com\/products\/duration-calculus-a-formal-approach-to-real-time-systems-9783540408239","provider":"Atlantic Books","version":"1.0","type":"link"}