Matches in SemOpenAlex for { <https://semopenalex.org/work/W2897319206> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2897319206 endingPage "1807" @default.
- W2897319206 startingPage "1795" @default.
- W2897319206 abstract "Embedded C code for safety critical systems faces some substantial challenges: like every other embedded SW code it must be efficient in terms of code size, data size and execution time, but it must also behave safely under all circumstances, without a user or operator who could handle the errors. One kind of problem is array accesses where the index is outside the specified value range. The C language does not specify the behaviour in such cases, which clearly violates the requirements for safe code. In this paper, the approach of the model-based development tool “ASCET” is explained, and the experiences of three case studies that describe the adoption of index protection by the users are presented." @default.
- W2897319206 created "2018-10-26" @default.
- W2897319206 creator A5075426183 @default.
- W2897319206 date "2018-10-09" @default.
- W2897319206 modified "2023-10-18" @default.
- W2897319206 title "Handling index-out-of-bounds in safety-critical embedded C code using model-based development" @default.
- W2897319206 cites W2012912569 @default.
- W2897319206 cites W2054939714 @default.
- W2897319206 cites W2068750984 @default.
- W2897319206 cites W2498498356 @default.
- W2897319206 cites W2524802565 @default.
- W2897319206 cites W2543521969 @default.
- W2897319206 cites W3092545530 @default.
- W2897319206 cites W4248674022 @default.
- W2897319206 doi "https://doi.org/10.1007/s10270-018-0697-y" @default.
- W2897319206 hasPublicationYear "2018" @default.
- W2897319206 type Work @default.
- W2897319206 sameAs 2897319206 @default.
- W2897319206 citedByCount "0" @default.
- W2897319206 crossrefType "journal-article" @default.
- W2897319206 hasAuthorship W2897319206A5075426183 @default.
- W2897319206 hasBestOaLocation W28973192061 @default.
- W2897319206 hasConcept C104317684 @default.
- W2897319206 hasConcept C133162039 @default.
- W2897319206 hasConcept C158448853 @default.
- W2897319206 hasConcept C159985019 @default.
- W2897319206 hasConcept C17020691 @default.
- W2897319206 hasConcept C177264268 @default.
- W2897319206 hasConcept C185592680 @default.
- W2897319206 hasConcept C192562407 @default.
- W2897319206 hasConcept C199360897 @default.
- W2897319206 hasConcept C204323151 @default.
- W2897319206 hasConcept C26517878 @default.
- W2897319206 hasConcept C2776760102 @default.
- W2897319206 hasConcept C2777382242 @default.
- W2897319206 hasConcept C38652104 @default.
- W2897319206 hasConcept C41008148 @default.
- W2897319206 hasConcept C55493867 @default.
- W2897319206 hasConcept C86339819 @default.
- W2897319206 hasConceptScore W2897319206C104317684 @default.
- W2897319206 hasConceptScore W2897319206C133162039 @default.
- W2897319206 hasConceptScore W2897319206C158448853 @default.
- W2897319206 hasConceptScore W2897319206C159985019 @default.
- W2897319206 hasConceptScore W2897319206C17020691 @default.
- W2897319206 hasConceptScore W2897319206C177264268 @default.
- W2897319206 hasConceptScore W2897319206C185592680 @default.
- W2897319206 hasConceptScore W2897319206C192562407 @default.
- W2897319206 hasConceptScore W2897319206C199360897 @default.
- W2897319206 hasConceptScore W2897319206C204323151 @default.
- W2897319206 hasConceptScore W2897319206C26517878 @default.
- W2897319206 hasConceptScore W2897319206C2776760102 @default.
- W2897319206 hasConceptScore W2897319206C2777382242 @default.
- W2897319206 hasConceptScore W2897319206C38652104 @default.
- W2897319206 hasConceptScore W2897319206C41008148 @default.
- W2897319206 hasConceptScore W2897319206C55493867 @default.
- W2897319206 hasConceptScore W2897319206C86339819 @default.
- W2897319206 hasIssue "3" @default.
- W2897319206 hasLocation W28973192061 @default.
- W2897319206 hasOpenAccess W2897319206 @default.
- W2897319206 hasPrimaryLocation W28973192061 @default.
- W2897319206 hasRelatedWork W1507167368 @default.
- W2897319206 hasRelatedWork W2160620982 @default.
- W2897319206 hasRelatedWork W2366828174 @default.
- W2897319206 hasRelatedWork W2370215473 @default.
- W2897319206 hasRelatedWork W2384847609 @default.
- W2897319206 hasRelatedWork W2519339279 @default.
- W2897319206 hasRelatedWork W283806354 @default.
- W2897319206 hasRelatedWork W3006199460 @default.
- W2897319206 hasRelatedWork W4245313431 @default.
- W2897319206 hasRelatedWork W4247716642 @default.
- W2897319206 hasVolume "18" @default.
- W2897319206 isParatext "false" @default.
- W2897319206 isRetracted "false" @default.
- W2897319206 magId "2897319206" @default.
- W2897319206 workType "article" @default.