Checking of Timed Casual Relation of Events for Requirements Validation of Industrial Software
Industrial software is essential in product design,development,maintenance,and services.It is crucial to ensure that the software behaviors meet specific business needs.Therefore,industrial software development necessitates requirements validation,explicitly confirming that system behavior meets stakeholders'expectations(operators of applied companies).These expectations are often in the form of event casual relations with timing constraints.Industrial software is time-critical,large and highly complex.Considering these features,we proposed an approach to check event-causal relations with timing constraints on UML/MARTE+CCSL models for requirements validation of industrial software.Event casual relations with timing constraints are defined for expressing stakeholders'expectations;CCSL(clock constraint specification language)specification is built for capturing the overall behaviors under the cooperation of multi-diagrams in the model;community detection algorithm is integrated with model checking techniques to accomplish the checking of CCSL specification against timed event-causal relations.The effectiveness and practicability of our approach are illustrated by comparison experiments,especially the benefits of dealing with large scale and high complexity by bringing in a community detection algorithm.
NETL
NSTL
万方数据
