Use of Graphical Probabilistic Models to build SIL claims based on software safety standards such as IEC61508-3.
Mário BritoJohn MayJulio GallardoEd FergusPublished in: SSS (2006)
Keyphrases
- probabilistic model
- graphical models
- software development
- iso iec
- expectation maximization
- software systems
- safety critical
- open standards
- software tools
- generative model
- software architecture
- international standards
- databases
- development environments
- test cases
- distributed systems
- control system
- case study
- latent variables
- software components
- software projects
- hidden variables
- software maintenance
- communication technologies
- software package
- user interface
- bayesian networks
- nuclear power plant
- information systems