Sciweavers

Share
RTAS
2008
IEEE

Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems

11 years 7 months ago
Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems
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 concerns are not closely linked with current xUML model-based software development although they are critical for embedded systems. We describe how to integrate resource analysis techniques into the early phase of an xUML-based development cycle. Our hybrid framework for resource safety verification combines static resource analysis and runtime monitoring. A case study based on an embedded controller for satellite simulation, TableSat, illustrates the benefits obtained by incorporating resource verification into design and combining static analysis and runtime monitoring.
Jianliang Yi, Honguk Woo, James C. Browne, Aloysiu
Added 01 Jun 2010
Updated 01 Jun 2010
Type Conference
Year 2008
Where RTAS
Authors Jianliang Yi, Honguk Woo, James C. Browne, Aloysius K. Mok, Fei Xie, Ella Atkins, Chan-Gun Lee
Comments (0)
books