An Experimental Evaluation of Control Flow Checking for Automotive Embedded Applications Compliant With ISO 26262.
Mohammadreza Amel SoloukiJacopo SiniMassimo ViolantePublished in: IEEE Access (2023)
Keyphrases
- control flow
- experimental evaluation
- data flow
- software testing
- process model
- embedded systems
- workflow management systems
- business process models
- transition systems
- modeling language
- formal semantics
- automotive industry
- high level
- database management systems
- distributed systems
- memory hierarchy
- object oriented
- information technology