Towards Integrity and Reliability in Embedded Systems: The Synergy of ESBMC and Arduino Integration.
Rafael G. SilvestrimFelipe V. TrigoWilliame RochaMichael R. S. VieiraJogno V. JuniorOtoniel Da C. MendesRafael Sá MenezesLucas C. CordeiroPublished in: SBESC (2023)
Keyphrases
- embedded systems
- low cost
- computing power
- processing power
- embedded software
- embedded devices
- resource limited
- hardware software
- real time image processing
- real time systems
- software systems
- field programmable gate array
- embedded real time systems
- consumer electronics
- hw sw
- flash memory
- communication technologies
- integrity constraints
- artificial intelligence
- image processing
- protocol stack
- real time