Development tools for bus controller software
Pages 91 - 96
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.
References
[1]
MIL-STD-1553B. U.S. Department of Defense, Sept. 1978.
[2]
Ludewig, J. "Computer Aided Specification of Process Control System." Computer, 15 (1982), 5, pp. 12--20.
[3]
Taylor, B. J. "A Method for Expressing the Functional Requirements of Real Time Systems." Proceedings of the IFAC/IFIP Workshop on Real-Time Programming. Leibnitz, Austria, April 1980, pp. 111--120.
[4]
Teichreow, D. and E. A. Hershey. "PSL/PSA: A Computer-Aided Technique for Structured Documentation and Analysis of Information Processing Systems." IEEE Transactions on Software Engineering, SE-3 (1977), 1, pp. 41--48.
[5]
Davis, A. M. "The Design of a Family of Application-Oriented Requirements Languages." Computer, 15 (1982), 5, pp. 21--28.
[6]
Riddle, W. E. "An Assessment of DREAM." In H. Hunke (ed), Software Engineering Environments. Amsterdam: North-Holland, 1981.
[7]
Alford, M. W. "A Requirements Engineering Methodology for Real-Time Processing Requirements." IEEE Transactions on Software Engineering, SE-3 (1977), 1, pp. 60--69.
[8]
Metzner, J. R. and B. H. Barnes. Decision Table Languages and Systems. New York: Academic Press, 1977.
[9]
Peterson, J. L. Petri Net Theory and the Modeling of Systems. New York: Prentice-Hall, 1981.
[10]
Jorrand, P., J. P. Queille, and J. Sifakis. "Conception et Vérification des Applications Réparties: Présentation du Système CESAR et de développements en cours." Actes des journées BILAN ET PERSPECTIVES DES 20-21-22 JANVIER 1982---Projet Pilote SURF sur la sûreté de fonctionnement des systèmes. Paris: Agence de l'Informatique, 1982.
[11]
Riddle, W. E. "An Approach to Software System Behaviour Description." Computer Languages, 4, (1979), 1, pp. 29--47.
[12]
Anderson, A. R. "The Formal Analysis of Normative Systems." In N. Rescher (ed.), The Logic of Action and Decision. Pittsburgh: University of Pittsburgh Press, 1967.
[13]
Thomas, M. I. "Automatic Generation of Bus Controller Software from its Specification." Unpublished manuscript, 1982. (Submitted for publication.)
Recommendations
Managing Complexity in Software Development with Formally Based Tools
Over the past two decades, formal methods researchers have produced a number of powerful software tools designed to detect errors in, and to verify properties of, hardware designs, software systems, and software system artifacts. Mostly used in the past ...
Declarative Software Development: Distilled Tutorial
PPDP '14: Proceedings of the 16th International Symposium on Principles and Practice of Declarative ProgrammingSoftware development could be said to be declarative, if declarative programming languages were used significantly in the development of a software system. Software development could also be said to be declarative, if lightweight or heavyweight formal ...
Software Engineering Tools
HICSS '00: Proceedings of the 33rd Hawaii International Conference on System Sciences-Volume 8 - Volume 8Automated tools play an important role in the promotion and adoption of software engineering methods and processes. The development of these tools is itself a significant software engineering task, requiring a considerable investment of time and ...
Comments
Information & Contributors
Information
Published In
May 1983
808 pages
ISBN:0882830392
DOI:10.1145/1500676
Copyright © 1983 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Sponsors
- AFIPS: American Federation of Information Processing Societies
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 16 May 1983
Check for updates
Qualifiers
- Research-article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 117Total Downloads
- Downloads (Last 12 months)51
- Downloads (Last 6 weeks)5
Reflects downloads up to 07 Mar 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in