Toward real-time performance benchmarks for Ada
Communications of the ACM
Combining Static Concurrency Analysis with Symbolic Execution
IEEE Transactions on Software Engineering
A real-time language with a schedulability analyzer
A real-time language with a schedulability analyzer
Reasoning About Time in Higher-Level Language Software
IEEE Transactions on Software Engineering
Calculating the maximum, execution time of real-time programs
Real-Time Systems
Building a real-time kernel: first steps in validating a pure process/Adt model
Software—Practice & Experience
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
A tool for the deterministic scheduling of real-time programs implemented as periodic Ada tasks
SETA2 Proceedings of the second international symposium on Environments and tools for Ada
Static worst-case timing analysis of Ada
ACM SIGAda Ada Letters
Worst-case execution time analysis on modern processors
LCTES '95 Proceedings of the ACM SIGPLAN 1995 workshop on Languages, compilers, & tools for real-time systems
Profiling in the ASP codesign environment
ISSS '95 Proceedings of the 8th international symposium on System synthesis
Constructing abstract models of concurrent real-time software
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Execution Time Analysis of Communicating Tasks in Distributed Systems
IEEE Transactions on Computers
Timing Analysis of Ada Tasking Programs
IEEE Transactions on Software Engineering - Special issue: best papers of the 1996 international symposium on software testing and analysis ISSTA'96
Analyzing partially-implemented real-time systems
ICSE '97 Proceedings of the 19th international conference on Software engineering
Computing Maximum Task Execution Times — A Graph-BasedApproach
Real-Time Systems
Analyzing Partially-Implemented Real-Time Systems
IEEE Transactions on Software Engineering
False path analysis based on hierarchical control representation
Proceedings of the 11th international symposium on System synthesis
Real-Time Performance of Sorting Algorithms
Real-Time Systems
Power conscious fixed priority scheduling for hard real-time systems
Proceedings of the 36th annual ACM/IEEE Design Automation Conference
The Spring System: Integrated Support for Complex Real-TimeSystems
Real-Time Systems
Efficient and Precise Cache Behavior Prediction for Real-TimeSystems
Real-Time Systems
Guest Editorial: A Review of Worst-Case Execution-TimeAnalysis
Real-Time Systems - Special issue on worst-case execution-time analysis
Supporting Timing Analysis by Automatic Bounding of LoopIterations
Real-Time Systems - Special issue on worst-case execution-time analysis
Worst Case Execution Time Analysis for a Processor withBranch Prediction
Real-Time Systems - Special issue on worst-case execution-time analysis
Performance Metrics for Embedded Parallel Pipelines
IEEE Transactions on Parallel and Distributed Systems
Automatic time-bound analysis for a higher-order language
PEPM '02 Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
An architectural co-synthesis algorithm for distributed, embedded computing systems
Readings in hardware/software co-design
Specification and Design of Embedded Hardware-Software Systems
IEEE Design & Test
Automatic Accurate Cost-Bound Analysis for High-Level Languages
IEEE Transactions on Computers
On Satisfying Timing Constraints in Hard-Real-Time Systems
IEEE Transactions on Software Engineering
TINMAN: A Resource Bound Security Checking System for Mobile Code
ESORICS '02 Proceedings of the 7th European Symposium on Research in Computer Security
Reliable and Precise WCET Determination for a Real-Life Processor
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Predictive Strategies for Low-Power RTOS Scheduling
ICCD '00 Proceedings of the 2000 IEEE International Conference on Computer Design: VLSI in Computers & Processors
The estimation of the WCET in super-scalar real-time system
Real-time system security
Voltage-Clock-Scaling Adaptive Scheduling Techniques for Low Power in Hard Real-Time Systems
IEEE Transactions on Computers
Modeling control speculation for timing analysis
Real-Time Systems
Satisfying real-time constraints with custom instructions
CODES+ISSS '05 Proceedings of the 3rd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Principles of Timing Anomalies in Superscalar Processors
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Probabilistic timing analysis: An approach using copulas
Journal of Embedded Computing - Real-Time Systems (Euromicro RTS-03)
Verification of instrumentation techniques for resource management of real-time systems
Journal of Systems and Software
A time-predictable VLIW processor and its compiler support
Real-Time Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Problem-solving methods: understanding, description, development, and reuse
Problem-solving methods: understanding, description, development, and reuse
Beyond loop bounds: comparing annotation languages for worst-case execution time analysis
Software and Systems Modeling (SoSyM)
Identifying irreducible loops in the Instrumentation Point Graph
Journal of Systems Architecture: the EUROMICRO Journal
Epipe: A low-cost fault-tolerance technique considering WCET constraints
Journal of Systems Architecture: the EUROMICRO Journal
| Hi-index | 0.01 |
Analytic methods are employed at the source-language level, using formal timing schema that include control costs, handle interferences such as interrupts, and produce guaranteed best- and worst-case bounds. The timing tool computes the deterministic execution times for programs that are written in a subset of C and run on a bare machine. Two versions of the tool were written, using two granularity extremes for the atomic elements of the timing schema. All overview of the tool is given, timing schema and code prediction are discussed, and machine analysis and timing tool design are examined. Experimental and validation results are reported. It was found that all the predicted times are consistent, and most are safe. Some predictions are fairly tight, while others are a little loose. There are clear technical reasons that explain the differences between measured and predicted times, and technical solutions that should minimize these differences within the timing schema framework are seen.