1999 | OriginalPaper | Buchkapitel
Fault Models for Embedded Systems
Extended abstract
verfasst von : Jens Chr. Godskesen
Erschienen in: Correct Hardware Design and Verification Methods
Verlag: Springer Berlin Heidelberg
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
In this paper we present the notion of an input fault model for embedded systems and outline how to obtain minimal complete test suites for a fault model. The system software is expected to be embedded and specified as a finite state machine.