Asynchrony and real-time dependable computing

Lann, Gérard Le

doi:10.1109/words.2003.1218061

Cited by 10 publications

(6 citation statements)

References 21 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…TIA adopts a simple rule that there are no restraints on timing; only the order of signals is important. Unlike time-free communications [11], order of signals is important and gross error conditions such as a host lockup may be corrected with time-outs. TIA allows no timing requirements on an individual signal, nor any timing relationship between signals.…”

Section: Tia Communicationsmentioning

confidence: 99%

A New Time Independent Asynchronous Protocol and Its Applications

Radcliffe

2007

IEEE Trans. Ind. Inf.

View full text Add to dashboard Cite

Communications to, or between, low-end microprocessors within a product always comes at a cost. This paper develops a new, economic solution that will be useful in a variety of cost-sensitive applications. This paper starts by identifying the properties of an inter-microprocessor communications system that adds minimal cost to a product and enables the use of lower price microprocessors. This leads us to introduce a new category of communications called time independent asynchronous (TIA) communications. An economic 2-wire TIA communications protocol is developed and described using timing diagrams. The protocol is modeled using signal transition graphs (STGs), which are found to have some limitations, and so a modification is developed called STG for threads (STG-FT). Two-wire TIA is simulated to confirm livelock and deadlock properties. An implementation is created that verifies the simulation results, and the performance is reported. Finally, a novel application of 2-wire TIA is discussed.

show abstract

Section: Tia Communicationsmentioning

confidence: 99%

A New Time Independent Asynchronous Protocol and Its Applications

Radcliffe

2007

IEEE Trans. Ind. Inf.

View full text Add to dashboard Cite

show abstract

“…Unlike Time Free communications [5], gross error conditions such as a host lockup may be corrected with time-outs. For normal signalling there are no timing requirements on an individual signal, nor any timing relationship between signals.…”

Section: Tia Communicationsmentioning

confidence: 99%

A Novel Time Independent Asynchronous Communication Protocol&Its Applications

Radcliffe

2006

IECON 2006 - 32nd Annual Conference on IEEE Industrial Electronics

View full text Add to dashboard Cite

“…The apparent contradiction between asynchrony and timeliness is in fact unreal, and can be easily circumvented by resorting to the "design immersion" principle (see [2] for a detailed exposition). Very briefly, let us explain the general ideas.…”

Section: Real-time and Asynchronymentioning

confidence: 99%

“…Therefore, the logical safety and liveness properties always hold without assuming the availability of a global time in the system. The interest of asynchronous solutions for safety-critical systems -choice made by ESA/ESTEC and EADS Astrium -is examined in [2] and explored in details in [3].…”

Section: Introduction and Motivationsmentioning

confidence: 99%

Novel Generic Middleware Building Blocks for Dependable Modular Avionics Systems

Honvault¹,

Roy²,

Gula³

et al. 2005

Dependable Computing - EDCC 5

View full text Add to dashboard Cite

Abstract. The A3M project aimed to define basic building blocks of a middleware meeting both dependability and real-time requirements for a wide range of space systems and applications. The developed middleware includes Uniform Consensus (UCS) and Uniform Coordination (UCN) protocols and two services implemented to solve two recurring problems of space applications: "distributed consistent processing under active redundancy" and "distributed replicated data consistency, program serialization and program atomicity". The protocols have been verified through extensive and accurate testing under the Real Time OS simulator RTSim supporting fault injections. The performances measured on a representative platform based on three LEON SPARC microprocessors interconnected with point-to-point SpaceWire links show that A3M solution may be applied to very different fields, from high performance distributed computing to satellite formation flying coordination.

show abstract

Asynchrony and real-time dependable computing

Abstract: We examine how computer system problems can be derived

Cited by 10 publications

References 21 publications

A New Time Independent Asynchronous Protocol and Its Applications

A New Time Independent Asynchronous Protocol and Its Applications

A Novel Time Independent Asynchronous Communication Protocol&Its Applications

Novel Generic Middleware Building Blocks for Dependable Modular Avionics Systems

Contact Info

Product

Resources

About

Asynchrony and real-time dependable computing

Abstract: We examine how computer system problems can be derived

Cited by 10 publications

References 21 publications

A New Time Independent Asynchronous Protocol and Its Applications

A New Time Independent Asynchronous Protocol and Its Applications

A Novel Time Independent Asynchronous Communication Protocol&amp;Its Applications

Novel Generic Middleware Building Blocks for Dependable Modular Avionics Systems

Contact Info

Product

Resources

About

A Novel Time Independent Asynchronous Communication Protocol&Its Applications