Thumbnail
Access Restriction
Open

Author Gorry, Benjamin ♦ Ireland, Andrew ♦ King, Peter
Source CiteSeerX
Content type Text
File Format PDF
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Source Code ♦ C-based Stochastic Petri Net Language ♦ Real-time Software System ♦ Source Code Level ♦ Main Method ♦ Actual System Hardware ♦ Language Cspl ♦ Performance Model ♦ Real-time Value ♦ Formal Approach ♦ Annotated Subset ♦ Timing Analysis Technique ♦ Everyday Engineer ♦ Performance Analysis
Description Verification of real-time software systems can often prove to be expensive in terms of time and resources. Testing is the main method of proving correctness but has been shown to be a long and time consuming process. Performance modelling techniques allow systems to be evaluated for timing correctness. Everyday engineers are usually unwilling to adopt formal approaches to correctness because of the overhead associated with developing their knowledge of such techniques. This report discusses an approach which mechanises the extraction of performance models from programs written in an annotated subset of ANSI-C. By placing annotations at the source code level, performance models in the language CSPL (C-based Stochastic Petri net Language) can be extracted from the source code and analysed for performance. The real-time values for these models are gathered using a timing analysis technique based on the actual system hardware and software. The analysis which can be performed on these models is illustrated via a series of examples.
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research
Education Level UG and PG ♦ Career/Technical Study
Learning Resource Type Article
Publisher Date 2007-01-01
Publisher Institution In To appear in the Proceedings of QEST‘07