Towards a method of programming with assertions
ICSE '92 Proceedings of the 14th international conference on Software engineering
Performance assertion checking
Performance assertion checking
Temporal proof methodologies for timed transition systems
Information and Computation
Modechart: A Specification Language for Real-Time Systems
IEEE Transactions on Software Engineering
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Energy estimation tools for the Palm
Proceedings of the 3rd ACM international workshop on Modeling, analysis and simulation of wireless and mobile systems
JouleTrack: a web based tool for software energy profiling
Proceedings of the 38th annual Design Automation Conference
Asserting performance expectations
Proceedings of the 2002 ACM/IEEE conference on Supercomputing
Model based estimation and verification of mobile device performance
Proceedings of the 4th ACM international conference on Embedded software
| Hi-index | 0.00 |
The validation of modern software systems on mobile devices needs to incorporate both functional and non-functional requirements. While some progress has been made in validating performance (including power consumption) on current mobile devices, future mobile devices will incorporate multiple processing units, more complex software and hardware that will raise additional challenges. This paper outlines ideas for future directions in performance validation on multicore devices, based on the current work in model-based validation, application state monitoring and performance assertions.