An updated version of the booklet on "Trustworthy Systems Engineering with GoedelWorks 3" is available for download. It now contains a chapter on the ARRL criterion and describes the details of the extended GoedelWorks’ metamodel. The latter describes a generic metamodel for Work Packages. New features are illustrated with a concise description of the OpenComRTOS Qualification Project. The booklet can be downloaded from the GoedelWorks [1]page.
Share [2] |
Attachment | Size |
---|---|
SE with GoedelWorks 3.pdf [3] | 9.78 MB |