Matches in SemOpenAlex for { <https://semopenalex.org/work/W2970154738> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2970154738 abstract "System assurance involves assuring properties of both a target system itself and the system life cycle acting on it. Assurance of the latter seems less understood than the former, due partly to the lack of consensus on what a ‘life cycle model’ is. This paper proposes a formulation of life cycle models that aims to clarify what it means to assure that a life cycle so modelled achieves expected outcomes. Dependent Petri Net life cycle model is a variant of coloured Petri nets with inputs and outputs that interacts and controls the real life cycle being modelled. Tokens held at a place are data representing artefacts together with assurance that they satisfy conditions associated with the place. The ‘propositions as types’ notion is used to represent evidence(proofs) for assurance as data included in tokens. The intended application is a formulation of the DEOS life cycle model with assurance that it achieves open systems dependability, which is standardised as IEC 62853." @default.
- W2970154738 created "2019-09-05" @default.
- W2970154738 creator A5005372912 @default.
- W2970154738 creator A5031449025 @default.
- W2970154738 creator A5076083635 @default.
- W2970154738 date "2019-01-01" @default.
- W2970154738 modified "2023-09-25" @default.
- W2970154738 title "A Modelling Approach for System Life Cycles Assurance" @default.
- W2970154738 cites W1552644025 @default.
- W2970154738 cites W1582770677 @default.
- W2970154738 cites W1943924251 @default.
- W2970154738 cites W2109499854 @default.
- W2970154738 cites W2139936810 @default.
- W2970154738 doi "https://doi.org/10.1007/978-3-030-26250-1_2" @default.
- W2970154738 hasPublicationYear "2019" @default.
- W2970154738 type Work @default.
- W2970154738 sameAs 2970154738 @default.
- W2970154738 citedByCount "1" @default.
- W2970154738 countsByYear W29701547382021 @default.
- W2970154738 crossrefType "book-chapter" @default.
- W2970154738 hasAuthorship W2970154738A5005372912 @default.
- W2970154738 hasAuthorship W2970154738A5031449025 @default.
- W2970154738 hasAuthorship W2970154738A5076083635 @default.
- W2970154738 hasConcept C106436119 @default.
- W2970154738 hasConcept C108710211 @default.
- W2970154738 hasConcept C115903868 @default.
- W2970154738 hasConcept C120314980 @default.
- W2970154738 hasConcept C127413603 @default.
- W2970154738 hasConcept C199360897 @default.
- W2970154738 hasConcept C200601418 @default.
- W2970154738 hasConcept C21547014 @default.
- W2970154738 hasConcept C2524010 @default.
- W2970154738 hasConcept C2777904410 @default.
- W2970154738 hasConcept C2778618615 @default.
- W2970154738 hasConcept C2780795517 @default.
- W2970154738 hasConcept C30452754 @default.
- W2970154738 hasConcept C33923547 @default.
- W2970154738 hasConcept C35280785 @default.
- W2970154738 hasConcept C38652104 @default.
- W2970154738 hasConcept C38677869 @default.
- W2970154738 hasConcept C41008148 @default.
- W2970154738 hasConcept C527648132 @default.
- W2970154738 hasConcept C77019957 @default.
- W2970154738 hasConceptScore W2970154738C106436119 @default.
- W2970154738 hasConceptScore W2970154738C108710211 @default.
- W2970154738 hasConceptScore W2970154738C115903868 @default.
- W2970154738 hasConceptScore W2970154738C120314980 @default.
- W2970154738 hasConceptScore W2970154738C127413603 @default.
- W2970154738 hasConceptScore W2970154738C199360897 @default.
- W2970154738 hasConceptScore W2970154738C200601418 @default.
- W2970154738 hasConceptScore W2970154738C21547014 @default.
- W2970154738 hasConceptScore W2970154738C2524010 @default.
- W2970154738 hasConceptScore W2970154738C2777904410 @default.
- W2970154738 hasConceptScore W2970154738C2778618615 @default.
- W2970154738 hasConceptScore W2970154738C2780795517 @default.
- W2970154738 hasConceptScore W2970154738C30452754 @default.
- W2970154738 hasConceptScore W2970154738C33923547 @default.
- W2970154738 hasConceptScore W2970154738C35280785 @default.
- W2970154738 hasConceptScore W2970154738C38652104 @default.
- W2970154738 hasConceptScore W2970154738C38677869 @default.
- W2970154738 hasConceptScore W2970154738C41008148 @default.
- W2970154738 hasConceptScore W2970154738C527648132 @default.
- W2970154738 hasConceptScore W2970154738C77019957 @default.
- W2970154738 hasLocation W29701547381 @default.
- W2970154738 hasOpenAccess W2970154738 @default.
- W2970154738 hasPrimaryLocation W29701547381 @default.
- W2970154738 hasRelatedWork W1485541276 @default.
- W2970154738 hasRelatedWork W1976638601 @default.
- W2970154738 hasRelatedWork W2132341844 @default.
- W2970154738 hasRelatedWork W2135225114 @default.
- W2970154738 hasRelatedWork W2253256285 @default.
- W2970154738 hasRelatedWork W2396599887 @default.
- W2970154738 hasRelatedWork W2396716078 @default.
- W2970154738 hasRelatedWork W2404729238 @default.
- W2970154738 hasRelatedWork W2767283501 @default.
- W2970154738 hasRelatedWork W2970154738 @default.
- W2970154738 isParatext "false" @default.
- W2970154738 isRetracted "false" @default.
- W2970154738 magId "2970154738" @default.
- W2970154738 workType "book-chapter" @default.