Matches in SemOpenAlex for { <https://semopenalex.org/work/W4251692710> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W4251692710 endingPage "46" @default.
- W4251692710 startingPage "39" @default.
- W4251692710 abstract "Modeling of Distributed Real-time Embedded systems using Architecture Description Language provides the foundations for various levels of analysis: scheduling, reliability, consistency, etc.; but also allows for automatic code generation. A challenge is to demonstrate that generated code matches quality required for safety-critical systems. In the scope of the AADL, the Ocarina toolchain proposes code generation towards the Ada Ravenscar profile with restrictions for High-Integrity. It has been extensively used in the space domain as part of the TASTE project within the European Space Agency. In this paper, we illustrate how the combined use of Ada 2012 and SPARK 2014 significantly increases code quality and exhibits absence of run-time errors at both run-time and generated code levels." @default.
- W4251692710 created "2022-05-12" @default.
- W4251692710 creator A5003255921 @default.
- W4251692710 creator A5051407825 @default.
- W4251692710 date "2014-10-18" @default.
- W4251692710 modified "2023-10-10" @default.
- W4251692710 title "Leveraging Ada 2012 and SPARK 2014 for assessing generated code from AADL models" @default.
- W4251692710 cites W1489610330 @default.
- W4251692710 cites W168394658 @default.
- W4251692710 cites W2054158682 @default.
- W4251692710 cites W2096203497 @default.
- W4251692710 cites W2097823082 @default.
- W4251692710 cites W2131687401 @default.
- W4251692710 cites W2347082789 @default.
- W4251692710 cites W2916378243 @default.
- W4251692710 cites W69221180 @default.
- W4251692710 doi "https://doi.org/10.1145/2692956.2663180" @default.
- W4251692710 hasPublicationYear "2014" @default.
- W4251692710 type Work @default.
- W4251692710 citedByCount "1" @default.
- W4251692710 countsByYear W42516927102020 @default.
- W4251692710 crossrefType "journal-article" @default.
- W4251692710 hasAuthorship W4251692710A5003255921 @default.
- W4251692710 hasAuthorship W4251692710A5051407825 @default.
- W4251692710 hasBestOaLocation W42516927102 @default.
- W4251692710 hasConcept C111919701 @default.
- W4251692710 hasConcept C117447612 @default.
- W4251692710 hasConcept C133162039 @default.
- W4251692710 hasConcept C149635348 @default.
- W4251692710 hasConcept C154945302 @default.
- W4251692710 hasConcept C177264268 @default.
- W4251692710 hasConcept C199360897 @default.
- W4251692710 hasConcept C26517878 @default.
- W4251692710 hasConcept C2776436953 @default.
- W4251692710 hasConcept C2776760102 @default.
- W4251692710 hasConcept C2777062904 @default.
- W4251692710 hasConcept C2777904410 @default.
- W4251692710 hasConcept C2781215313 @default.
- W4251692710 hasConcept C41008148 @default.
- W4251692710 hasConcept C529173508 @default.
- W4251692710 hasConceptScore W4251692710C111919701 @default.
- W4251692710 hasConceptScore W4251692710C117447612 @default.
- W4251692710 hasConceptScore W4251692710C133162039 @default.
- W4251692710 hasConceptScore W4251692710C149635348 @default.
- W4251692710 hasConceptScore W4251692710C154945302 @default.
- W4251692710 hasConceptScore W4251692710C177264268 @default.
- W4251692710 hasConceptScore W4251692710C199360897 @default.
- W4251692710 hasConceptScore W4251692710C26517878 @default.
- W4251692710 hasConceptScore W4251692710C2776436953 @default.
- W4251692710 hasConceptScore W4251692710C2776760102 @default.
- W4251692710 hasConceptScore W4251692710C2777062904 @default.
- W4251692710 hasConceptScore W4251692710C2777904410 @default.
- W4251692710 hasConceptScore W4251692710C2781215313 @default.
- W4251692710 hasConceptScore W4251692710C41008148 @default.
- W4251692710 hasConceptScore W4251692710C529173508 @default.
- W4251692710 hasIssue "3" @default.
- W4251692710 hasLocation W42516927101 @default.
- W4251692710 hasLocation W42516927102 @default.
- W4251692710 hasOpenAccess W4251692710 @default.
- W4251692710 hasPrimaryLocation W42516927101 @default.
- W4251692710 hasRelatedWork W1565501066 @default.
- W4251692710 hasRelatedWork W2044422526 @default.
- W4251692710 hasRelatedWork W2084957735 @default.
- W4251692710 hasRelatedWork W2160620982 @default.
- W4251692710 hasRelatedWork W2519339279 @default.
- W4251692710 hasRelatedWork W283806354 @default.
- W4251692710 hasRelatedWork W3006199460 @default.
- W4251692710 hasRelatedWork W3195022246 @default.
- W4251692710 hasRelatedWork W4251692710 @default.
- W4251692710 hasRelatedWork W3085888268 @default.
- W4251692710 hasVolume "34" @default.
- W4251692710 isParatext "false" @default.
- W4251692710 isRetracted "false" @default.
- W4251692710 workType "article" @default.