{"product_id":"formal-development-of-a-network-centric-eric-verhulst-9781441997357","title":"Formal Development of a Network-Centric Rtos: Software Engineering for Reliable Embedded Systems","description":"\u003cp\u003ePart I: Trustworthy Embedded Systems.- Introduction: OpenComRTOS Role in a Unified Systems Engineering Methodology.- Requirements and Specifications for the OpenComRTOS Project.- Part II: Formal Modeling Fundamentals.- The Choice of TLA+\/TLC: Comparing Formal Methods.- Basic Formal Specification in TLA+.- Part III: OpenComRTOS Design.- Formal Modelling of the RTOS Entities.- Final Architecture of the RTOS.- Task Interaction Models in OpenComRTOS.- Results: Code Size and Performance.- Part IV: Appendix.- OpenComRTOS-Suite 1.3 Usage Tutorial.- Foundations for TLA+ and Temporal Logic.- Comparison of Formal Methods.- List of Figures.- List of Tables.- Glossary.- References.- Index.\u003cbr\u003e\u003c\/p\u003e\u003cp\u003e\u003cbr\u003e\u003c\/p\u003e\u003cp\u003e\u003cbr\u003e\u003c\/p\u003e\u003cbr\u003e\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Eric Verhulst, Raymond T. Boute, Jose Miguel Sampaio Faria\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 1441997350\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9781441997357\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Springer\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 08\/23\/2011\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 219\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Hardcover\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 1.13lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.21h x 6.14w x 0.56d","brand":"Eric Verhulst","offers":[{"title":"Hardcover","offer_id":44716400509183,"sku":"9781441997357","price":159.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_e8e05d0f-f74b-46cf-a291-c54c15e126aa.jpg?v=1705682182","url":"https:\/\/www.whiterainbookhouse.com\/products\/formal-development-of-a-network-centric-eric-verhulst-9781441997357","provider":"WR Book House","version":"1.0","type":"link"}