Paper Info
Title
Programming assistance based on contracts and modular verification in the automation domain
Abstract
In industrial automation, control software often has to get changed and adapted by domain experts and end users who have no or only limited software development expertise. This results in high demands on programming environments with respect to supporting, guiding, and supervising the programming tasks. In this paper we present an approach based on model checking and artificial intelligence techniques to guide domain experts in building control software which is guaranteed to obey specified contracts and constraints. The work is based on Monaco which is a domain-specific language for programming automation solutions. As Monaco employs a hierarchical component approach, the verification is done hierarchically where an upper component is verified against the contracts of its subcomponents. The verification approach is leveraged in different programming support systems which give immediate feedback about valid and invalid programs in an integrated development environment.
Year
DOI
Venue
2010
10.1145/1774088.1774614
SAC
Keywords
Field
DocType
modular verification,programming assistance,automation domain,programming task,industrial automation,domain expert,control software,different programming support system,limited software development expertise,programming automation solution,programming environment,hierarchical component approach,verification approach,artificial intelligent,model checking,domain specific language,software development,software component
System programming,Programming language,Programming paradigm,Software engineering,Computer science,Inductive programming,Design by contract,Reactive programming,Programming domain,Software development,Software verification
Conference
Citations 
PageRank 
References 
2
0.41
11
Authors
2
Name
Order
Citations
PageRank
Dominik Hurnaus1212.25
Herbert Prähofer218917.00