spex Directory Reference

Directory generated by the spexgyen system for creating traceable specifications.

More...

Files
	qp_config.hpp
	Sample QP/C++ configuration file.
	qp_port.hpp
	Sample QP/C++ port.
	qs_port.hpp
	Sample QS/C++ port.

Detailed Description

Directory generated by the spexgyen system for creating traceable specifications.

Details

Spexygen is a system for creating formal, traceable specifications based on Doxygen, such as:

• functional safety specification (example)
• requirements specification (example)
• architecture specification (example)
• design specification (example)
• source code (example)

Note

The spexyen GitHub repository↑ contains more information and code downloads.