As embedded systems get more complex, designers need a way to specify them in an effective and non-ambiguous manner.
Intel® CoFluent™ Studio for Timed-Behavioral Modeling lets engineers create executable specifications of their system by modeling its functionality and use cases using simple yet powerful graphical notations. The strong semantics of notations allow simulation of the model. Algorithms can be left empty and abstracted by their sole execution time budgets, or defined with C/C++ or MATLAB/Simulink. Communications are based on real data defined in C/C++ or just represent "tokens" with timestamps and payload. Simulations are driven by use cases for validating the model behavior and time properties.
Intel® CoFluent™Studio users can archive models into single .cof files and send them to project stakeholders who view models and playback simulation with the free Intel® CoFluent™ Reader.
How to specify an embedded system and validate its specification?
Solution: Executable specifications, use cases modeling
Behavioral/functional modeling and verification. SystemC generation for reuse in verification environments