Fraunhofer USA Center Mid-Atlantic CMASystem and software reliability, safety, and security are critical aspects to the success of many engineering projects. Fraunhofer USA CMA staff are experts in software reliability measurement and modeling, having applied a variety of statistical techniques at organizations such as NASA and Microsoft. We assist organizations in creating empirically based risk and safety measurement and management programs to help project managers and engineers obtain visibility into safety, security, and reliability throughout development. Our experts have developed novel techniques that apply formal modeling and model-based testing methods to evaluate system security and safety.
- Analyze algorithms and architecture to measure impact of upgrading and optimizing systems and components
- Apply formal modeling methods to evaluate system security and safety
- Detect security attacks in real-time using visualization tools and techniques that simplify complex data
- Evaluate open-source components for possible integration with commercial systems, with a focus on risk and benefit analyses
- Model reliability data to predict fault-prone binaries in ongoing development projects
- Create empirically-based risk and safety measurement and management programs to obtain visibility into safety, security, and reliability throughout development
- Quantify software safety risk by analyzing development artifacts
- Collaborate with customers to develop training materials that specify causes of hazards in software