Loading...
Please wait, while we are loading the content...
Similar Documents
Worst-case timing analysis of exception handling in Ada
| Content Provider | Semantic Scholar |
|---|---|
| Author | Chapman, Rod Burns, Alan Wellings, Andy J. |
| Copyright Year | 1993 |
| Abstract | This paper describes a method for analysing the timing properties of exception handling in Ada. The paper first describes how exceptions are implemented and considers the use of exceptions in the SPARK, Safe/Ada and ANNA subsets. A static analysis technique for reasoning about exception propagation is then presented. We argue that this technique, along with a suitable subset and detailed knowledge of exception implementation can be used to develop an accurate worst-case timing analysis system. The method is illustrated with an example. Finally, our conclusions and plans for further work are presented. |
| File Format | PDF HTM / HTML |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
