Matches in SemOpenAlex for { <https://semopenalex.org/work/W2116729362> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2116729362 abstract "Systems engineering, and especially the modeling of safety critical systems, needs proper means for early Validation and Verification (V&V) to detect critical issues as soon as possible. The objective of our work is to identify a verifiable subset of SysML that is usable by system engineers, while still amenable to automatic transformation towards formal verification tools. As we are interested in proving safety properties expressed using invariants on states, we consider the B method for this purpose. Our approach consists in an alignment of SysML concepts with an identified subset of the B method, using semantic similarities between both languages. We define a restricted SysML extended by a lightweight profile and a transformation towards the B method for V&V purposes. The obtained process is applied to a simplified concrete case study from the railway industry: a SysML model is designed with safety properties, then automatically transformed into B, and finally imported into Atelier-B for automated proof of the properties." @default.
- W2116729362 created "2016-06-24" @default.
- W2116729362 creator A5029140176 @default.
- W2116729362 creator A5038706453 @default.
- W2116729362 creator A5075253443 @default.
- W2116729362 creator A5079739010 @default.
- W2116729362 creator A5086536054 @default.
- W2116729362 date "2012-10-01" @default.
- W2116729362 modified "2023-09-25" @default.
- W2116729362 title "Aligning SysML with the B method to provide V&V for systems engineering" @default.
- W2116729362 cites W1554863622 @default.
- W2116729362 cites W1594713439 @default.
- W2116729362 cites W1978613757 @default.
- W2116729362 cites W1985804037 @default.
- W2116729362 cites W2023898761 @default.
- W2116729362 cites W2024402979 @default.
- W2116729362 cites W2043752124 @default.
- W2116729362 cites W2044215459 @default.
- W2116729362 cites W2111247753 @default.
- W2116729362 cites W2169223127 @default.
- W2116729362 doi "https://doi.org/10.1145/2427376.2427379" @default.
- W2116729362 hasPublicationYear "2012" @default.
- W2116729362 type Work @default.
- W2116729362 sameAs 2116729362 @default.
- W2116729362 citedByCount "15" @default.
- W2116729362 countsByYear W21167293622013 @default.
- W2116729362 countsByYear W21167293622014 @default.
- W2116729362 countsByYear W21167293622015 @default.
- W2116729362 countsByYear W21167293622016 @default.
- W2116729362 countsByYear W21167293622017 @default.
- W2116729362 countsByYear W21167293622018 @default.
- W2116729362 countsByYear W21167293622021 @default.
- W2116729362 crossrefType "proceedings-article" @default.
- W2116729362 hasAuthorship W2116729362A5029140176 @default.
- W2116729362 hasAuthorship W2116729362A5038706453 @default.
- W2116729362 hasAuthorship W2116729362A5075253443 @default.
- W2116729362 hasAuthorship W2116729362A5079739010 @default.
- W2116729362 hasAuthorship W2116729362A5086536054 @default.
- W2116729362 hasBestOaLocation W21167293622 @default.
- W2116729362 hasConcept C104317684 @default.
- W2116729362 hasConcept C115903868 @default.
- W2116729362 hasConcept C127413603 @default.
- W2116729362 hasConcept C136764020 @default.
- W2116729362 hasConcept C145644426 @default.
- W2116729362 hasConcept C154945302 @default.
- W2116729362 hasConcept C185592680 @default.
- W2116729362 hasConcept C199360897 @default.
- W2116729362 hasConcept C201995342 @default.
- W2116729362 hasConcept C204241405 @default.
- W2116729362 hasConcept C206880738 @default.
- W2116729362 hasConcept C21285288 @default.
- W2116729362 hasConcept C2776436953 @default.
- W2116729362 hasConcept C2777904410 @default.
- W2116729362 hasConcept C2779791154 @default.
- W2116729362 hasConcept C2780615836 @default.
- W2116729362 hasConcept C41008148 @default.
- W2116729362 hasConcept C55493867 @default.
- W2116729362 hasConcept C98045186 @default.
- W2116729362 hasConceptScore W2116729362C104317684 @default.
- W2116729362 hasConceptScore W2116729362C115903868 @default.
- W2116729362 hasConceptScore W2116729362C127413603 @default.
- W2116729362 hasConceptScore W2116729362C136764020 @default.
- W2116729362 hasConceptScore W2116729362C145644426 @default.
- W2116729362 hasConceptScore W2116729362C154945302 @default.
- W2116729362 hasConceptScore W2116729362C185592680 @default.
- W2116729362 hasConceptScore W2116729362C199360897 @default.
- W2116729362 hasConceptScore W2116729362C201995342 @default.
- W2116729362 hasConceptScore W2116729362C204241405 @default.
- W2116729362 hasConceptScore W2116729362C206880738 @default.
- W2116729362 hasConceptScore W2116729362C21285288 @default.
- W2116729362 hasConceptScore W2116729362C2776436953 @default.
- W2116729362 hasConceptScore W2116729362C2777904410 @default.
- W2116729362 hasConceptScore W2116729362C2779791154 @default.
- W2116729362 hasConceptScore W2116729362C2780615836 @default.
- W2116729362 hasConceptScore W2116729362C41008148 @default.
- W2116729362 hasConceptScore W2116729362C55493867 @default.
- W2116729362 hasConceptScore W2116729362C98045186 @default.
- W2116729362 hasLocation W21167293621 @default.
- W2116729362 hasLocation W21167293622 @default.
- W2116729362 hasOpenAccess W2116729362 @default.
- W2116729362 hasPrimaryLocation W21167293621 @default.
- W2116729362 hasRelatedWork W1982132442 @default.
- W2116729362 hasRelatedWork W1985098546 @default.
- W2116729362 hasRelatedWork W2115766632 @default.
- W2116729362 hasRelatedWork W2116729362 @default.
- W2116729362 hasRelatedWork W2349339245 @default.
- W2116729362 hasRelatedWork W2373053205 @default.
- W2116729362 hasRelatedWork W2376950115 @default.
- W2116729362 hasRelatedWork W2395270945 @default.
- W2116729362 hasRelatedWork W2601917318 @default.
- W2116729362 hasRelatedWork W2610507269 @default.
- W2116729362 isParatext "false" @default.
- W2116729362 isRetracted "false" @default.
- W2116729362 magId "2116729362" @default.
- W2116729362 workType "article" @default.