Axiomatic Architecture Description Language

**Prof. Dr. Sinsi** · 07-22-2012

* 1

&lt language, architecture, parallel&gt (AADL) A language allowing concise modular specification of multiprocessor architectures from the compiler/operating-system interface level down to chip level

AADL is rich enough to specify target architectures while providing a concise model for clocked microarchitectures

07-22-2012	#1
Prof. Dr. Sinsi	Axiomatic Architecture Description Language * 1&lt language, architecture, parallel&gt (AADL) A language allowing concise modular specification of multiprocessor architectures from the compiler/operating-system interface level down to chip level AADL is rich enough to specify target architectures while providing a concise model for clocked microarchitectures