Example Model of a Software Interface

SysML v2 Questions / Help
1

Hello! Is there an example of how to model a software interface? Without a clear structure (yet), I’m thinking along the lines of roles, protocols, methods, messages and data structures, etc..

Thanks!

Tom

2

Tom,

The RTESCS WG is working on representing that portion of a SysML v2 model intended to be high-assurance software, and the electronics that executes it. It is a work in progress available at:

3

We modeled the VoteSecure SDK, and end-to-end verifiable high-assurance cryptographic library, using SysMLv2. Perhaps there are lessons to be learned from it. See VoteSecure/models/sysml-model at main · FreeAndFair/VoteSecure · GitHub