Development and Formal Verification of TTCAN: TimeTriggered Controller Area Network,Used

Development and Formal Verification of TTCAN: TimeTriggered Controller Area Network,Used

In Stock
SKU: DADAX383833728X
Brand: LAP Lambert Academic Publishing
Sale price$134.18 Regular price$191.69
Save $57.51
Quantity
Add to wishlist
Add to compare

Processing time: 1-3 days

US Orders Ships in: 3-5 days

International Orders Ships in: 8-12 days

Return Policy: 15-days return on defective items

Payment Option
Payment Methods

Help

If you have any questions, you are always welcome to contact us. We'll get back to you as soon as possible, withing 24 hours on weekdays.

Customer service

All questions about your order, return and delivery must be sent to our customer service team by e-mail at yourstore@yourdomain.com

Sale & Press

If you are interested in selling our products, need more information about our brand or wish to make a collaboration, please contact us at press@yourdomain.com

Analysis estimates that more than 80% of all current innovations within vehicles are based on distributed electronic systems. Critical to the functionality and application domain of such systems are the services provided by the underlying distributed control networks. Current advances in control networking technology indicate that timetriggered architectures offer improvements in the deterministic behavior of such networks and as such make them particularly appropriate for safety critical and realtime applications. This book presents novel work on the formal specification and formal verification of a new timetriggered protocol: ISO 118984 (draft), time triggered communication on Controller Area Network (TTCAN). TTCAN is based on the most widely adopted invehicle network ? Controller Area Network (CAN). The formal verification research described has been conducted in parallel with the development of the International Standards Organisation TTCAN protocol specification.

⚠️ WARNING (California Proposition 65):

This product may contain chemicals known to the State of California to cause cancer, birth defects, or other reproductive harm.

For more information, please visit www.P65Warnings.ca.gov.

Recently Viewed