Specifying distributed computer architectures in AADL (Q1116320)

This paper presents a specification-methodology for distributed computer architectures based on the axiomatic architecture description language AADL. AADL allows for a modular and concise specification of multiprocessor architectures at levels of abstraction ranging from compiler/operating-system interface down to chip-level. The specification method is illustrated by several examples taken from an AADL-definition of an abstract view of DOOM, a distributed object oriented machine, currently developed at Philips Research Laboratories, Eindhoven within ESPRIT-project 415.