AADL for Security in FPGA Architecture
Rockwell Collins is using AADL in a project to evaluate FPGA architecture in terms of security (pdf, 513 kb). This security evaluation includes properties of the Multiple Independent Levels of Security / Safety (MILS). Chief among the challenges in developing a model suitable for FPGAs is the need to have a provably partitioned system.
Rockwell Collins reports that AADL permits modeling and analysis at design time, before detailed simulation of completed code can be produced. Seeing benefit in using AADL, Rockwell-Collins also uses AADL to analyze IMA system integration (pdf, 1 mb) and to verify automated systems (pdf, 5.5 mb)
Rockwell Collins has made the use of AADL in a new step in its development process to provide early insight into architecture design