Model formalny procesu prognozowania zachowania systemu cybernetycznego na przykladzie parametrycznego systemu operacyjnego