No image available, showing a placeholder.

Key highlights

The fentISS Xoncrete is an integrated editor and analysis tool performing the schedulability analysis of a partitioned system. Xoncrete is designed to comply with the ARINC 653 system model.

Xoncrete generates the plan automatically by simulating the execution of the system using the scheduler and the model defined by the user.

The tool has been fully coded in standard C. The user frontend is based on web standards (HTML, CSS, Javascript, AJAX). Comprehensive documentation is available for identifying the temporal properties, recommendations and modelling patterns.

Key features

Rich Temporal Model
Modular system description with contextual information
Generates XtratuM configuration files
Intuitive error reporting

Disclaimer: satsearch is not responsible for any mistakes on this page, although we do our best to ensure correctness. Please report any mistakes to us.

Last updated: 2022-03-17

fentISS S.L.