Name
Title | ||
|---|---|---|
A hybrid framework for resource verification in executable model-based embedded system development |
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. |
Year | DOI | Venue |
|---|---|---|
2008 | 10.1145/1366283.1366288 | SIGBED Review |
Keywords | Field | DocType |
hybrid framework,resource-related concern,resource safety verification,run-time monitoring scheme,current xuml model-based software,static resource analysis,executable model-based embedded system,design methodology,robust real-time embedded system,hybrid verification framework,resource verification,embedded system,software development | Resource analysis,Computer science,Design methods,Real-time computing,Software development,Executable,Embedded system,Software verification,Distributed computing | Journal |
Volume | Issue | Citations |
5 | 1 | 1 |
PageRank | References | Authors |
0.35 | 5 | 3 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Honguk Woo | 1 | 139 | 16.19 |
| Aloysius K. Mok | 2 | 909 | 78.90 |
| James C. Browne | 3 | 998 | 300.57 |