University of Vigo
Model-based development has focused on verification and testing for functional or timing aspects, yet embedded software also involves para-functional resource-related aspects, termed resource (bound) properties. In this paper, the authors consider 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. Their paper employs the hybrid verification framework combining static resource analysis and run-time monitoring schemes.