Matches in SemOpenAlex for { <https://semopenalex.org/work/W4233013042> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W4233013042 abstract "Modern software systems are increasingly required to run for a long time and deliver uninterrupted service. Their requirements or their environments, however, may change. Therefore, these systems must be updated dynamically, at run-time. Typical examples can be found in manufacturing, transportation, or space applications, where stopping the system to deploy updates can be difficult, costly, or simply not possible. In previous work we proposed a model-driven approach that uses automatically synthesized finite-state controllers from scenario-based assume/guarantee specifications to safely and efficiently dynamically update the system. In this paper we describe an execution infrastructure of this approach, which allows us to execute and deploy newly synthesized dynamically updating controllers on embedded devices. We present a prototype implementation in Java for Lego Mind storms robots. This experience gained can lead to a systematic approach to implement dynamic updates in the aforementioned critical software-intensive systems." @default.
- W4233013042 created "2022-05-12" @default.
- W4233013042 creator A5024976868 @default.
- W4233013042 creator A5032504980 @default.
- W4233013042 creator A5074448669 @default.
- W4233013042 creator A5076025800 @default.
- W4233013042 date "2015-05-01" @default.
- W4233013042 modified "2023-10-16" @default.
- W4233013042 title "Towards Executing Dynamically Updating Finite-State Controllers on a Robot System" @default.
- W4233013042 doi "https://doi.org/10.1109/mise.2015.15" @default.
- W4233013042 hasPublicationYear "2015" @default.
- W4233013042 type Work @default.
- W4233013042 citedByCount "3" @default.
- W4233013042 countsByYear W42330130422018 @default.
- W4233013042 countsByYear W42330130422020 @default.
- W4233013042 crossrefType "proceedings-article" @default.
- W4233013042 hasAuthorship W4233013042A5024976868 @default.
- W4233013042 hasAuthorship W4233013042A5032504980 @default.
- W4233013042 hasAuthorship W4233013042A5074448669 @default.
- W4233013042 hasAuthorship W4233013042A5076025800 @default.
- W4233013042 hasConcept C105795698 @default.
- W4233013042 hasConcept C111919701 @default.
- W4233013042 hasConcept C120314980 @default.
- W4233013042 hasConcept C136264566 @default.
- W4233013042 hasConcept C149635348 @default.
- W4233013042 hasConcept C154945302 @default.
- W4233013042 hasConcept C162324750 @default.
- W4233013042 hasConcept C167822520 @default.
- W4233013042 hasConcept C199360897 @default.
- W4233013042 hasConcept C2777904410 @default.
- W4233013042 hasConcept C2780378061 @default.
- W4233013042 hasConcept C33923547 @default.
- W4233013042 hasConcept C41008148 @default.
- W4233013042 hasConcept C48103436 @default.
- W4233013042 hasConcept C548217200 @default.
- W4233013042 hasConcept C72434380 @default.
- W4233013042 hasConcept C79403827 @default.
- W4233013042 hasConcept C90509273 @default.
- W4233013042 hasConceptScore W4233013042C105795698 @default.
- W4233013042 hasConceptScore W4233013042C111919701 @default.
- W4233013042 hasConceptScore W4233013042C120314980 @default.
- W4233013042 hasConceptScore W4233013042C136264566 @default.
- W4233013042 hasConceptScore W4233013042C149635348 @default.
- W4233013042 hasConceptScore W4233013042C154945302 @default.
- W4233013042 hasConceptScore W4233013042C162324750 @default.
- W4233013042 hasConceptScore W4233013042C167822520 @default.
- W4233013042 hasConceptScore W4233013042C199360897 @default.
- W4233013042 hasConceptScore W4233013042C2777904410 @default.
- W4233013042 hasConceptScore W4233013042C2780378061 @default.
- W4233013042 hasConceptScore W4233013042C33923547 @default.
- W4233013042 hasConceptScore W4233013042C41008148 @default.
- W4233013042 hasConceptScore W4233013042C48103436 @default.
- W4233013042 hasConceptScore W4233013042C548217200 @default.
- W4233013042 hasConceptScore W4233013042C72434380 @default.
- W4233013042 hasConceptScore W4233013042C79403827 @default.
- W4233013042 hasConceptScore W4233013042C90509273 @default.
- W4233013042 hasLocation W42330130421 @default.
- W4233013042 hasOpenAccess W4233013042 @default.
- W4233013042 hasPrimaryLocation W42330130421 @default.
- W4233013042 hasRelatedWork W1484374924 @default.
- W4233013042 hasRelatedWork W1502256359 @default.
- W4233013042 hasRelatedWork W1521406429 @default.
- W4233013042 hasRelatedWork W1538236101 @default.
- W4233013042 hasRelatedWork W1586180972 @default.
- W4233013042 hasRelatedWork W1965341808 @default.
- W4233013042 hasRelatedWork W2035237432 @default.
- W4233013042 hasRelatedWork W2386158634 @default.
- W4233013042 hasRelatedWork W2975445165 @default.
- W4233013042 hasRelatedWork W2996189811 @default.
- W4233013042 isParatext "false" @default.
- W4233013042 isRetracted "false" @default.
- W4233013042 workType "article" @default.