IEEE - Institute of Electrical and Electronics Engineers, Inc. - Extended interoperability models for timed system robustness testing

2009 IEEE Latin-American Conference on Communications (LATINCOM)

Author(s): Mattiello-Francisco, F. ; Martins, E. ; Corsetti, A. ; Cavalli, A.R. ; Yano, E.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 September 2009
Conference Location: Medellin, Columbia, Columbia
Conference Date: 10 September 2009
Page(s): 1 - 6
ISBN (CD): 978-1-4244-4388-8
ISBN (Paper): 978-1-4244-4387-1
DOI: 10.1109/LATINCOM.2009.5304903
Regular:

Time incompatibilities in the interactions of timed subsystems on board satellites can cause deadlocks and data loss. Verification of time requirements is one of the major challenges in... View More

Advertisement