会议论文

Ding, Zuohua

Jiang, Wenjie,Jiang, Mingyue,Jin, Zhi,Jiang, He

2018-01-01

CPCI-S

A

130-131

Intelligent software system; Intelligent system software; adaptive model; model checking

An intelligent software system consists of intelligent components, fundamentally modeled by neural networks, and traditional software components, in which the intelligent components are responsible to make decisions. Thus, intelligent systems can adapt to environment changes in the running time. However, due to the fact that a neural network highly relies on the training data, its structure and quality are both uncertain. These uncertainties will be passed to the rest of the software system by the intelligent components. This paper presents a framework to model checking such kind of intelligent system software.