High Assurance Code Generation for Cyber-Physical Systems.
Tze Meng LowFranz FranchettiPublished in: HASE (2017)
Keyphrases
- code generation
- high assurance
- cyber physical systems
- software systems
- cyber physical
- software development
- physical world
- distributed systems
- operating system
- fault tolerant
- application development
- access control
- cyber security
- embedded systems
- software reuse
- modeling language
- design patterns
- software engineering
- model driven
- critical infrastructure
- rapid prototyping
- formal specification
- software components
- web applications
- databases
- intrusion detection system
- object oriented
- database systems