Matches in SemOpenAlex for { <https://semopenalex.org/work/W65788048> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W65788048 endingPage "153" @default.
- W65788048 startingPage "139" @default.
- W65788048 abstract "The obvious growth of complexity in embedded and cyber physical systems requires from developers to be innovative in the way they carry out the verification process. To increase the amount of information available from a system, software instrumentation has been previously used in these domains, therefore solving the problem of observability. In addition, as this kind of systems tends to be increasingly involved in safety critical and dependable applications, ensuring reliability properties must also be considered as a part of the verification process. In this paper, the system observability problem is initially being introduced. Then, as a solution to overcome the previous limitation, instrumentation is being explored. To address the verification concerns of resilient systems, a three components model is designed, the latter explicitly defining degradation and compensation models to capture the resiliency routine. Finally, to conclude the models definition, a handful number of LTL properties are identified and discussed." @default.
- W65788048 created "2016-06-24" @default.
- W65788048 creator A5013795728 @default.
- W65788048 creator A5068214907 @default.
- W65788048 creator A5085098110 @default.
- W65788048 date "2014-01-01" @default.
- W65788048 modified "2023-09-23" @default.
- W65788048 title "Using Instrumentation for Quality Assessment of Resilient Software in Embedded Systems" @default.
- W65788048 cites W1524620946 @default.
- W65788048 cites W1588089883 @default.
- W65788048 cites W1634497122 @default.
- W65788048 cites W2001565125 @default.
- W65788048 cites W2076113031 @default.
- W65788048 cites W2078534088 @default.
- W65788048 cites W2107667898 @default.
- W65788048 cites W2127546815 @default.
- W65788048 cites W2145071552 @default.
- W65788048 cites W3003531114 @default.
- W65788048 cites W3146195631 @default.
- W65788048 cites W3189981105 @default.
- W65788048 cites W4242377092 @default.
- W65788048 cites W4246967910 @default.
- W65788048 cites W54061235 @default.
- W65788048 doi "https://doi.org/10.1007/978-3-319-12241-0_11" @default.
- W65788048 hasPublicationYear "2014" @default.
- W65788048 type Work @default.
- W65788048 sameAs 65788048 @default.
- W65788048 citedByCount "1" @default.
- W65788048 countsByYear W657880482015 @default.
- W65788048 crossrefType "book-chapter" @default.
- W65788048 hasAuthorship W65788048A5013795728 @default.
- W65788048 hasAuthorship W65788048A5068214907 @default.
- W65788048 hasAuthorship W65788048A5085098110 @default.
- W65788048 hasConcept C111919701 @default.
- W65788048 hasConcept C115903868 @default.
- W65788048 hasConcept C117447612 @default.
- W65788048 hasConcept C118530786 @default.
- W65788048 hasConcept C127413603 @default.
- W65788048 hasConcept C200601418 @default.
- W65788048 hasConcept C2777904410 @default.
- W65788048 hasConcept C3018395757 @default.
- W65788048 hasConcept C3020001037 @default.
- W65788048 hasConcept C41008148 @default.
- W65788048 hasConcept C529173508 @default.
- W65788048 hasConceptScore W65788048C111919701 @default.
- W65788048 hasConceptScore W65788048C115903868 @default.
- W65788048 hasConceptScore W65788048C117447612 @default.
- W65788048 hasConceptScore W65788048C118530786 @default.
- W65788048 hasConceptScore W65788048C127413603 @default.
- W65788048 hasConceptScore W65788048C200601418 @default.
- W65788048 hasConceptScore W65788048C2777904410 @default.
- W65788048 hasConceptScore W65788048C3018395757 @default.
- W65788048 hasConceptScore W65788048C3020001037 @default.
- W65788048 hasConceptScore W65788048C41008148 @default.
- W65788048 hasConceptScore W65788048C529173508 @default.
- W65788048 hasLocation W657880481 @default.
- W65788048 hasOpenAccess W65788048 @default.
- W65788048 hasPrimaryLocation W657880481 @default.
- W65788048 hasRelatedWork W1991140109 @default.
- W65788048 hasRelatedWork W2041853228 @default.
- W65788048 hasRelatedWork W2056464402 @default.
- W65788048 hasRelatedWork W2163679390 @default.
- W65788048 hasRelatedWork W2347547156 @default.
- W65788048 hasRelatedWork W2356158875 @default.
- W65788048 hasRelatedWork W2360518820 @default.
- W65788048 hasRelatedWork W2367699234 @default.
- W65788048 hasRelatedWork W3126516989 @default.
- W65788048 hasRelatedWork W65788048 @default.
- W65788048 isParatext "false" @default.
- W65788048 isRetracted "false" @default.
- W65788048 magId "65788048" @default.
- W65788048 workType "book-chapter" @default.