Abstract | ||
---|---|---|
Estimations of execution time are essential for design and development of safety critical embedded real-time systems, such
as avionics, automotive and aerospace systems. In such systems, execution time is part of the functional specification, hence
correct behaviour requires sufficiently powerful target hardware to meet deadlines or achieve required polling rates, etc.
Yet, grossly overestimated resource usage results in excessive cost per unit. For a proper choice of the target platform,
qualitatively good execution time estimates are required at an early stage of the development process.
In this paper we propose a framework which provides software engineers with execution time estimates of the software under
development in a demand-driven manner, i. e. the engineers ask for timing information at program or function level with respect
to different target hardware platforms. In a platform-independent manner we extract the necessary information from the code
and combine it with platform-specific information, resulting in the time estimate. We implemented our framework on top of
the test input generator FShell and its query language FQL. Preliminary experiments on C code show the viability of our approach.
|
Year | DOI | Venue |
---|---|---|
2010 | 10.1007/978-3-642-16558-0_5 | Leveraging Applications of Formal Methods |
Keywords | Field | DocType |
powerful target hardware,platform-specific information,execution time estimate,target platform,execution time,qualitatively good execution time,development process,necessary information,time estimate,timely time estimate,different target hardware platform,software engineering,query language | Query language,Ask price,Computer science,Avionics,Polling,Real-time computing,Basic block,Software,Functional specification,Reliability engineering,Automotive industry | Conference |
Volume | ISSN | ISBN |
6415 | 0302-9743 | 3-642-16557-5 |
Citations | PageRank | References |
2 | 0.38 | 18 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Andreas Holzer | 1 | 197 | 13.62 |
Visar Januzaj | 2 | 15 | 2.47 |
Stefan Kugele | 3 | 72 | 13.96 |
Michael Tautschnig | 4 | 425 | 25.84 |