FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3101524683> ?p ?o ?g. }

• W3101524683 abstract "The ever-increasing complexity of cyber physical systems drives the need for assurance of critical infrastructure and embedded systems. Building assurance cases is a way to increase confidence in systems. In general, the construction of assurance cases is a manual process and the resulting artifacts are not machine analyzable. The High Assurance Systems team at GE Research is developing technology to support generation of formalized assurance cases for systems, which are both human-readable and machine-analyzable. We have developed a Semantic Application Design Language Assurance Toolkit (SADL-AT) including a semantic model to formalize the Goal Structuring Notation for assurance cases. This paper describes the toolkit SADL-AT and demonstrates the capabilities and effectiveness of SADL-AT by building security and safety assurance case fragments for an unmanned aerial vehicle-based example - a delivery drone." @default.
• W3101524683 created "2020-11-23" @default.
• W3101524683 creator A5011767978 @default.
• W3101524683 creator A5028945414 @default.
• W3101524683 creator A5029487218 @default.
• W3101524683 creator A5038333445 @default.
• W3101524683 creator A5052139486 @default.
• W3101524683 creator A5053186956 @default.
• W3101524683 creator A5060219474 @default.
• W3101524683 creator A5082779936 @default.
• W3101524683 date "2020-10-11" @default.
• W3101524683 modified "2023-10-02" @default.
• W3101524683 title "Towards Developing Formalized Assurance Cases" @default.
• W3101524683 cites W135733646 @default.
• W3101524683 cites W1564394353 @default.
• W3101524683 cites W1970665571 @default.
• W3101524683 cites W2023446379 @default.
• W3101524683 cites W2093830757 @default.
• W3101524683 cites W2170178247 @default.
• W3101524683 cites W241117969 @default.
• W3101524683 cites W2740475669 @default.
• W3101524683 cites W2789825598 @default.
• W3101524683 cites W2923526370 @default.
• W3101524683 cites W2964882781 @default.
• W3101524683 cites W3022195708 @default.
• W3101524683 cites W3023189409 @default.
• W3101524683 doi "https://doi.org/10.1109/dasc50938.2020.9256740" @default.
• W3101524683 hasPublicationYear "2020" @default.
• W3101524683 type Work @default.
• W3101524683 sameAs 3101524683 @default.
• W3101524683 citedByCount "3" @default.
• W3101524683 countsByYear W31015246832021 @default.
• W3101524683 countsByYear W31015246832023 @default.
• W3101524683 crossrefType "proceedings-article" @default.
• W3101524683 hasAuthorship W3101524683A5011767978 @default.
• W3101524683 hasAuthorship W3101524683A5028945414 @default.
• W3101524683 hasAuthorship W3101524683A5029487218 @default.
• W3101524683 hasAuthorship W3101524683A5038333445 @default.
• W3101524683 hasAuthorship W3101524683A5052139486 @default.
• W3101524683 hasAuthorship W3101524683A5053186956 @default.
• W3101524683 hasAuthorship W3101524683A5060219474 @default.
• W3101524683 hasAuthorship W3101524683A5082779936 @default.
• W3101524683 hasConcept C10138342 @default.
• W3101524683 hasConcept C112805685 @default.
• W3101524683 hasConcept C115903868 @default.
• W3101524683 hasConcept C127413603 @default.
• W3101524683 hasConcept C162324750 @default.
• W3101524683 hasConcept C199360897 @default.
• W3101524683 hasConcept C200601418 @default.
• W3101524683 hasConcept C201995342 @default.
• W3101524683 hasConcept C2775945657 @default.
• W3101524683 hasConcept C2780795517 @default.
• W3101524683 hasConcept C29983905 @default.
• W3101524683 hasConcept C33923547 @default.
• W3101524683 hasConcept C38652104 @default.
• W3101524683 hasConcept C41008148 @default.
• W3101524683 hasConcept C45357846 @default.
• W3101524683 hasConcept C527648132 @default.
• W3101524683 hasConcept C54355233 @default.
• W3101524683 hasConcept C59519942 @default.
• W3101524683 hasConcept C62913178 @default.
• W3101524683 hasConcept C86803240 @default.
• W3101524683 hasConcept C94375191 @default.
• W3101524683 hasConcept C98045186 @default.
• W3101524683 hasConceptScore W3101524683C10138342 @default.
• W3101524683 hasConceptScore W3101524683C112805685 @default.
• W3101524683 hasConceptScore W3101524683C115903868 @default.
• W3101524683 hasConceptScore W3101524683C127413603 @default.
• W3101524683 hasConceptScore W3101524683C162324750 @default.
• W3101524683 hasConceptScore W3101524683C199360897 @default.
• W3101524683 hasConceptScore W3101524683C200601418 @default.
• W3101524683 hasConceptScore W3101524683C201995342 @default.
• W3101524683 hasConceptScore W3101524683C2775945657 @default.
• W3101524683 hasConceptScore W3101524683C2780795517 @default.
• W3101524683 hasConceptScore W3101524683C29983905 @default.
• W3101524683 hasConceptScore W3101524683C33923547 @default.
• W3101524683 hasConceptScore W3101524683C38652104 @default.
• W3101524683 hasConceptScore W3101524683C41008148 @default.
• W3101524683 hasConceptScore W3101524683C45357846 @default.
• W3101524683 hasConceptScore W3101524683C527648132 @default.
• W3101524683 hasConceptScore W3101524683C54355233 @default.
• W3101524683 hasConceptScore W3101524683C59519942 @default.
• W3101524683 hasConceptScore W3101524683C62913178 @default.
• W3101524683 hasConceptScore W3101524683C86803240 @default.
• W3101524683 hasConceptScore W3101524683C94375191 @default.
• W3101524683 hasConceptScore W3101524683C98045186 @default.
• W3101524683 hasFunder F4320332180 @default.
• W3101524683 hasLocation W31015246831 @default.
• W3101524683 hasOpenAccess W3101524683 @default.
• W3101524683 hasPrimaryLocation W31015246831 @default.
• W3101524683 hasRelatedWork W135733646 @default.
• W3101524683 hasRelatedWork W1618279843 @default.
• W3101524683 hasRelatedWork W207523838 @default.
• W3101524683 hasRelatedWork W2338700700 @default.
• W3101524683 hasRelatedWork W2921727636 @default.
• W3101524683 hasRelatedWork W3042424471 @default.
• W3101524683 hasRelatedWork W3192870871 @default.
• W3101524683 hasRelatedWork W4220852393 @default.
• W3101524683 hasRelatedWork W4308096592 @default.
• W3101524683 hasRelatedWork W4308462469 @default.

• next