FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2948443596> ?p ?o ?g. }

• W2948443596 abstract "The pervasiveness of computer systems in virtually every aspect of daily life entails a growing dependence on them. These systems have become integral parts of our societies as we continue to use and rely on them on a daily basis. This trend of digitalization is set to carry on, bringing forth the question of how dependable these systems are. Our dependence on these systems is in acute need for a justification based on rigorous and systematic methods as recommended by internationally recognized safety standards. Ensuring that the systems we depend on meet these recommendations is further complicated by the increasingly widespread use of concurrent systems, which are notoriously hard to analyze due to the substantial increase in complexity that the interactions between different processing entities engenders. In this thesis, we introduce improvements on existing formal analysis techniques to aid in the development of dependable concurrent systems. Applying formal analysis techniques can help us avoid incidents with catastrophic consequences by uncovering their triggering causes well in advance. This work focuses on three types of analyses: data-flow analysis, model checking and error propagation analysis. Data-flow analysis is a general static analysis technique aimed at predicting the values that variables can take at various points in a program. Model checking is a well-established formal analysis technique that verifies whether a program satisfies its specification. Error propagation analysis (EPA) is a dynamic analysis whose purpose is to assess a program's ability to withstand unexpected behaviors of external components. We leverage data-flow analysis to assist in the design of highly available distributed applications. Given an application, our analysis infers rules to distribute its workload across multiple machines, improving the availability of the overall system. Furthermore, we propose improvements to both explicit and bounded model checking techniques by exploiting the structure of the specification under consideration. The core idea behind these improvements lies in the ability to abstract away aspects of the program that are not relevant to the specification, effectively shortening the verification time. Finally, we present a novel approach to EPA based on symbolic modeling of execution traces. The symbolic scheme uses a dynamic sanitizing algorithm to eliminate effects of non-determinism in the execution traces of multi-threaded programs.The proposed approach is the first to achieve a 0% rate of false positives for multi-threaded programs.The work in this thesis constitutes an improvement over existing formal analysis techniques that can aid in the development of dependable concurrent systems, particularly with respect to availability and safety." @default.
• W2948443596 created "2019-06-14" @default.
• W2948443596 creator A5019351433 @default.
• W2948443596 date "2019-01-01" @default.
• W2948443596 modified "2023-09-27" @default.
• W2948443596 title "On the Application of Formal Techniques for Dependable Concurrent Systems" @default.
• W2948443596 hasPublicationYear "2019" @default.
• W2948443596 type Work @default.
• W2948443596 sameAs 2948443596 @default.
• W2948443596 citedByCount "1" @default.
• W2948443596 countsByYear W29484435962020 @default.
• W2948443596 crossrefType "dissertation" @default.
• W2948443596 hasAuthorship W2948443596A5019351433 @default.
• W2948443596 hasConcept C110251889 @default.
• W2948443596 hasConcept C112930515 @default.
• W2948443596 hasConcept C115903868 @default.
• W2948443596 hasConcept C153083717 @default.
• W2948443596 hasConcept C154945302 @default.
• W2948443596 hasConcept C177264268 @default.
• W2948443596 hasConcept C199360897 @default.
• W2948443596 hasConcept C24119478 @default.
• W2948443596 hasConcept C2522767166 @default.
• W2948443596 hasConcept C41008148 @default.
• W2948443596 hasConcept C489000 @default.
• W2948443596 hasConcept C71924100 @default.
• W2948443596 hasConcept C75606506 @default.
• W2948443596 hasConcept C77088390 @default.
• W2948443596 hasConcept C80444323 @default.
• W2948443596 hasConcept C88468194 @default.
• W2948443596 hasConcept C97686452 @default.
• W2948443596 hasConcept C98183937 @default.
• W2948443596 hasConceptScore W2948443596C110251889 @default.
• W2948443596 hasConceptScore W2948443596C112930515 @default.
• W2948443596 hasConceptScore W2948443596C115903868 @default.
• W2948443596 hasConceptScore W2948443596C153083717 @default.
• W2948443596 hasConceptScore W2948443596C154945302 @default.
• W2948443596 hasConceptScore W2948443596C177264268 @default.
• W2948443596 hasConceptScore W2948443596C199360897 @default.
• W2948443596 hasConceptScore W2948443596C24119478 @default.
• W2948443596 hasConceptScore W2948443596C2522767166 @default.
• W2948443596 hasConceptScore W2948443596C41008148 @default.
• W2948443596 hasConceptScore W2948443596C489000 @default.
• W2948443596 hasConceptScore W2948443596C71924100 @default.
• W2948443596 hasConceptScore W2948443596C75606506 @default.
• W2948443596 hasConceptScore W2948443596C77088390 @default.
• W2948443596 hasConceptScore W2948443596C80444323 @default.
• W2948443596 hasConceptScore W2948443596C88468194 @default.
• W2948443596 hasConceptScore W2948443596C97686452 @default.
• W2948443596 hasConceptScore W2948443596C98183937 @default.
• W2948443596 hasLocation W29484435961 @default.
• W2948443596 hasOpenAccess W2948443596 @default.
• W2948443596 hasPrimaryLocation W29484435961 @default.
• W2948443596 hasRelatedWork W1510950427 @default.
• W2948443596 hasRelatedWork W1557280686 @default.
• W2948443596 hasRelatedWork W181538956 @default.
• W2948443596 hasRelatedWork W1979957085 @default.
• W2948443596 hasRelatedWork W2028622255 @default.
• W2948443596 hasRelatedWork W2103848824 @default.
• W2948443596 hasRelatedWork W2105265565 @default.
• W2948443596 hasRelatedWork W2121168205 @default.
• W2948443596 hasRelatedWork W2156134369 @default.
• W2948443596 hasRelatedWork W2275405912 @default.
• W2948443596 hasRelatedWork W2345042031 @default.
• W2948443596 hasRelatedWork W2400789574 @default.
• W2948443596 hasRelatedWork W2587468764 @default.
• W2948443596 hasRelatedWork W2606817790 @default.
• W2948443596 hasRelatedWork W2896068337 @default.
• W2948443596 hasRelatedWork W2899627975 @default.
• W2948443596 hasRelatedWork W3096889321 @default.
• W2948443596 hasRelatedWork W3172962027 @default.
• W2948443596 hasRelatedWork W780506106 @default.
• W2948443596 hasRelatedWork W99778302 @default.
• W2948443596 isParatext "false" @default.
• W2948443596 isRetracted "false" @default.
• W2948443596 magId "2948443596" @default.
• W2948443596 workType "dissertation" @default.