Методологія зазначених аналізів базується як на детерміністичних, так і на імовірнісних підходах. Програмні засоби, які використовуються при проведенні таких аналізів, повинні бути верифіковані і валідовані. Методологія аналізів безпеки удосконалюється на основі новітніх науково-технічних даних.