Matches in SemOpenAlex for { <https://semopenalex.org/work/W3100648269> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W3100648269 abstract "This paper presents an approach to simplifying embedded application development process by means of automatic synthesis of portions of application code concerned with information and execution flow management. In this preliminary study, we adopt a simple information flow categorization model which captures characteristics of data periodicity and criticality. This model is then used to define a formal specification of the interface of an embedded application. We show that, given such a specification, it is possible to automatically synthesize an application execution manager state machine that links the core of the application with various contingency management routines. This partially relieves the burden placed on embedded application developers allowing them to focus on development of the application core as well as on definition of actions to be taken when critical information flows are disrupted. They no longer need to create and manage code that monitors the information flows and implements logic for interrupting the execution of the core and invoking contingency management. This aspect would be automatically generated for them based on the design specification. Such automation offers a number of potential benefits to development productivity, cost reduction, software quality, validation, verification, and certification." @default.
- W3100648269 created "2020-11-23" @default.
- W3100648269 creator A5030260684 @default.
- W3100648269 creator A5045323978 @default.
- W3100648269 creator A5053186956 @default.
- W3100648269 creator A5054502186 @default.
- W3100648269 date "2020-10-11" @default.
- W3100648269 modified "2023-09-26" @default.
- W3100648269 title "Automatic Synthesis of Information Flow Driven Execution Managers for Embedded Software Applications" @default.
- W3100648269 cites W1749494163 @default.
- W3100648269 cites W2075773711 @default.
- W3100648269 cites W2099529102 @default.
- W3100648269 cites W2169135280 @default.
- W3100648269 cites W2493256084 @default.
- W3100648269 doi "https://doi.org/10.1109/dasc50938.2020.9256701" @default.
- W3100648269 hasPublicationYear "2020" @default.
- W3100648269 type Work @default.
- W3100648269 sameAs 3100648269 @default.
- W3100648269 citedByCount "0" @default.
- W3100648269 crossrefType "proceedings-article" @default.
- W3100648269 hasAuthorship W3100648269A5030260684 @default.
- W3100648269 hasAuthorship W3100648269A5045323978 @default.
- W3100648269 hasAuthorship W3100648269A5053186956 @default.
- W3100648269 hasAuthorship W3100648269A5054502186 @default.
- W3100648269 hasConcept C115901376 @default.
- W3100648269 hasConcept C115903868 @default.
- W3100648269 hasConcept C116253237 @default.
- W3100648269 hasConcept C127413603 @default.
- W3100648269 hasConcept C138885662 @default.
- W3100648269 hasConcept C199360897 @default.
- W3100648269 hasConcept C2779136372 @default.
- W3100648269 hasConcept C41008148 @default.
- W3100648269 hasConcept C41895202 @default.
- W3100648269 hasConcept C489000 @default.
- W3100648269 hasConcept C77088390 @default.
- W3100648269 hasConcept C78519656 @default.
- W3100648269 hasConceptScore W3100648269C115901376 @default.
- W3100648269 hasConceptScore W3100648269C115903868 @default.
- W3100648269 hasConceptScore W3100648269C116253237 @default.
- W3100648269 hasConceptScore W3100648269C127413603 @default.
- W3100648269 hasConceptScore W3100648269C138885662 @default.
- W3100648269 hasConceptScore W3100648269C199360897 @default.
- W3100648269 hasConceptScore W3100648269C2779136372 @default.
- W3100648269 hasConceptScore W3100648269C41008148 @default.
- W3100648269 hasConceptScore W3100648269C41895202 @default.
- W3100648269 hasConceptScore W3100648269C489000 @default.
- W3100648269 hasConceptScore W3100648269C77088390 @default.
- W3100648269 hasConceptScore W3100648269C78519656 @default.
- W3100648269 hasLocation W31006482691 @default.
- W3100648269 hasOpenAccess W3100648269 @default.
- W3100648269 hasPrimaryLocation W31006482691 @default.
- W3100648269 hasRelatedWork W136900201 @default.
- W3100648269 hasRelatedWork W1499795143 @default.
- W3100648269 hasRelatedWork W1577002526 @default.
- W3100648269 hasRelatedWork W1814870153 @default.
- W3100648269 hasRelatedWork W1966978306 @default.
- W3100648269 hasRelatedWork W1984757784 @default.
- W3100648269 hasRelatedWork W2080682474 @default.
- W3100648269 hasRelatedWork W2121507724 @default.
- W3100648269 hasRelatedWork W3016288678 @default.
- W3100648269 hasRelatedWork W71711846 @default.
- W3100648269 isParatext "false" @default.
- W3100648269 isRetracted "false" @default.
- W3100648269 magId "3100648269" @default.
- W3100648269 workType "article" @default.