TTCAN: a new time-triggered controller area network

Leen, Gabriel; Heffernan, Donal

doi:10.1016/s0141-9331(01)00148-x

Cited by 129 publications

(74 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The resource considered in this paper is a resource with full availability. Modeling hierarchical scheduling such as FPNS/TDMA (Time Division multiple access) which is used in TT-CAN [8] is part of future work.…”

Section: Discussionmentioning

confidence: 99%

Modeling Fixed Priority Non-Preemptive Scheduling with Real-Time Calculus

Chokshi

Bhaduri

2008

2008 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications

View full text Add to dashboard Cite

Modern real-time embedded systems are highly heterogeneous and distributed. As a result, compositional methods play an important role in the design and analysis of such complex systems. One such compositional analysis method is based on Real-Time Calculus [4,14]. In this paper, we present an analysis of fixed priority non-preemptive scheduling with the Real-Time Calculus. Although fixed priority non-preemptive scheduling was modeled with the Real-Time Calculus previously [7], we show that the model gives overly pessimistic results. We also compare our analysis with the existing holistic scheduling analysis [10,3] through an example of a system using a Controller Area Network (CAN) bus [5]. The proposed method can be automated by incorporating it in the RTC Toolbox [13].

show abstract

Section: Discussionmentioning

confidence: 99%

Modeling Fixed Priority Non-Preemptive Scheduling with Real-Time Calculus

Chokshi

Bhaduri

2008

2008 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications

View full text Add to dashboard Cite

show abstract

“…This interrupt may drive a task scheduler (a restricted form of real-time operating system). The scheduler will-in turn-release the system tasks at predetermined points in time [12].…”

Section: Related Workmentioning

confidence: 99%

Towards a RBAC Workflow Model for Thesis Management

Liu¹,

Zhou²,

Chen³

et al. 2015

JSW

View full text Add to dashboard Cite

Abstract:The traditional manual way of thesis management is increasingly satisfying the demand of thesis guidance and administrative management in the information age. To improve the traditional manual undergraduate thesis writing, guidance and administrative management process in Southwest University of China, a Role-based access control (RBAC) Workflow model for thesis management is developed. In the RBAC workflow model, role's authorization to users and permission's authorization to roles are activated by time-triggered and task-based principle. The thesis management system based on the RBAC Workflow model is available, and this system is evaluated by means of practical application. The comparison results of this system can effectively reduce the workload of undergraduate thesis work, monitor thesis writing and guidance, enhancing the informatization level of undergraduate thesis work massively.

show abstract

“…Currently, the CAN protocol is one of the most popular communications protocols used in these types of networks [6]. CAN is an asynchronous event-triggered protocol, meaning that events are sent around the network as they occur.…”

Section: Ttcan Protocolmentioning

confidence: 99%

Model Checking a TTCAN Implementation

Keating

McInnes

Hayes

2011

2011 Fourth IEEE International Conference on Software Testing, Verification and Validation

View full text Add to dashboard Cite

This paper describes how the SPIN model checker has been applied to find and correct problems in the software design of a distributed vessel control system currently under development at a control systems specialist in New Zealand. The system under development is a mission critical control system used on large marine vessels. Hence, the requirement to study the architecture and verify the implementation of the system. The model checking work reported here focused on analysing the implementation of the TimeTriggered Controller-Area-Network (TTCAN) protocol, as this is used as the backbone for communications between devices and thus is a crucial part of the control system. The starting point was to develop a set of general techniques for model checking TTCAN-like protocols. The techniques developed include modelling the progression of time efficiently in SPIN, TTCAN message transmission, TTCAN error handling, and CAN bus arbitration. These techniques form the basis of a set of models developed to check the implementation of TTCAN in the control system as well as the fault tolerance schemes added to the system. Descriptions of the models and properties developed to check the correctness of the implementation are given, and verification results are presented and discussed. This application of model checking to an industrial design problem has uncovered and corrected a number of potentially costly issues in the original design.

show abstract

TTCAN: a new time-triggered controller area network

Cited by 129 publications

References 12 publications

Modeling Fixed Priority Non-Preemptive Scheduling with Real-Time Calculus

Modeling Fixed Priority Non-Preemptive Scheduling with Real-Time Calculus

Towards a RBAC Workflow Model for Thesis Management

Model Checking a TTCAN Implementation

Contact Info

Product

Resources

About