A hybrid framework for resource verification in executable model-based embedded system development

Authors:
Honguk Woo;Aloysius K. Mok;James C. Browne
Affiliations:
Department of Computer Sciences, The University of Texas at Austin;Department of Computer Sciences, The University of Texas at Austin;Department of Computer Sciences, The University of Texas at Austin
Venue:
ACM SIGBED Review - Special issue on the RTSS forum on deeply embedded real-time computing
Year:
2008

Citing 5
Cited 0

Executable UML: A Foundation for Model-Driven Architectures

Executable UML: A Foundation for Model-Driven Architectures
ObjectCheck: A Model Checking Tool for Executable Object-Oriented Software System Designs

FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
TINMAN: A Resource Bound Security Checking System for Mobile Code

ESORICS '02 Proceedings of the 7th European Symposium on Research in Computer Security
Enforcing resource bounds via static verification of dynamic checks

ACM Transactions on Programming Languages and Systems (TOPLAS) - Special Issue ESOP'05
Real-Time Monitoring of Uncertain Data Streams Using Probabilistic Similarity

RTSS '07 Proceedings of the 28th IEEE International Real-Time Systems Symposium

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this work, we 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. Our work employs the hybrid verification framework combining static resource analysis and run-time monitoring schemes.