Faster WCET flow analysis by program slicing
Proceedings of the 2006 ACM SIGPLAN/SIGBED conference on Language, compilers, and tool support for embedded systems
Applying static timing analysis to component architectures
Proceedings of the 2006 international workshop on Software engineering for automotive systems
Towards formally verifiable resource bounds for real-time embedded systems
ACM SIGBED Review - Special issues on workshop on innovative techniques for certification of embedded systems
The worst-case execution-time problem—overview of methods and survey of tools
ACM Transactions on Embedded Computing Systems (TECS)
Worst-case execution times for a purely functional language
IFL'06 Proceedings of the 18th international conference on Implementation and application of functional languages
Parametric timing analysis and its application to dynamic voltage scaling
ACM Transactions on Embedded Computing Systems (TECS)
Practical experiences of applying source-level WCET flow analysis on industrial code
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
An efficient algorithm for parametric WCET calculation
Journal of Systems Architecture: the EUROMICRO Journal
Static timing analysis of real-time operating system code
ISoLA'04 Proceedings of the First international conference on Leveraging Applications of Formal Methods
| Hi-index | 0.00 |
The number of embedded computers used in modern cars have increased dramatically during the last years, as they provide increased functionality to a reduced cost compared to previous technologies. These computers are often connected by one or more communication networks and the data tra.c sent over the networks often has hardreal-time requirements. To provide overall system timingguarantees, upper timing bounds need to be derived bothfor the data tra.c and the embedded computer programs thatcontrols the communication. In this article, we present a casestudy where static Worst-Case Execution Time (WCET) analysiswas used to find upper time bounds for time-critical code inproducts from Volcano Communications Technologies AB (VCT).The VCT company provides tools for development of real-timecommunication solutions for embedded network systems, mainlyused within the car industry. VCTýs tool suite includes supportfor Controller Area Network (CAN), Local Interconnect Network (LIN), FlexRay and MOST network traffic. The primary purpose of the study was not to test the accuracyof the obtained WCET estimates, but rather to investigate thepractical di.culties that arise when applying current WCETanalysis methods to these particular kind of systems. A centralquestion was if todayýs static WCET analysis tools can be usedin the automotive software development process. In particular, we were interested in how labor-intensive the analysis becomes, measured by the number of manual annotations necessary to perform the analysis. As a result, we provide somequalitative observations on desirable research results for makingstatic WCET analysis applicable in typical automotive softwaredevelopment.