Accession Number : ADA336406

Title :   Applications of the Theory of Distributed and Real Time Systems to the Development of Large- Scale Timing Based Systems

Descriptive Note : R&D status rept 1 Oct-12 Dec 97

Corporate Author : MASSACHUSETTS INST OF TECH CAMBRIDGE

Personal Author(s) : Lynch, Nancy

PDF Url : ADA336406

Report Date : DEC 1997

Pagination or Media Count : 11

Abstract : We continued our project on the IOA language and toolset, which are designed to support our formal approach to distributed system design and analysis. The design of the IOA language is substantially complete, and appears in a language manual on the web. This quarter, work continued on the development of tools for the IOA language; our toolset will include a parser and static semantic checker, composition routine, support for levels of abstraction interfaces with theorem provers and model checkers, a simulator, and a code generator for real distributed code.

Descriptors :   *REAL TIME, *PROGRAMMING LANGUAGES, DISTRIBUTION, THEORY, CODING, SCALE, MANUAL OPERATION, TOOL KITS, CODERS, PARSERS, TIMING DEVICES.

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE