Formal modeling and verification in the software engineering framework of IEC 61499: a way to self-verifying systems.
Valeriy VyatkinHans-Michael HanischPublished in: ETFA (2) (2001)
Keyphrases
- formal methods
- software engineering
- model checking
- distributed systems
- main contribution
- modeling framework
- dynamic aspects
- computer systems
- asynchronous circuits
- real time
- software architecture
- complex systems
- development methodologies
- modeling method
- software systems
- computational model
- software development
- expert systems