Quantitative analysis methodology in safety-critical microprocessor applications.
João Batista Camargo Jr.Edmur CanzianJorge Rady de Almeida Jr.Sérgio Miranda PazBruno Abrantes BassetoPublished in: Reliab. Eng. Syst. Saf. (2001)
Keyphrases
- quantitative analysis
- safety critical
- qualitative analysis
- qualitative and quantitative analysis
- design methodology
- formal methods
- nuclear power plant
- fault tolerant
- qualitative evaluation
- safety analysis
- agent architecture
- embedded systems
- regulatory requirements
- adaptive systems
- support systems
- software components
- control system
- information systems