State Linked Interface Compliance Engine for Data (SLICED)

Behavioral Modeling

(Model Formats: AADL, FACE, and SysML implemented in MagicDraw)

SLICED allows system engineers to conduct behavioral analysis of models to detect errors in messaging patterns/paradigms, sampling rates, and latency requirements in embedded systems software. It combines timing analysis and Future Airborne Capability Environment (FACE™) data models with descriptions of the state of a software Unit of Portability (UoP).