         CARMS for MS-DOS (Version 1.1)
         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
This shareware package contains the MS-DOS version of CARMS.

The graphics drivers (*.BGI) must be accessible to run the program.  
Place these drivers and the *.HLP, *.CFG files in the directory X:\CARMS,
where X is the name of the target disk.

Typical manual installation:
   MKDIR C:\CARMS
   COPY A:\*.* C:\CARMS\*.*
   (optionally add C:\CARMS to the DOS PATH variable)
   
After starting CARMS, the initial screen prompts for :
    '1'   Standard entry
    '2'   Automatic Markov model generation
          (this loads "ENTRY.EXE" before running CARMS)

Entering "CARMS -v N", where N is 0-5 allows access to any supported 
super VGA modes.  For IBM 8514 emulation, use "CARMS -i".

The rest of this file contains information on:
  - Background and application of CARMS
  - Example files included with CARMS
  - Free-running demo of CARMS
  - Registering CARMS
  
-------------------------------------------------------------------------
CARMS - Markov Modeling and Reliability Analysis for MS-DOS and MS-Windows 

Fault-tolerant system design requires a special class of engineering 
methods and tools. For example, the technique of Markov modeling plays 
a significant role in system reliability analysis. To further assist in 
model construction and automatic evaluation, combining Markov modeling and 
computer-aided techniques would be a great help to the designer. Thus, we 
have developed a Markov modeling tool called CARMS for the Microsoft 
DOS and Windows operating environments to provide extensive fault-tolerant 
design support.  

CARMS (computer-aided rate modeling and simulation) is a modeling 
and evaluation tool designed to solve a wide range of stochastic time-
dependent, prediction-oriented problems. In particular, it excels as a 
general purpose tool suitable for reliability, maintainability, and 
availability prediction. Some of the interactive features we have 
incorporated in CARMS include:

 - Vector-based graphics for constructing transition diagrams.
 - Transition matrix with a spreadsheet-style data input screen.
 - Symbolic algebra for simplifying problems.
 - Graphical display of results as a function of time.
 - Generation of reports to printer, plotter, or file.
 - Choice of numerical routines for solving a range of problems.
 - Export graphics to clipboard (MS-Windows version only).
 - Standard help with context sensitivity (MS-Windows has hypertext help).
 - A dynamic link library interface (MS-Windows version only). 
 - Expert-system front end which automates model construction (MS-Windows).

The MS-Windows CARMS package comes complete with a 250 page textbook and 
user's guide called "Markov Modeling for Reliability Analysis". 
The standard Windows 3.1 version lists at $250 plus $5 shipping.  
For complete description, brochure, and ordering information contact:

DAINA
4111 Central Ave. NE, Suite 212
Minneapolis, MN 55421
phone or FAX: 612-781-7600
Internet email: pukite@daina.com

----------------------------------------------------------------------------
Additional models included in the package are the following:
 (CARMS models and examples have the extension *.CRM)

1_AND_1.CRM         One element operating and one spare
1_AND_2.CRM         3 unit standby system      
2ELEM.CRM           Two-element parallel system        
2STAGERP.CRM        Two stage repair
3CUBE.CRM           Three-dimensional hypercube      
3DEGRADE.CRM        Three element parallel system with degraded modes
3STATE.CRM          System with one intermediate marginal state        
BACKUP.CRM          Simple backup system      
CARMS.CRM           CARMS flowchart
CONGEST.CRM         Queueing (waiting line) system
DIODE1.CRM          Parallel redundant diode configuration 
DIODE2.CRM          Parallel redundant diode configuration #2 
ECOSYST.CRM         Ecological system 
FAILMON.CRM         Single system with failure monitor        
FEHM.CRM            Fault/Error handling model      
FIVESTAT.CRM        Spare modules fault-tolerant system
HALFLOAD.CRM        Two-element parallel load-sharing system        
HEATED.CRM          One channel queueing system with heated channel      
MAJVOT2.CRM         Majority voting system, at least 2 elements operational
MAJVOT1.CRM         Majority voting system, at least 2 elements operational 
MISSION.CRM         Two-state system split into 2 different mission profiles
MIXEDPOP.CRM        The initial populations are states P1 and P2        
MRM.CRM             COMPLEX fault-tolerant design of gyro assembly
NAVSYST.CRM         Navigation system example
N_ITEMS.CRM         Two-state system with N identical parts        
ONEREPAI.CRM        Redundant configuration with repair        
ONESPARE.CRM        One spare replacement capacity        
PAIRDEV.CRM         Maintenance example.
PAIRMAIN.CRM        Primary is repaired while spare is in operation        
PROCESS.CRM         Real-time system model 
REPAIR.CRM          Simple maintenance        
SIMPLE.CRM          1 out of 1 parallel system      
SOFTFAIL.CRM        Software failure model      
STANDMN2.CRM        System with 2 standby units and attached monitor        
STANDMON.CRM        System with 2 standby units and attached monitor        
STORFAIL.CRM        1 and 1 Standby, non-operating element can fail      
SWITFAIL.CRM        1 and 1 Standby, switch can fail in two nodes      
TWOELEM.CRM         Two-element parallel system        
TWOMODES.CRM        Two failure modes are given by states P1 and P2        
TWORATES.CRM        Two-state system with 2 different parts        
TWOREPAI.CRM        Redundant configuration with repair        
TWOSPARE.CRM        Two spare replacement capacity        
TWOSTATE.CRM        Simple two state system
TWO_OPER.CRM        Two operating modes with different failure rates        
VOYAGER.CRM         Generalized fault-tolerant design of Voyageur spacecraft 
WEIBULL.CRM         Weibull failure distribution        
WEIBULL2.CRM        Weibull failure distribution        

After loading a *.CRM fie, if "Enter rate" is displayed on the screen, 
a numerical value should be substituted within that cell.

----------------------------------------------------------------------------
CDEMO is a free-running demonstration program. To run the demo, type CDEMO.  
Start the demo by entering '1'or '2' (RK or BD model) from main menu.  
Pressing any other key runs the default model RK.  Three demonstration speeds 
are available, press any key to toggle between the speeds.  To pause the demo, 
press the <pause> key. Pressing any other key will continue the demonstration. 
To stop demo at any time, press 'q'.

----------------------------------------------------------------------------
This software package of CARMS for MS-DOS is freely distributable.
To register the software, send $19 (plus $5 shipping fee) to address below 
and you will receive a 60-page bound hard-copy manual and a function-key 
template for the keyboard in return.

Registration and questions to: DAINA Engineering
                               4111 Central Ave. NE, Suite 212
                               Columbia Heights, MN 55421
                               Phone: (612) 781-7600. (also FAX)
                               EMail: pukite@daina.com
                                      
This software and its documentation are provided "AS IS" and without 
any expressed or implied warranties whatsoever.  No warranties as to 
performance, merchantability, or fitness for a particular purpose exist.

The user is advised to test the software thoroughly before relying on it.  
The user must assume the entire risk and liability of using this software.  
In no event shall any person or organization of people be held responsible 
for any direct, indirect, consequential or inconsequential damages or lost 
profits.
