£69.00

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

Price data last checked 19 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 72 days · 72 data points (no recent data)

Historical
Generating forecast…
£69.00 £65.55 £66.93 £68.31 £69.69 £71.07 £72.45 08 June 2026 25 June 2026 13 July 2026 31 July 2026 18 August 2026

Price Distribution

Price distribution over 72 days • 1 price levels

Days at Price
72 days 0 18 36 54 72 £69 Days at Price

Price Analysis

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

Price range: £69 - £69

Price levels: 1 different prices over 72 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.67 06 Aug 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.81 04 Aug 2026
Connected Vehicles: Intelligent Transportation Systems (Wireless Networks)
76% match

Connected Vehicles: Intelligent Transportation Systems (Wireless Networks)

Springer

£114.66 05 Aug 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 14 Aug 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

£39.92 07 Aug 2026
The Inverse Method: Parametric Verification of Real-time Unbedded Systems (Focus Computer Engineering and IT)
75% match

The Inverse Method: Parametric Verification of Real-time Unbedded Systems (Focus Computer Engineering and IT)

Wiley

£126.17 27 Aug 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.81 08 Aug 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.21 08 Aug 2026
Current Technologies in Vehicular Communication
75% match

Current Technologies in Vehicular Communication

Springer

£87.00 03 Aug 2026
Temporal Verification of Reactive Systems: Safety
75% match

Temporal Verification of Reactive Systems: Safety

Springer

£85.07 06 Aug 2026
Embedded Software Timing: Methodology, Analysis and Practical Tips with a Focus on Automotive
75% match

Embedded Software Timing: Methodology, Analysis and Practical Tips with a Focus on Automotive

Springer

£80.23 30 Jul 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

£76.42 12 Aug 2026
Analysis and Synthesis of Distributed Real-Time Embedded Systems
75% match

Analysis and Synthesis of Distributed Real-Time Embedded Systems

Springer

£76.42 05 Aug 2026
Safety Message Broadcast in Vehicular Networks (Wireless Networks)
75% match

Safety Message Broadcast in Vehicular Networks (Wireless Networks)

Springer

£73.47 05 Aug 2026
Test and Design-for-Testability in Mixed-Signal Integrated Circuits
74% match

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

Springer

£108.01 07 Aug 2026
Test and Design-for-Testability in Mixed-Signal Integrated Circuits
74% match

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

Springer

£91.75 06 Aug 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

£108.01 06 Aug 2026
Simulation of Performance Evaluation for VANETs: Simulation of Performance Evaluation for VANETs
74% match

Simulation of Performance Evaluation for VANETs: Simulation of Performance Evaluation for VANETs

LAP Lambert Academic Publishing

£61.00 19 Aug 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 08 Aug 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

£75.58 05 Aug 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

£74.53 06 Aug 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.21 08 Aug 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

£108.01 07 Aug 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.22 01 Sep 2026