---

Title: CAETI Architectural Modeling Performer(s): Michael K. Smith Computational Logic, Inc. 1717 W. 6th, Suite 290 Austin, TX 78703 Donald I. Good Computational Logic, Inc. J. Strother Moore Computational Logic, Inc.

Cluster: ENABLING TECHNOLOGIES Contact Information: Phone: 512-322-9951 Fax: 512-322-0656 email: mksmith@cli.com Phone: 512-322-9951 email: good@cli.com Phone: 512-322-9951 email: moore@cli.com

---

1. Instructional Focus:
Content areas/topics: Not applicable.
Process skills: Not applicable.

2. Target Population: CAETI system engineers.

3. Summary Description: Computationl Logic Inc. (CLI) is collaborating with the CAETI system engineers to produce mathematical models of various parts of the CAETI system. CLI will improve and extend its modeling tool, ACL2, as required to provide effective support for modeling CAETI. The mathematical models of the system components will simplify the process of tying the products together.

CLI produces formal mathematical models of systems and proves properties of them. One avenue they are interested in exploring is the combination of their tools with more traditionally used approaches and tools.

4. Training and Staff Development:

• Teacher prerequisite skills/knowledge needed: Not applicable.
• Student prerequisite skills needed: Not applicable.
• Training needed/provided: None specified.
• Technical support needed/provided: None specified.

5. Technological Resources Needed: Preferred hardware/OS: Sun/Sun OS 4.1.3,
Solaris 2.x.

6. Intended Outcomes:
Students: Not applicable.
Teachers: Not applicable.

7. Instructional Time Required: Not applicable.

8. Role of the Pilot Teacher(s): Not applicable.

9. Example(s) of the Use of this Product (Scenario): a.) CLI is constructing Evaluation Agents to monitor the preservation of formal specifications within CAETI systems. These agents can be configured to notify performers when their components diverge from system requirements. b.) Two teams of CAETI performers are developing programs which they feel would work well with each other. They contact the CLI performers for technical assistance in pinning down the interface requirements needed to link the programs.

For more information link to Computational Logic, Inc. Return to CAETI Projects Table of Contents Return to WestEd/Far West Laboratory CAETI Education Resources