Specifying distributed computer architectures in AADL (Q1116320)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 4088899
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Specifying distributed computer architectures in AADL |
scientific article; zbMATH DE number 4088899 |
Statements
Specifying distributed computer architectures in AADL (English)
0 references
1989
0 references
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.
0 references
formal specification
0 references
formal verification
0 references
hierarchic design
0 references
distributed computer architectures
0 references
architecture description language
0 references
multiprocessor
0 references
0.8725593
0 references
0.8628629
0 references
0.8574071
0 references
0.8566073
0 references
0.8458289
0 references
