Matches in SemOpenAlex for { <https://semopenalex.org/work/W1506102518> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W1506102518 abstract "To warrant the functionality of safety critical circuits and systems, underlying functions have to be modeled in a fashion that preserves real-world structure. That means, it must be ensured that the formally derived functions of the real-world structure should be in consistent conformance with the functions generated by the structure itself. Conversely, from safety-related aspects, it is fatal, when the modeled functions behave different from their functions in reality. Thus, although structure preserving modeling is safety-relevant, the state of the art does not consistently handle the formal derivation and modeling of functions. Particularly this happens at asynchronous feedbacked structures, especially in favor of simplification and later optimization. Looking at a very elementary asynchronous feedback logic, we show that this problem of inconsistency is omnipresent, and that our demand for consistency can not be warranted by the state of the art methods. We propose a new modeling methodology that is capable to preserve the structure of asynchronous feedback." @default.
- W1506102518 created "2016-06-24" @default.
- W1506102518 creator A5014933156 @default.
- W1506102518 creator A5015506172 @default.
- W1506102518 date "2015-06-01" @default.
- W1506102518 modified "2023-10-16" @default.
- W1506102518 title "Structure preserving modeling for safety critical systems" @default.
- W1506102518 cites W1534787852 @default.
- W1506102518 cites W1600643888 @default.
- W1506102518 cites W1631126424 @default.
- W1506102518 cites W2035720669 @default.
- W1506102518 cites W2112031874 @default.
- W1506102518 cites W2119616711 @default.
- W1506102518 cites W2142091551 @default.
- W1506102518 cites W2148079380 @default.
- W1506102518 cites W2159215380 @default.
- W1506102518 cites W2295052317 @default.
- W1506102518 cites W2296834282 @default.
- W1506102518 doi "https://doi.org/10.1109/ims3tw.2015.7177866" @default.
- W1506102518 hasPublicationYear "2015" @default.
- W1506102518 type Work @default.
- W1506102518 sameAs 1506102518 @default.
- W1506102518 citedByCount "3" @default.
- W1506102518 countsByYear W15061025182016 @default.
- W1506102518 countsByYear W15061025182017 @default.
- W1506102518 crossrefType "proceedings-article" @default.
- W1506102518 hasAuthorship W1506102518A5014933156 @default.
- W1506102518 hasAuthorship W1506102518A5015506172 @default.
- W1506102518 hasConcept C106159729 @default.
- W1506102518 hasConcept C110251889 @default.
- W1506102518 hasConcept C11413529 @default.
- W1506102518 hasConcept C151319957 @default.
- W1506102518 hasConcept C154945302 @default.
- W1506102518 hasConcept C162324750 @default.
- W1506102518 hasConcept C2776436953 @default.
- W1506102518 hasConcept C2776916960 @default.
- W1506102518 hasConcept C31258907 @default.
- W1506102518 hasConcept C41008148 @default.
- W1506102518 hasConcept C48103436 @default.
- W1506102518 hasConcept C80444323 @default.
- W1506102518 hasConceptScore W1506102518C106159729 @default.
- W1506102518 hasConceptScore W1506102518C110251889 @default.
- W1506102518 hasConceptScore W1506102518C11413529 @default.
- W1506102518 hasConceptScore W1506102518C151319957 @default.
- W1506102518 hasConceptScore W1506102518C154945302 @default.
- W1506102518 hasConceptScore W1506102518C162324750 @default.
- W1506102518 hasConceptScore W1506102518C2776436953 @default.
- W1506102518 hasConceptScore W1506102518C2776916960 @default.
- W1506102518 hasConceptScore W1506102518C31258907 @default.
- W1506102518 hasConceptScore W1506102518C41008148 @default.
- W1506102518 hasConceptScore W1506102518C48103436 @default.
- W1506102518 hasConceptScore W1506102518C80444323 @default.
- W1506102518 hasLocation W15061025181 @default.
- W1506102518 hasOpenAccess W1506102518 @default.
- W1506102518 hasPrimaryLocation W15061025181 @default.
- W1506102518 hasRelatedWork W1489400187 @default.
- W1506102518 hasRelatedWork W1503565364 @default.
- W1506102518 hasRelatedWork W1505569957 @default.
- W1506102518 hasRelatedWork W1654885996 @default.
- W1506102518 hasRelatedWork W1998717618 @default.
- W1506102518 hasRelatedWork W2020588945 @default.
- W1506102518 hasRelatedWork W2032392065 @default.
- W1506102518 hasRelatedWork W2336971804 @default.
- W1506102518 hasRelatedWork W2569163292 @default.
- W1506102518 hasRelatedWork W2602974208 @default.
- W1506102518 hasRelatedWork W2810340194 @default.
- W1506102518 hasRelatedWork W2899075676 @default.
- W1506102518 hasRelatedWork W2906299319 @default.
- W1506102518 hasRelatedWork W2912904668 @default.
- W1506102518 hasRelatedWork W2939414589 @default.
- W1506102518 hasRelatedWork W2974264156 @default.
- W1506102518 hasRelatedWork W3014981526 @default.
- W1506102518 hasRelatedWork W3119776076 @default.
- W1506102518 hasRelatedWork W40435802 @default.
- W1506102518 hasRelatedWork W65595126 @default.
- W1506102518 isParatext "false" @default.
- W1506102518 isRetracted "false" @default.
- W1506102518 magId "1506102518" @default.
- W1506102518 workType "article" @default.