£69.00

LAP Lambert Academic Publishing Development and Formal Verification of TTCAN: Time-Triggered Controller Area Network

Price data last checked 20 day(s) ago - will refresh soon

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

It has never been this cheap. We have no record of a lower price.

£69 today · cheaper than every other day in the last 3 months

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey
↓ Forecast
where the price is heading next
↓ Statistics
all-time high & low, recent range
↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 71 days • 71 data points (No recent data available)

Historical
Generating forecast...
£69.00 £65.55 £66.93 £68.31 £69.69 £71.07 £72.45 06 April 2026 23 April 2026 11 May 2026 28 May 2026 15 June 2026

Price Distribution

Price distribution over 71 days • 1 price levels

Days at Price
71 days 0 18 36 53 71 £69 Days at Price

Price Analysis

Most common price: £69 (71 days, 100.0%)

Price range: £69 - £69

Price levels: 1 different prices over 71 days

Description

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 time-triggered architectures offer improvements in the deterministic behavior of such networks and as such make them particularly appropriate for safety- critical and real-time applications. This book presents novel work on the formal specification and formal verification of a new time-triggered protocol: ISO 11898-4 (draft), time triggered communication on Controller Area Network (TTCAN). TTCAN is based on the most widely adopted in-vehicle 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.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
09 April 2010
Listed Since
15 April 2010

Barcode

No barcode data available

Similar Products You Might Like

Understanding and Using the Controller Area Network Communication Protocol: Theory and Practice
81% match

Understanding and Using the Controller Area Network Communication Protocol: Theory and Practice

Springer

£80.64 29 May 2026
Model-Driven Design Using IEC 61499: A Synchronous Approach for Embedded and Automation Systems
77% match

Model-Driven Design Using IEC 61499: A Synchronous Approach for Embedded and Automation Systems

Springer

£75.11 21 May 2026
Connected Vehicles: Intelligent Transportation Systems (Wireless Networks)
76% match

Connected Vehicles: Intelligent Transportation Systems (Wireless Networks)

Springer

£114.66 24 May 2026
Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems
76% match

Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems

Springer

£131.50 12 Jun 2026
Time-Delay Systems: Analysis and Control Using the Lambert W Function
75% match

Time-Delay Systems: Analysis and Control Using the Lambert W Function

World Scientific Publishing Company

£50.00 02 Jun 2026
Intelligent Transportation Systems: Dependable Vehicular Communications for Improved Road Safety: 52 (Studies in Systems, Decision and Control, 52)
75% match

Intelligent Transportation Systems: Dependable Vehicular Communications for Improved Road Safety: 52 (Studies in Systems, Decision and Control, 52)

Springer

£75.10 06 Jun 2026
Fieldbus Technology: Industrial Network Standards for Real-Time Distributed Control
75% match

Fieldbus Technology: Industrial Network Standards for Real-Time Distributed Control

Springer

£148.05 04 Jun 2026
Current Technologies in Vehicular Communication
75% match

Current Technologies in Vehicular Communication

Springer

£87.00 15 May 2026
Temporal Verification of Reactive Systems: Safety
75% match

Temporal Verification of Reactive Systems: Safety

Springer

£84.68 29 May 2026
The Testability of Distributed Real-Time Systems: 245 (The Springer International Series in Engineering and Computer Science, 245)
75% match

The Testability of Distributed Real-Time Systems: 245 (The Springer International Series in Engineering and Computer Science, 245)

Springer

£77.37 11 Jun 2026
Analysis and Synthesis of Distributed Real-Time Embedded Systems
75% match

Analysis and Synthesis of Distributed Real-Time Embedded Systems

Springer

£76.38 26 May 2026
Safety Message Broadcast in Vehicular Networks (Wireless Networks)
75% match

Safety Message Broadcast in Vehicular Networks (Wireless Networks)

Springer

£72.63 25 May 2026
Test and Design-for-Testability in Mixed-Signal Integrated Circuits
74% match

Test and Design-for-Testability in Mixed-Signal Integrated Circuits

Springer

£107.98 02 Jun 2026
Test and Design-for-Testability in Mixed-Signal Integrated Circuits
74% match

Test and Design-for-Testability in Mixed-Signal Integrated Circuits

Springer

£92.91 27 May 2026
Analog and Mixed-Signal Boundary-Scan: A Guide to the IEEE 1149.4 Test Standard: 16 (Frontiers in Electronic Testing, 16)
74% match

Analog and Mixed-Signal Boundary-Scan: A Guide to the IEEE 1149.4 Test Standard: 16 (Frontiers in Electronic Testing, 16)

Springer

£107.27 29 May 2026
Internet of Vehicles and its Applications in Autonomous Driving (Unmanned System Technologies)
74% match

Internet of Vehicles and its Applications in Autonomous Driving (Unmanned System Technologies)

Springer

£137.95 05 Jun 2026
Real-Time Modelling and Processing for Communication Systems: Applications and Practices: 29 (Lecture Notes in Networks and Systems, 29)
74% match

Real-Time Modelling and Processing for Communication Systems: Applications and Practices: 29 (Lecture Notes in Networks and Systems, 29)

Springer

£74.27 25 May 2026
Emerging Technologies for Connected Internet of Vehicles and Intelligent Transportation System Networks: Emerging Technologies for Connected and Smart ... in Systems, Decision and Control, 242)
74% match

Emerging Technologies for Connected Internet of Vehicles and Intelligent Transportation System Networks: Emerging Technologies for Connected and Smart ... in Systems, Decision and Control, 242)

Springer

£73.82 30 May 2026
Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / PSTV XIX’99: 28 (IFIP Advances in Information and Communication Technology, 28)
74% match

Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / PSTV XIX’99: 28 (IFIP Advances in Information and Communication Technology, 28)

Springer

£148.05 04 Jun 2026
Testing of Communicating Systems: Proceedings of the IFIP TC6 11th International Workshop on Testing of Communicating Systems (IWTCS’98) August ... Information and Communication Technology, 3)
74% match

Testing of Communicating Systems: Proceedings of the IFIP TC6 11th International Workshop on Testing of Communicating Systems (IWTCS’98) August ... Information and Communication Technology, 3)

Springer

£120.48 01 Jun 2026
Industrial Sensors and Controls in Communication Networks: From Wired Technologies to Cloud Computing and the Internet of Things (Computer Communications and Networks)
74% match

Industrial Sensors and Controls in Communication Networks: From Wired Technologies to Cloud Computing and the Internet of Things (Computer Communications and Networks)

Springer

£92.18 24 Jun 2026
Recent Development in Wireless Sensor and Ad-hoc Networks (Signals and Communication Technology)
74% match

Recent Development in Wireless Sensor and Ad-hoc Networks (Signals and Communication Technology)

Springer

£86.90 20 Jun 2026
Creating Assertion-Based IP (Integrated Circuits and Systems)
74% match

Creating Assertion-Based IP (Integrated Circuits and Systems)

Springer

£80.64 11 Jun 2026
Embedded Control System Design: A Model Based Approach
74% match

Embedded Control System Design: A Model Based Approach

Springer

£100.08 10 Jun 2026