Matches in SemOpenAlex for { <https://semopenalex.org/work/W1994051723> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W1994051723 abstract "The application of Organic Computing techniques, which often involves nature-inspired algorithms, to safety-critical systems depends mainly on whether behavioral guarantees can be provided or not. Self-x algorithms sometimes return incorrect results. For example, if learning or similar methods are involved. To allow the use of such algorithms even if they sometimes return incorrect results, adequate techniques are needed. Verified result checking which is presented in this paper provides an approach to ensure during runtime that only valid results are applied to the system, despite the uncertainty provided by the use of self-x algorithms. It allows to give formal proofs and thereby to give guarantees about the system's behavior. This approach enables verification at design time, independently of the self-x algorithms used at runtime. In this paper an architecture for Organic Computing systems which accommodates these concepts is presented. First the components of the architecture and integration of a result checker are described. The systematic development of a result checker based on a system model is shown for the application domain of self-organizing resource-flow systems. Further its formal verification and an implementation are roughly sketched." @default.
- W1994051723 created "2016-06-24" @default.
- W1994051723 creator A5035884631 @default.
- W1994051723 creator A5041836018 @default.
- W1994051723 creator A5061455025 @default.
- W1994051723 creator A5091494511 @default.
- W1994051723 date "2011-06-18" @default.
- W1994051723 modified "2023-10-01" @default.
- W1994051723 title "Ensuring correct self-reconfiguration in safety-critical applications by verified result checking" @default.
- W1994051723 cites W1528438529 @default.
- W1994051723 cites W1568505804 @default.
- W1994051723 cites W1790390140 @default.
- W1994051723 cites W1980280740 @default.
- W1994051723 cites W198400421 @default.
- W1994051723 cites W2002032317 @default.
- W1994051723 cites W2023548613 @default.
- W1994051723 cites W2045270096 @default.
- W1994051723 cites W2118666299 @default.
- W1994051723 cites W2130740136 @default.
- W1994051723 cites W2144287797 @default.
- W1994051723 doi "https://doi.org/10.1145/1998642.1998646" @default.
- W1994051723 hasPublicationYear "2011" @default.
- W1994051723 type Work @default.
- W1994051723 sameAs 1994051723 @default.
- W1994051723 citedByCount "2" @default.
- W1994051723 countsByYear W19940517232013 @default.
- W1994051723 countsByYear W19940517232020 @default.
- W1994051723 crossrefType "proceedings-article" @default.
- W1994051723 hasAuthorship W1994051723A5035884631 @default.
- W1994051723 hasAuthorship W1994051723A5041836018 @default.
- W1994051723 hasAuthorship W1994051723A5061455025 @default.
- W1994051723 hasAuthorship W1994051723A5091494511 @default.
- W1994051723 hasConcept C108710211 @default.
- W1994051723 hasConcept C110251889 @default.
- W1994051723 hasConcept C111498074 @default.
- W1994051723 hasConcept C11413529 @default.
- W1994051723 hasConcept C119701452 @default.
- W1994051723 hasConcept C120314980 @default.
- W1994051723 hasConcept C123657996 @default.
- W1994051723 hasConcept C134306372 @default.
- W1994051723 hasConcept C142362112 @default.
- W1994051723 hasConcept C149635348 @default.
- W1994051723 hasConcept C153349607 @default.
- W1994051723 hasConcept C206345919 @default.
- W1994051723 hasConcept C2524010 @default.
- W1994051723 hasConcept C31258907 @default.
- W1994051723 hasConcept C33923547 @default.
- W1994051723 hasConcept C36503486 @default.
- W1994051723 hasConcept C41008148 @default.
- W1994051723 hasConceptScore W1994051723C108710211 @default.
- W1994051723 hasConceptScore W1994051723C110251889 @default.
- W1994051723 hasConceptScore W1994051723C111498074 @default.
- W1994051723 hasConceptScore W1994051723C11413529 @default.
- W1994051723 hasConceptScore W1994051723C119701452 @default.
- W1994051723 hasConceptScore W1994051723C120314980 @default.
- W1994051723 hasConceptScore W1994051723C123657996 @default.
- W1994051723 hasConceptScore W1994051723C134306372 @default.
- W1994051723 hasConceptScore W1994051723C142362112 @default.
- W1994051723 hasConceptScore W1994051723C149635348 @default.
- W1994051723 hasConceptScore W1994051723C153349607 @default.
- W1994051723 hasConceptScore W1994051723C206345919 @default.
- W1994051723 hasConceptScore W1994051723C2524010 @default.
- W1994051723 hasConceptScore W1994051723C31258907 @default.
- W1994051723 hasConceptScore W1994051723C33923547 @default.
- W1994051723 hasConceptScore W1994051723C36503486 @default.
- W1994051723 hasConceptScore W1994051723C41008148 @default.
- W1994051723 hasLocation W19940517231 @default.
- W1994051723 hasOpenAccess W1994051723 @default.
- W1994051723 hasPrimaryLocation W19940517231 @default.
- W1994051723 hasRelatedWork W1483829320 @default.
- W1994051723 hasRelatedWork W1563728909 @default.
- W1994051723 hasRelatedWork W1606759259 @default.
- W1994051723 hasRelatedWork W1680428368 @default.
- W1994051723 hasRelatedWork W178421615 @default.
- W1994051723 hasRelatedWork W2075236324 @default.
- W1994051723 hasRelatedWork W2117798332 @default.
- W1994051723 hasRelatedWork W2125436868 @default.
- W1994051723 hasRelatedWork W2370841479 @default.
- W1994051723 hasRelatedWork W2988756014 @default.
- W1994051723 isParatext "false" @default.
- W1994051723 isRetracted "false" @default.
- W1994051723 magId "1994051723" @default.
- W1994051723 workType "article" @default.