Towards Automated Service-Oriented Verification of Embedded Control Software Modeled in Simulink.
Timm LiebrenzPaula HerberSabine GlesnerPublished in: ISoLA (3) (2020)
Keyphrases
- control software
- service oriented
- control system
- web services
- service oriented architecture
- highly dynamic
- model driven
- service composition
- virtual enterprise
- workflow management
- service systems
- enabling technologies
- control algorithm
- loose coupling
- fault detection
- scientific workflows
- service selection
- grid services
- service oriented computing
- software engineering
- model checking
- lightweight
- data driven