Automata For Modeling Real-Time Systems
ICALP '90 Proceedings of the 17th International Colloquium on Automata, Languages and Programming
Testing real-time systems using UPPAAL
Formal methods and testing
Segmented state space traversal for conformance testing of cyber-physical systems
FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
Analysis of a clock synchronization protocol for wireless sensor networks
Theoretical Computer Science
Conformance testing for cyber-physical systems
ACM Transactions on Embedded Computing Systems (TECS)
FlockLab: a testbed for distributed, synchronized tracing and profiling of wireless embedded systems
Proceedings of the 12th international conference on Information processing in sensor networks
Hi-index | 0.00 |
For software development, testing is still the primary choice for investigating the correctness of a system. Automated testing is of utmost importance to support continuous integration and regression tests on actual hardware. For embedded systems, power consumption is a chief performance metric, which is tightly coupled to the hardware used and the software exploiting low power modes. Automated testing of power consumption requires to investigate its conformance to a specification. We employ timed automata for specifying the expected behavior of a real sensor node application, as well as for describing the power measurements obtained from its real-world implementation. Introducing computational optimizations, the presented approach allows to utilize standard model checkers for automated conformance testing of modeled systems and monitored power consumption of their implementations.