IEEE - Institute of Electrical and Electronics Engineers, Inc. - Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems

2008 IEEE Real-Time and Embedded Technology and Applications Symposium

Author(s): Jianliang Yi ; Honguk Woo ; J.C. Browne ; A.K. Mok ; Fei Xie ; E. Atkins ; Chan-Gun Lee
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 April 2008
Conference Location: St. Louis, MO, USA
Conference Date: 22 April 2008
Page(s): 137 - 146
ISBN (Paper): 978-0-7695-3146-5
ISSN (Paper): 1545-3421
DOI: 10.1109/RTAS.2008.28
Regular:

This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. Resource-related... View More

Advertisement