WCET-Aware Control Flow Checking With Super-Nodes for Resource-Constrained Embedded Systems.
Ming ZhangZonghua GuHong LiNenggan ZhengPublished in: IEEE Access (2018)
Keyphrases
- resource constrained
- embedded systems
- control flow
- data flow
- real time systems
- low cost
- computing power
- software testing
- software systems
- flash memory
- workflow management systems
- sensor nodes
- process model
- wireless sensor networks
- real world
- databases
- shortest path
- sensor networks
- formal semantics
- database systems
- high level
- case study