Development tools for bus controller software

Authors:
M. I. Thomas
Affiliations:
TECSI-SOFTWARE, Paris, France
Venue:
AFIPS '83 Proceedings of the May 16-19, 1983, national computer conference
Year:
1983

Citing 6
Cited 0

Petri Net Theory and the Modeling of Systems

Petri Net Theory and the Modeling of Systems
Decision Table Languages and Systems

Decision Table Languages and Systems
PSL/PSA: A Computer-Aided Technique for Structured Documentation and Analysis of Information Processing Systems

IEEE Transactions on Software Engineering
A Requirements Engineering Methodology for Real-Time Processing Requirements

IEEE Transactions on Software Engineering
Computer-Aided Specification of Process Control Systems

Computer
The Design of a Family of Application-Oriented Requirements Languages

Computer

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper addresses the problem of software specification and generation for bus controller software. This software is representative of a class of software modules for which the tools may be used. Two tools are described, a simple language in which to specify the module and a program generator that produces code directly from the specifications. The language uses finite state diagram ideas as do many other specification languages, but is constrained so that generation of high-quality code is feasible. A brief outline of the structure of the code generated is given, followed by some indications of the performance of the tools and the experience gained from their use.