The text covers both basic and advanced techniques based on state performance systems and binary systems. It presents a dynamic reliability analysis of safety-critical systems using Petri Nets and dynamic resource allocation modeling of software with patching.