Compiler Optimizations Do Impact the Reliability of Control-Flow Radiation Hardened Embedded Software.
Rafael B. PariziRonaldo Rodrigues FerreiraLuigi CarroÁlvaro F. MoreiraPublished in: IESS (2013)
Keyphrases
- control flow
- embedded software
- data flow
- development projects
- software architecture
- embedded systems
- software testing
- active rules
- process model
- programming language
- sequence diagrams
- software systems
- workflow management systems
- cooperative
- data structure
- relational databases
- formal semantics
- modeling language
- databases
- source code