IEEE - Institute of Electrical and Electronics Engineers, Inc. - Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness

2009 13th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT)

Author(s): Chih-Hong Cheng ; Buckl, C. ; Esparza, J. ; Knoll, A.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 October 2009
Conference Location: Singapore, Singapore, Singapore
Conference Date: 25 October 2009
Page(s): 208 - 215
ISBN (Paper): 978-0-7695-3868-6
ISSN (Paper): 1550-6525
DOI: 10.1109/DS-RT.2009.20
Regular:

The increasing use of model-based tools enables further use of formal verification techniques in the context of distributed real-time systems. To avoid state explosion, it is necessary to... View More

Advertisement