spex Directory Reference

Directory generated by the spexgyen system for creating traceable specifications.

More...

Files
	options.lnt
	PC-Lint-Plus option file for linting QP/C source code.
	qp_config.h
	Sample QP/C configuration file.
	qp_port.h
	Sample QP/C port.
	qpc.lnt
	PC-Lint-Plus option file for analysing both QP/C and QP/C Applications
	qs_port.h
	Sample QS/C port.
	std.lnt
	PC-Lint-Plus standard option file.

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.