Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

create new top-level Makefile that drives all system builds and V&V #95

Open
kiniry opened this issue Mar 1, 2022 · 0 comments
Open

create new top-level Makefile that drives all system builds and V&V #95

kiniry opened this issue Mar 1, 2022 · 0 comments
Labels
assurance Issues that relate to the assurance of the system, whether via models, code, informal, or formal. build system Issues that relate to our build system, both on development systems as well as in continuous integra ENHANCEMENT New feature or request feature model On Deck Q/A Quality assurance issue; validation, testing, and formal assurance. Someday Issues that are not required by our current contract, but we'd like to attend to someday.
Milestone
Second Polishing ...

Comments

@kiniry
Copy link
Member

kiniry commented Mar 1, 2022

Top level build documentation and rules should drive through the full build of all digital twins, typechecking and V&V of all specs, all assurance cases, and all runtime verification across all twins.

All top-level build rules must directly reflect specific feature model configurations. I'll add some commentary to this issue to explain such soon.

The README.md must be updated also to reflect the storytelling around the affects and goals of this top-level build system.
@kiniry kiniry added ENHANCEMENT New feature or request On Deck assurance Issues that relate to the assurance of the system, whether via models, code, informal, or formal. build system Issues that relate to our build system, both on development systems as well as in continuous integra feature model Q/A Quality assurance issue; validation, testing, and formal assurance. labels Mar 1, 2022
@kiniry kiniry added this to the Task 3: Evaluation milestone Mar 1, 2022
@kiniry kiniry removed this from the Task 3: Evaluation milestone Oct 28, 2022
@kiniry kiniry added the Someday Issues that are not required by our current contract, but we'd like to attend to someday. label Oct 28, 2022
@kiniry kiniry added this to the Second Polishing Release milestone May 22, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
assurance Issues that relate to the assurance of the system, whether via models, code, informal, or formal. build system Issues that relate to our build system, both on development systems as well as in continuous integra ENHANCEMENT New feature or request feature model On Deck Q/A Quality assurance issue; validation, testing, and formal assurance. Someday Issues that are not required by our current contract, but we'd like to attend to someday.
Projects
None yet
Milestone
Second Polishing Release
Development

No branches or pull requests
1 participant
@kiniry