Abstract
This paper presents two extensions to the axlomatic architecture description language AADL [11], which together allow for a modular and concise specification of multiprocessor architectures at levels of abstraction ranging from compiler/operating-system interface down to register-transfer-level. The specification method is illustrated by an AADL-definition of a top-level view of DOOM, a distributed object oriented machine, currently developed at Phillps Research Labs., Eindhoven [19,20] within ESPRIT-project 415.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Annot, J.K., and van Twist, R. Description of the communication processor of DOOM, Proceedings Conference on on Parallel Architectures and Languages Europe, Lecture Notes in Computer Science, Springer-Verlag, June 1987
Barbacci, M.R., Structural and behavioural descriptions of digital systems, New Computer Architectures (eds. J. Tiberghien), International Lecture Series in Computer Science, 1984, pp. 140–223
Bergstra, J.A., and Klop, J.W., Algebra of Communicating Processes, Proceedings of the CWI Symposium Mathematics and Computer Science (eds. J.W. de Bakker, M. Hazewinkel and J.K. Lenstra), North-Holland, Amsterdam 1986
Berthelot, G., and Terrat, R., Petri Nets Theory for the Correctness of Protocols, Proceedings of the IFIP WG 6.1 Second International Workshop on Protocol Specification, Testing, and Verification (eds. C. Sunshine), North-Holland, 1982
Cardeill, L, ML under UNIX, Polymorphism Newsletter Vol. 1, No. 3, 1983
Clarke, E.M., Emerson, E.A., and Sistla, A.P., Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications, ACM Transactions on Programming Languages and Systems, Vol. 8, No. 2, April 1986, pp. 244–263
Dasgupta, S., The Design and Description of Computer Architectures, John Wiley & Sons, New York, 1984
Dasgupta, S. Computer Design and Description Languages, Advances in Computers, Vol. 21, Academic Press, New York, 1982, pp. 91–154
Dasgupta, S., and Heinanen, J., On the Axiomatic Specification of Computer Architectures, Proc. CHDL '85, North-Holland, 1985
Damm, W., Automatic Generation by Simulation Tools: A Case Study in the Design of a Retargetable Firmware Development System, in: Advances in Microprocessing and Microprogramming, edts. B. Myhrhaug and D.R. Wilson, EUROMICRO, Elsevier Science Publishers B.V., North-Holland, 1984, pp. 165–176
Damm, W., Döhmen, G., Merkel, K., and Sichelschmidt, M., The AADL/S*-Approach to Firmware Design Verification, IEEE Software Magazine, Vol. 3, No. 4, 1986, pp. 27–37
Hudak, P., and Smith, L., Para-Functional Programming: A Paradigm for Programming Multiprocessor Systems, Proc. 13th POPL, 1986
Klaeren, H., An Introduction Into Algebraic Specifications, Springer-Verlag, 1986
Lamport, L., Specifying Concurrent Program Modules, ACM Trans. Program. Lang. Systems, Vol. 5, 1983, pp. 190–222
Lamport, L., "Sometime" Is sometimes "not never", Proc. POPL '80, pp. 174–185.
Loogen, R., PAM — A parallel abstract reduction machine for the Implementation of serial combinator systems, technical report, RWTH Aachen, 1987
Manna, Z., and Pnuell, A., Temporal Verification of Concurrent Programs: The Temporal Framework, The Correctness Problem In Computer Science (eds. R.S. Boyer, J. Strother Moore), International Lecture Series in Computer Science, 1981, pp. 215–273
Milner, R., A Calculus of Communicating Systems, Lecture Notes in Computer Science 92, Springer-Verlag, Berlin, 1980
Odijk, E.A.M., The Philips Object-Oriented Parallel Computer, In: Fifth Generation Computer Architectures, edt. J.V. Woods, North-Holland, 1985
Odijk, E.A.M., van Twist, R., Janssens, M., and Bronnenberg, W., The Architecture of DOOM, Proc. of the ESPRIT Summer School on Future Parallel Computers, Lecture Notes in Computer Science, Springer-Verlag, 1987
Olderog, E.-R., Specification-oriented programming in TCSP, in: Logics and Models of Concurrent Systems (eds. K.R. Apt), NATO ASI Series, Series F: Computer and System Sciences. Vol. 13, Springer-Verlag, 1985
Pinter, S.S., and Wolper, P., A Temporal Logic for Reasoning about Partially Ordered Computations, Proceedings of the Third Annual Symposium on Principles of Distributed Computing, 1984
Reisig, W., Petrinetze, Springer-Verlag, Berlin, 1982
Warren, D.H.D., An Abstract Prolog Instruction Set, SRI Technical Report, SRI International, Monto Park, CA, 1983
Hoare, C.A.R. Communicating Sequential Processes, Communications ACM, Vol. 21, 1978, pp. 666–677
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Damm, W., Doehmen, G. (1987). An axiomatic approach to the specification of distributed computer architectures. In: de Bakker, J.W., Nijman, A.J., Treleaven, P.C. (eds) PARLE Parallel Architectures and Languages Europe. PARLE 1987. Lecture Notes in Computer Science, vol 258. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-17943-7_123
Download citation
DOI: https://doi.org/10.1007/3-540-17943-7_123
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-17943-6
Online ISBN: 978-3-540-47144-8
eBook Packages: Springer Book Archive