Matches in SemOpenAlex for { <https://semopenalex.org/work/W2021073412> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2021073412 abstract "The technique of static cyclic scheduling offers an optimum implementation strategy for the real-time flight safety critical software designer. Not only does this technique relieve operating processors of the need to perform dynamic scheduling tasks, a also provides high levels of temporal determinism, pre-code verification and test coverage. However, without an explicit analytical understanding of the relationship(s) between timing/sequencing requirements and compliant schedule design, the technique will continue to resist the advantages of auto-generation and verification; the first leading to greater efficiency in the software development process, and the second enabling pre-coding verification techniques. A brief outline is presented of the of scheduling design compliance currently under investigation by Lucas Aerospace (Engineering Software), together with a description of how such formal theories are exploited within procedurally closed scheduling development environments." @default.
- W2021073412 created "2016-06-24" @default.
- W2021073412 creator A5004687505 @default.
- W2021073412 creator A5017757624 @default.
- W2021073412 date "1998-01-01" @default.
- W2021073412 modified "2023-09-25" @default.
- W2021073412 title "Towards a formal methodology of deterministic scheduling for real-time flight safety critical software design" @default.
- W2021073412 doi "https://doi.org/10.1049/ic:19980522" @default.
- W2021073412 hasPublicationYear "1998" @default.
- W2021073412 type Work @default.
- W2021073412 sameAs 2021073412 @default.
- W2021073412 citedByCount "1" @default.
- W2021073412 crossrefType "proceedings-article" @default.
- W2021073412 hasAuthorship W2021073412A5004687505 @default.
- W2021073412 hasAuthorship W2021073412A5017757624 @default.
- W2021073412 hasConcept C109905503 @default.
- W2021073412 hasConcept C111498074 @default.
- W2021073412 hasConcept C115903868 @default.
- W2021073412 hasConcept C127413603 @default.
- W2021073412 hasConcept C146978453 @default.
- W2021073412 hasConcept C154488198 @default.
- W2021073412 hasConcept C167740415 @default.
- W2021073412 hasConcept C186846655 @default.
- W2021073412 hasConcept C199360897 @default.
- W2021073412 hasConcept C200601418 @default.
- W2021073412 hasConcept C206729178 @default.
- W2021073412 hasConcept C21547014 @default.
- W2021073412 hasConcept C2777904410 @default.
- W2021073412 hasConcept C33054407 @default.
- W2021073412 hasConcept C41008148 @default.
- W2021073412 hasConcept C529173508 @default.
- W2021073412 hasConcept C75606506 @default.
- W2021073412 hasConceptScore W2021073412C109905503 @default.
- W2021073412 hasConceptScore W2021073412C111498074 @default.
- W2021073412 hasConceptScore W2021073412C115903868 @default.
- W2021073412 hasConceptScore W2021073412C127413603 @default.
- W2021073412 hasConceptScore W2021073412C146978453 @default.
- W2021073412 hasConceptScore W2021073412C154488198 @default.
- W2021073412 hasConceptScore W2021073412C167740415 @default.
- W2021073412 hasConceptScore W2021073412C186846655 @default.
- W2021073412 hasConceptScore W2021073412C199360897 @default.
- W2021073412 hasConceptScore W2021073412C200601418 @default.
- W2021073412 hasConceptScore W2021073412C206729178 @default.
- W2021073412 hasConceptScore W2021073412C21547014 @default.
- W2021073412 hasConceptScore W2021073412C2777904410 @default.
- W2021073412 hasConceptScore W2021073412C33054407 @default.
- W2021073412 hasConceptScore W2021073412C41008148 @default.
- W2021073412 hasConceptScore W2021073412C529173508 @default.
- W2021073412 hasConceptScore W2021073412C75606506 @default.
- W2021073412 hasLocation W20210734121 @default.
- W2021073412 hasOpenAccess W2021073412 @default.
- W2021073412 hasPrimaryLocation W20210734121 @default.
- W2021073412 hasRelatedWork W113123423 @default.
- W2021073412 hasRelatedWork W1982295888 @default.
- W2021073412 hasRelatedWork W2093069131 @default.
- W2021073412 hasRelatedWork W2122182917 @default.
- W2021073412 hasRelatedWork W2122292809 @default.
- W2021073412 hasRelatedWork W2140132410 @default.
- W2021073412 hasRelatedWork W2157247558 @default.
- W2021073412 hasRelatedWork W2170573381 @default.
- W2021073412 hasRelatedWork W2419629240 @default.
- W2021073412 hasRelatedWork W2521316295 @default.
- W2021073412 hasRelatedWork W2612574706 @default.
- W2021073412 hasRelatedWork W2738096415 @default.
- W2021073412 hasRelatedWork W2908682970 @default.
- W2021073412 hasRelatedWork W3004976493 @default.
- W2021073412 hasRelatedWork W3007529901 @default.
- W2021073412 hasRelatedWork W330710024 @default.
- W2021073412 hasRelatedWork W48090 @default.
- W2021073412 hasRelatedWork W50425944 @default.
- W2021073412 hasRelatedWork W74273259 @default.
- W2021073412 hasRelatedWork W85874668 @default.
- W2021073412 isParatext "false" @default.
- W2021073412 isRetracted "false" @default.
- W2021073412 magId "2021073412" @default.
- W2021073412 workType "article" @default.