spex Directory Reference

Directory generated by the spexgyen system for creating traceable specifications.

More...

Files
	qp_config.h
	Sample QP/C configuration file.
	qp_port.h
	Sample QP/C port.
	qs_port.h
	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.