Software Architecture Compliance Checking (ACC) focuses on analyzing whether the actual implemented source code adheres to the intended architecture. HUSACCT, developed and maintained by Leo Pruijt (HU), is a static ACC tool that adds extensive support for semantically rich modular architectures (SRMAs). An SRMA contains modules of semantically different types, such as layers, components and systems, which are constraint by rules of different types.
Useful links:
HUSACCT