Combining control flow checking for safety and security in embedded software: work-in-progress.
Robert GoldPublished in: EMSOFT Companion (2017)
Keyphrases
- control flow
- embedded software
- data flow
- development projects
- software architecture
- embedded systems
- software testing
- active rules
- process model
- network security
- security requirements
- security policies
- information security
- workflow management systems
- cooperative
- modeling language
- software projects
- low cost
- sequence diagrams
- software engineering