A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is
(RDAL) that we are developing as an annex of the Architecture Analysis and Design Language (AADL). ... traditional processes, but with a price of higher effort in the design phases performed by well-trained and experienced personnel. ... Compared to process-oriented certification procedures, recent approaches provide evidence for dependability by the thorough evaluation of the product itself and the adequacy, coverage and maturity of design ...doi:10.4230/dagrep.3.1 fatcat:tt7daiu6fjhb3i3npxmz5ul2gy