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: 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