Matches in SemOpenAlex for { <https://semopenalex.org/work/W2502082844> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2502082844 abstract "As software systems continually become larger and more complex, assurance of their critical properties becomes correspondingly more difficult. While construction of systems of the quality produced in the past might be feasible, the engineering foundation on which the dependability record of those systems rests is weak. The lack of a rigorous dependability argument in many cases implies that system dependability is probably due at least in part to the care taken by experienced developers in the software's design. Careful development and review are likely to become less effective as the complexity of the developed software grows beyond the limits of straightforward human comprehension. In many software systems, critical properties are only a small subset of desirable system properties. Assuring properties over the simpler subset can provide assurance of critical properties over the entire system. In this case, system dependability can be reduced to a guarantee that either the system will function correctly, or the non-critical function will do nothing to interfere with critical system properties. My work provides a method for constructing systems to be dependably reconfigurable. A system with reconfiguration at the center of its assurance argument can allow its primary function to fail and then reconfigure to some simpler function, mitigating any unacceptable failure consequences. Focusing a system's dependability argument on reconfiguration means that reconfiguration must proceed correctly with very high assurance. The system construction approach in this work also provides a method through which system dependability properties can be shown. The approach accomplishes this by: (1) introducing a formal definition of reconfiguration and an associated set of high-level, general properties; (2) constructing an architecture that guarantees the high-level reconfiguration properties; and (3) making non-crucial software function fail-stop, so that the software either works correctly or fails in a way that does not disrupt other applications. Showing that a specific system complies with the architecture's properties implies assurance of reconfiguration for that system. To illustrate the ideas in this work, my colleagues and I have built part of a hypothetical avionics system that is typical of what might be found on an unmanned aerial vehicle." @default.
- W2502082844 created "2016-08-23" @default.
- W2502082844 creator A5070978853 @default.
- W2502082844 creator A5075482777 @default.
- W2502082844 date "2005-01-01" @default.
- W2502082844 modified "2023-09-23" @default.
- W2502082844 title "Reconfiguration assurance in embedded system software" @default.
- W2502082844 hasPublicationYear "2005" @default.
- W2502082844 type Work @default.
- W2502082844 sameAs 2502082844 @default.
- W2502082844 citedByCount "4" @default.
- W2502082844 countsByYear W25020828442013 @default.
- W2502082844 countsByYear W25020828442015 @default.
- W2502082844 crossrefType "journal-article" @default.
- W2502082844 hasAuthorship W2502082844A5070978853 @default.
- W2502082844 hasAuthorship W2502082844A5075482777 @default.
- W2502082844 hasConcept C106436119 @default.
- W2502082844 hasConcept C115903868 @default.
- W2502082844 hasConcept C117447612 @default.
- W2502082844 hasConcept C119701452 @default.
- W2502082844 hasConcept C127413603 @default.
- W2502082844 hasConcept C14036430 @default.
- W2502082844 hasConcept C149091818 @default.
- W2502082844 hasConcept C149635348 @default.
- W2502082844 hasConcept C185592680 @default.
- W2502082844 hasConcept C199360897 @default.
- W2502082844 hasConcept C200601418 @default.
- W2502082844 hasConcept C21547014 @default.
- W2502082844 hasConcept C2777904410 @default.
- W2502082844 hasConcept C2778618615 @default.
- W2502082844 hasConcept C41008148 @default.
- W2502082844 hasConcept C529173508 @default.
- W2502082844 hasConcept C55493867 @default.
- W2502082844 hasConcept C77019957 @default.
- W2502082844 hasConcept C78458016 @default.
- W2502082844 hasConcept C86803240 @default.
- W2502082844 hasConcept C98184364 @default.
- W2502082844 hasConceptScore W2502082844C106436119 @default.
- W2502082844 hasConceptScore W2502082844C115903868 @default.
- W2502082844 hasConceptScore W2502082844C117447612 @default.
- W2502082844 hasConceptScore W2502082844C119701452 @default.
- W2502082844 hasConceptScore W2502082844C127413603 @default.
- W2502082844 hasConceptScore W2502082844C14036430 @default.
- W2502082844 hasConceptScore W2502082844C149091818 @default.
- W2502082844 hasConceptScore W2502082844C149635348 @default.
- W2502082844 hasConceptScore W2502082844C185592680 @default.
- W2502082844 hasConceptScore W2502082844C199360897 @default.
- W2502082844 hasConceptScore W2502082844C200601418 @default.
- W2502082844 hasConceptScore W2502082844C21547014 @default.
- W2502082844 hasConceptScore W2502082844C2777904410 @default.
- W2502082844 hasConceptScore W2502082844C2778618615 @default.
- W2502082844 hasConceptScore W2502082844C41008148 @default.
- W2502082844 hasConceptScore W2502082844C529173508 @default.
- W2502082844 hasConceptScore W2502082844C55493867 @default.
- W2502082844 hasConceptScore W2502082844C77019957 @default.
- W2502082844 hasConceptScore W2502082844C78458016 @default.
- W2502082844 hasConceptScore W2502082844C86803240 @default.
- W2502082844 hasConceptScore W2502082844C98184364 @default.
- W2502082844 hasLocation W25020828441 @default.
- W2502082844 hasOpenAccess W2502082844 @default.
- W2502082844 hasPrimaryLocation W25020828441 @default.
- W2502082844 hasRelatedWork W1482121677 @default.
- W2502082844 hasRelatedWork W1493948443 @default.
- W2502082844 hasRelatedWork W1510950427 @default.
- W2502082844 hasRelatedWork W1548420541 @default.
- W2502082844 hasRelatedWork W1786655188 @default.
- W2502082844 hasRelatedWork W2019553415 @default.
- W2502082844 hasRelatedWork W201967721 @default.
- W2502082844 hasRelatedWork W2034750619 @default.
- W2502082844 hasRelatedWork W2060201762 @default.
- W2502082844 hasRelatedWork W2071616717 @default.
- W2502082844 hasRelatedWork W2184564950 @default.
- W2502082844 hasRelatedWork W2275405912 @default.
- W2502082844 hasRelatedWork W2333666936 @default.
- W2502082844 hasRelatedWork W2408248323 @default.
- W2502082844 hasRelatedWork W2492700441 @default.
- W2502082844 hasRelatedWork W2606817790 @default.
- W2502082844 hasRelatedWork W2607188313 @default.
- W2502082844 hasRelatedWork W2619606843 @default.
- W2502082844 hasRelatedWork W306251775 @default.
- W2502082844 hasRelatedWork W349523793 @default.
- W2502082844 isParatext "false" @default.
- W2502082844 isRetracted "false" @default.
- W2502082844 magId "2502082844" @default.
- W2502082844 workType "article" @default.