pIML - An Interrupt Program Modelling Language for Real-Time and Embedded Systems.
Xin LiYanhong HuangJianqi ShiJian GuoHuibiao ZhuYuanmin XuPublished in: APSEC (1) (2014)
Keyphrases
- embedded systems
- modelling language
- low cost
- real time systems
- real time
- resource limited
- embedded devices
- formal semantics
- computing power
- safety critical
- embedded software
- smart camera
- learning scenarios
- embedded real time systems
- field programmable gate array
- learning design
- software systems
- real time embedded
- defeasible logic
- software engineering
- control system
- artificial intelligence
- database systems
- case study
- real world