Intercomponent Compatibility Gauge
Mitigate risks of combining potentially incompatible components
Component interaction critique based on formal declarative model
- Models describe component- interaction requirements
- Model-checking analysis of system safety properties
- Automatic generation of warning indicators for potentially unsafe interactions