Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
From Software to Hardware and Back Read chapter Read first chapter

2004 | OriginalPaper | Chapter

Mixed Delay and Threshold Voters in Critical Real-Time Systems

Authors : Chiheb Kossentini, Paul Caspi

Published in: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

Publisher: Springer Berlin Heidelberg

Included in: Professional Book Archive

Get Access

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

This paper addresses the question of extending the usual approximation and sampling theory of continuous signals and systems to those encompassing discontinuities, such as found in modern complex control systems (mode switches for instance). We provide a topological framework derived from the Skorokhod distance to deal with those cases in a uniform manner. We show how this theoretical framework can be used for voting on hybrid signals in critical real-time systems.

previous chapter Formal Verification of an Avionics Sensor Voter Using SCADE
next chapter Towards a Methodological Approach to Specification and Analysis of Dependable Automation Systems
Metadata
Title
Mixed Delay and Threshold Voters in Critical Real-Time Systems
Authors
Chiheb Kossentini
Paul Caspi
Copyright Year
2004
Publisher
Springer Berlin Heidelberg
Book
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

Print ISBN: 978-3-540-23167-7

Electronic ISBN: 978-3-540-30206-3

Copyright Year: 2004

DOI
https://doi.org/10.1007/978-3-540-30206-3_4

Premium Partner

    Image Credits