Nßvrh systΘm∙ odoln²ch v∙Φi chybßm vy₧aduje zvlßÜtnφ t°φdu in₧en²rsk²ch metod a nßstroj∙. Nap°φklad technika Markovova modelovßnφ hraje v²znamnou roli v anal²ze systΘmovΘ spolehlivosti. Skv∞lou pomocφ pro nßvrhß°e by mohla b²t kombinace Markovova modelovßnφ a poΦφtaΦov²ch technik, dφky kterΘ zφskßte dalÜφ asistenci p°i konstrukci model∙ a p°i automatickΘm °eÜenφ. Proto jsme vyvinuli nßstroj Markovova modelovßnφ nazvan² CARMS pro operaΦnφ prost°edφ Microsoft DOS a Windows, abychom vßm poskytli dalÜφ podporu p°i nßvrhu spolehliv²ch systΘm∙. CARMS (computer-aided rate modeling and simulation) je modelovacφ a testovacφ nßstroj, navr₧en² pro °eÜenφ stochastisk²ch Φasov∞ zßvisl²ch problΘm∙. KonkrΘtn∞, je to excelentnφ nßstroj pro vÜeobecnΘ pou₧itφ vhodn² k p°edvφdßnφ spolehlivosti, udr₧ovatelnosti a dostupnosti. N∞kterΘ z interaktivnφch funkcφ, kterΘ jsme zabudovali do CARMS : vektorov∞ orientovanß grafika pro konstrukci p°enosov²ch diagram∙, matice p°enosu se vstupnφ obrazovkou dat ve stylu tabulkovΘho procesoru, symbolickß algebra pro zjednoduÜovßnφ problΘm∙, grafickΘ zobrazenφ v²sledk∙ jako funkce Φasu, generovßnφ zprßv na tiskßrnu, plotter nebo do souboru, v²b∞r numerick²ch metod pro °eÜenφ mno₧stvφ problΘm∙, export grafiky do clipboardu (pouze ve verzi pro Windows), standardnφ a kontextovß nßpov∞da (verze pro Windows mß hypertextov² help), rozhranφ DLL (pouze ve verzi pro Windows), expertnφ systΘm u₧ivatelskΘho prost°edφ, kterΘ automatizuje konstrukci model∙.
