Toward real-time performance benchmarks for Ada
Communications of the ACM
Microprocessor architectures: a comparison based on code generation by compiler
Communications of the ACM
Safety analysis of timing properties in real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Real-time Euclid: a language for reliable real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
The logical design of operating systems (2nd ed.)
The logical design of operating systems (2nd ed.)
The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
Squeak: a language for communicating with mice
SIGGRAPH '85 Proceedings of the 12th annual conference on Computer graphics and interactive techniques
Thoth, a portable real-time operating system
Communications of the ACM
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
The ESTEREL Synchronous Programming Language and its Mathematical Semantics
Seminar on Concurrency, Carnegie-Mellon University
Using mappings to prove timing properties
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
Experiments with a Program Timing Tool Based on Source-Level Timing Schema
Computer - Special issue on real-time systems
Event-based performance perturbation: a case study
PPOPP '91 Proceedings of the third ACM SIGPLAN symposium on Principles and practice of parallel programming
On satisfying timing constraints in hard-real-time systems
SIGSOFT '91 Proceedings of the conference on Software for citical systems
Trusted computing systems: the ProCoS experience
ICSE '92 Proceedings of the 14th international conference on Software engineering
Communicating Real-Time State Machines
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
Compiling real-time programs into schedulable code
PLDI '93 Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation
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
Performance analysis of embedded software using implicit path enumeration
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
Performance estimation of embedded software with instruction cache modeling
ICCAD '95 Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design
Constructing abstract models of concurrent real-time software
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
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
Computing Maximum Task Execution Times — A Graph-BasedApproach
Real-Time Systems
A refinement calculus for the synthesis of verified hardware descriptions in VHDL
ACM Transactions on Programming Languages and Systems (TOPLAS)
Static timing analysis of embedded software
DAC '97 Proceedings of the 34th annual Design Automation Conference
Real-Time Schedulability Tests for Preemptive Multitasking
WPDRTS Selected papers from the 4th workshop on Parallel and distributed real-time systems
Decomposition in Real-Time Safety-Critical Systems
Real-Time Systems
Bounding Pipeline and Instruction Cache Performance
IEEE Transactions on Computers
A Development Environment for Complex Distributed Real-Time Applications
IEEE Transactions on Software Engineering
Live memory analysis for garbage collection in embedded systems
Proceedings of the ACM SIGPLAN 1999 workshop on Languages, compilers, and tools for embedded systems
Performance estimation of embedded software with instruction cache modeling
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Guest Editorial: A Review of Worst-Case Execution-TimeAnalysis
Real-Time Systems - Special issue on worst-case execution-time analysis
WCET Analysis of Superscalar Processors Using SimulationWith Coloured Petri Nets
Real-Time Systems - Special issue on worst-case execution-time analysis
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
Static and dynamic analysis of real-time systems
ACM-SE 30 Proceedings of the 30th annual Southeast regional conference
Real-time properties of indirect recursive procedures
Information and Computation
Applying priorities to memory allocation
Proceedings of the 3rd international symposium on Memory management
IEEE Transactions on Software Engineering
Performance estimation of embedded software with instruction cache modeling
Readings in hardware/software co-design
Timing analysis of embedded software for speculative processors
Proceedings of the 15th international symposium on System Synthesis
Data-Flow Frameworks for Worst-Case Execution Time Analysis
Real-Time Systems
Energy Metric for Software Systems
Software Quality Control
Measuring and Analyzing Real-Time Performance
IEEE Software
Developing Real-Time Tasks With Predictable Timing
IEEE Software
Automatic Accurate Cost-Bound Analysis for High-Level Languages
IEEE Transactions on Computers
Specifying and Verifying Requirements of Real-Time Systems
IEEE Transactions on Software Engineering
On Satisfying Timing Constraints in Hard-Real-Time Systems
IEEE Transactions on Software Engineering
An Accurate Worst Case Timing Analysis for RISC Processors
IEEE Transactions on Software Engineering
Declarative Concurrency in Java
IPDPS '00 Proceedings of the 15 IPDPS 2000 Workshops on Parallel and Distributed Processing
Pipeline Modeling for Timing Analysis
SAS '02 Proceedings of the 9th International Symposium on Static Analysis
A predicative semantics for real-time refinement
Programming methodology
High-level algorithmic complexity evaluation for system design
Journal of Systems Architecture: the EUROMICRO Journal
Specification of real-time imaging systems using the UML
Real-Time Imaging
Constrained software generation for hardware-software systems
CODES '94 Proceedings of the 3rd international workshop on Hardware/software co-design
A Graph-Based Approach for Timing Analysis and Refinement of OPS5 Knowledge-Based Systems
IEEE Transactions on Knowledge and Data Engineering
A software architecture for knowledge-based systems
The Knowledge Engineering Review
Modeling control speculation for timing analysis
Real-Time Systems
Using mappings to prove timing properties
Distributed Computing
Automatic scenario detection for improved WCET estimation
Proceedings of the 42nd annual Design Automation Conference
Intra-task scenario-aware voltage scheduling
Proceedings of the 2005 international conference on Compilers, architectures and synthesis for embedded systems
Improving WCET by applying a WC code-positioning optimization
ACM Transactions on Architecture and Code Optimization (TACO)
A theory for execution-time derivation in real-time programs
Theoretical Computer Science - Quantitative aspects of programming languages (QAPL 2004)
Execution time limitation of interrupt handlers in a Java operating system
EW 10 Proceedings of the 10th workshop on ACM SIGOPS European workshop
A real-time garbage collection framework for embedded systems
SCOPES '05 Proceedings of the 2005 workshop on Software and compilers for embedded systems
Efficient detection and exploitation of infeasible paths for software timing analysis
Proceedings of the 43rd annual Design Automation Conference
Modeling out-of-order processors for WCET analysis
Real-Time Systems
Towards an automatic complexity analysis for generic programs
Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming
WCET analysis for a Java processor
JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
Performance analysis based upon complete profiles
Proceedings of the 2006 conference on Specification and verification of component-based systems
Procedures and parameters in the real-time program refinement calculus
Science of Computer Programming
Chronos: A timing analyzer for embedded software
Science of Computer Programming
The worst-case execution-time problem—overview of methods and survey of tools
ACM Transactions on Embedded Computing Systems (TECS)
UM-RTCOM: An analyzable component model for real-time distributed systems
Journal of Systems and Software
A Graph-Theory Algorithm for WCET Estimation
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part III: ICCS 2007
Cache-aware timing analysis of streaming applications
Real-Time Systems
Time-predictable computer architecture
EURASIP Journal on Embedded Systems - FPGA supercomputing platforms, architectures, and techniques for accelerating computationally complex algorithms
Exploiting domain structure to achieve efficient temporal reasoning
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Problem-solving methods: understanding, description, development, and reuse
Problem-solving methods: understanding, description, development, and reuse
Worst-case execution time analysis for a Java processor
Software—Practice & Experience
Abstract interpretation for worst and average case analysis
Program analysis and compilation, theory and practice
Ubiquitous verification of ubiquitous systems
SEUS'10 Proceedings of the 8th IFIP WG 10.2 international conference on Software technologies for embedded and ubiquitous systems
An algorithm for deciding minimal cache sizes in real-time systems
Proceedings of the 13th annual conference on Genetic and evolutionary computation
Beyond loop bounds: comparing annotation languages for worst-case execution time analysis
Software and Systems Modeling (SoSyM)
Information and Software Technology
Timing analysis and timing predictability
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
On using locking caches in embedded real-time systems
ICESS'05 Proceedings of the Second international conference on Embedded Software and Systems
Trace acquirement from real-time systems based on WCET analysis
ICESS'05 Proceedings of the Second international conference on Embedded Software and Systems
A new WCET estimation algorithm based on instruction cache and prefetching combined model
ICESS'04 Proceedings of the First international conference on Embedded Software and Systems
Analyzing loop paths for execution time estimation
ICDCIT'05 Proceedings of the Second international conference on Distributed Computing and Internet Technology
Coercing real-time refinement: a transmitter
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
Argos: an automaton-based synchronous language
Computer Languages
Research: Specification, validation, and verification of time-critical systems
Computer Communications
Data cache organization for accurate timing analysis
Real-Time Systems
Computation takes time, but how much?
Communications of the ACM
| Hi-index | 0.03 |
A methodology for specifying and providing assertions about time in higher-level-language programs is described. The approach develops three ideas: the distinction between, and treatment of, both real-time and computer times; the use of upper and lower bounds on the execution times of program elements; and a simple extension of Hoare logic to include the effects of the passage of real-time. Schemas and examples of timing bounds and assertions are presented for a variety of statement types and programs, such as conventional sequential programs including loops, time-related statements such as delay, concurrent programs with synchronization, and software in the presence of interrupts. Examples of assertions that are proved include deadlines, timing invariants for periodic processes, and the specification of time-based events such as those needed for the recognition of single and double clicks from a mouse button.