Automatic Generation of Provably Correct Embedded Systems.
Shang-Wei LinYang LiuPao-Ann HsiungJun SunJin Song DongPublished in: ICFEM (2012)
Keyphrases
- embedded systems
- provably correct
- low cost
- formal methods
- computing power
- embedded software
- situation calculus
- embedded devices
- resource limited
- processing power
- real time systems
- real time image processing
- hardware software
- field programmable gate array
- safety critical
- software systems
- hardware and software
- hw sw
- information systems
- embedded real time systems
- object oriented
- cooperative