Melay-to-Moore transformation in safety-critical systems

Conference: AmE 2017 – Automotive meets Electronics - 8. GMM-Fachtagung
03/07/2017 - 03/08/2017 at Dortmund, Deutschland

Proceedings: GMM-Fb. 87: AmE 2017

Pages: 5Language: englishTyp: PDF

Personal VDE Members are entitled to a 10% discount on this title

Authors:
Oezguel, Mustafa; Deeg, Florian; Sattler, Sebastian M. (Lehrstuhl für Zuverlässige Schaltungen und Systeme, Friedrich-Alexander-Universität Erlangenen-Nürnberg, Paul-Gordan-Str. 5, 91052 Erlangen, Deutschland)

Abstract:
In this paper we will show a method for transforming an asynchronously feed-backed Mealy machine into an equivalent Moore machine under use of dual-rail logic and the RS-Buffer. The resulting machine will be safe, stable and reproducable. We will further present a use-case to demonstrate the before mentioned transformation.