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

build a potentially executable (down the road) SysML model of these behavioral specs using Individuals and Snapshots. #56

Open
kiniry opened this issue Jan 5, 2022 · 0 comments
Open

build a potentially executable (down the road) SysML model of these behavioral specs using Individuals and Snapshots. #56

kiniry opened this issue Jan 5, 2022 · 0 comments
Labels
assurance Issues that relate to the assurance of the system, whether via models, code, informal, or formal. ENHANCEMENT New feature or request 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. SysML Issues related to our SysML specifications, or use thereof. verification
Milestone
SysML

Comments

@kiniry
Copy link
Member

kiniry commented Jan 5, 2022

We won't do this in this project, but will look into doing this later once a vendor has support for such, after this project is compete.
@kiniry kiniry added ENHANCEMENT New feature or request verification assurance Issues that relate to the assurance of the system, whether via models, code, informal, or formal. Q/A Quality assurance issue; validation, testing, and formal assurance. SysML Issues related to our SysML specifications, or use thereof. labels Jan 5, 2022
@kiniry kiniry added the Someday Issues that are not required by our current contract, but we'd like to attend to someday. label Apr 18, 2022
@kiniry kiniry added this to the SysML 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. ENHANCEMENT New feature or request 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. SysML Issues related to our SysML specifications, or use thereof. verification
Projects
None yet
Milestone
SysML
Development

No branches or pull requests
1 participant
@kiniry