The goal of this project is to connect architecture documentation and models while identifying missing
or deviating elements (inconsistencies). An element can be any representable item of the model, like a component
or a relation. To do so, we first create trace links and then make use of them and other information to identify
inconsistencies. ArDoCo is actively developed by researchers of the Modelling for Continuous Software Engineering
(MCSE) group of KASTEL - Institute of Information Security and Dependability at the KIT. This work was supported by
funding from the topic Engineering Secure Systems of the Helmholtz Association (HGF) and by KASTEL Security Research
Labs (46.23.01).