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