Back to Search
Start Over
A hierarchy framework on compositional verification for PLC software
- Source :
- 2014 IEEE 5th International Conference on Software Engineering and Service Science.
- Publication Year :
- 2014
- Publisher :
- IEEE, 2014.
-
Abstract
- The correctness verification of embedded control software has become an important research topic in embedded system field. The paper analyses the present situation on correctness verification of control software as well as the limitations of existing technologies. In order to the high reliability and high security requirements of control software, the paper proposes a hierarchical framework and architecture of control software (PLC program) verification. The framework combines the technologies of testing, model checking and theorem proving. The paper introduces the construction, flow and key elements of the architecture.
- Subjects :
- Model checking
Resource-oriented architecture
Correctness
Computer science
computer.software_genre
Intelligent verification
Software
Verification
Software system
Software verification and validation
Reference architecture
Formal verification
Real-time Control System Software
Software architecture description
High-level verification
Functional verification
business.industry
Programming language
Runtime verification
Software development
Software framework
Software bug
Software security assurance
Software construction
Software engineering
business
computer
Software verification
Subjects
Details
- Database :
- OpenAIRE
- Journal :
- 2014 IEEE 5th International Conference on Software Engineering and Service Science
- Accession number :
- edsair.doi...........981a53c851cd926e68981de479417638