Code generation for distributed embedded systems with VDM-RT.
Miran HasanagicTommaso FabbriPeter Gorm LarsenVictor BandurPeter W. V. Tran-JørgensenJulien OuyPublished in: Des. Autom. Embed. Syst. (2019)
Keyphrases
- embedded systems
- code generation
- low cost
- embedded devices
- resource limited
- embedded software
- real time systems
- computing power
- code generator
- application development
- distributed systems
- real time embedded
- software development
- hardware software
- software systems
- cooperative
- modeling language
- multi agent
- flash memory
- design patterns
- cyber physical systems
- information systems
- lightweight
- field programmable gate array
- hw sw
- real time