Matches in SemOpenAlex for { <https://semopenalex.org/work/W2904680650> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W2904680650 abstract "Several model-based approaches have been proposed to ease the process of developing certifiable safety-critical software. In this thesis, we are interested in airborne software which must comply with DO-178C standard. However, existing approaches do not provide complete support for all the activities of the software life cycle as defined by DO-178C.In this thesis, we propose an UML profile that captures the concepts of DO-178C and its supplements in order to model the evidence required for certification. This profile provides modeling constructs for the definition of a DO-178C compliant software life cycle, the specification of the software requirements, the specification of verification data and finally the specification of the traceability that is requested by DO-178C. Furthermore, this profile has the unique feature of providing means to specify the objectives and activities to be performed throughout the software life cycle depending on the targeted assurance level and applied DO-178C supplements.We implemented the proposed profile within Papyrus, an UML modeling environment. We used the profile to model a realistic example of airborne software. Specifically, we illustrated the usefulness of the profile through four use cases." @default.
- W2904680650 created "2018-12-22" @default.
- W2904680650 creator A5025647192 @default.
- W2904680650 date "2018-02-01" @default.
- W2904680650 modified "2023-09-24" @default.
- W2904680650 title "An assurance level sensitive UML profile for supporting DO-178C" @default.
- W2904680650 hasPublicationYear "2018" @default.
- W2904680650 type Work @default.
- W2904680650 sameAs 2904680650 @default.
- W2904680650 citedByCount "0" @default.
- W2904680650 crossrefType "journal-article" @default.
- W2904680650 hasAuthorship W2904680650A5025647192 @default.
- W2904680650 hasConcept C115903868 @default.
- W2904680650 hasConcept C127413603 @default.
- W2904680650 hasConcept C145644426 @default.
- W2904680650 hasConcept C153876917 @default.
- W2904680650 hasConcept C180152950 @default.
- W2904680650 hasConcept C199360897 @default.
- W2904680650 hasConcept C21547014 @default.
- W2904680650 hasConcept C2777904410 @default.
- W2904680650 hasConcept C41008148 @default.
- W2904680650 hasConcept C48002344 @default.
- W2904680650 hasConcept C529173508 @default.
- W2904680650 hasConceptScore W2904680650C115903868 @default.
- W2904680650 hasConceptScore W2904680650C127413603 @default.
- W2904680650 hasConceptScore W2904680650C145644426 @default.
- W2904680650 hasConceptScore W2904680650C153876917 @default.
- W2904680650 hasConceptScore W2904680650C180152950 @default.
- W2904680650 hasConceptScore W2904680650C199360897 @default.
- W2904680650 hasConceptScore W2904680650C21547014 @default.
- W2904680650 hasConceptScore W2904680650C2777904410 @default.
- W2904680650 hasConceptScore W2904680650C41008148 @default.
- W2904680650 hasConceptScore W2904680650C48002344 @default.
- W2904680650 hasConceptScore W2904680650C529173508 @default.
- W2904680650 hasLocation W29046806501 @default.
- W2904680650 hasOpenAccess W2904680650 @default.
- W2904680650 hasPrimaryLocation W29046806501 @default.
- W2904680650 hasRelatedWork W1550366153 @default.
- W2904680650 hasRelatedWork W1587148475 @default.
- W2904680650 hasRelatedWork W1602333323 @default.
- W2904680650 hasRelatedWork W1636026846 @default.
- W2904680650 hasRelatedWork W170745412 @default.
- W2904680650 hasRelatedWork W1989124590 @default.
- W2904680650 hasRelatedWork W2002210559 @default.
- W2904680650 hasRelatedWork W2007125424 @default.
- W2904680650 hasRelatedWork W2077380908 @default.
- W2904680650 hasRelatedWork W2155511907 @default.
- W2904680650 hasRelatedWork W2260628101 @default.
- W2904680650 hasRelatedWork W2326093762 @default.
- W2904680650 hasRelatedWork W2389617389 @default.
- W2904680650 hasRelatedWork W2473301601 @default.
- W2904680650 hasRelatedWork W2517114061 @default.
- W2904680650 hasRelatedWork W2552539375 @default.
- W2904680650 hasRelatedWork W2766947446 @default.
- W2904680650 hasRelatedWork W3014599045 @default.
- W2904680650 hasRelatedWork W643671617 @default.
- W2904680650 hasRelatedWork W88165293 @default.
- W2904680650 isParatext "false" @default.
- W2904680650 isRetracted "false" @default.
- W2904680650 magId "2904680650" @default.
- W2904680650 workType "article" @default.