FRINK Linked Data Fragments server

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

• W434860139 abstract "The validation and verification of reliable systems is a difficult and complex task, mainly for two reasons: First, it is difficult to precisely state which formal properties a system needs to fulfil to be of high quality. Second, it is complex to automatically verify such properties, due to the size of the analysis state space which grows exponentially with the number of components. We tackle these problems by a tool-supported method which embeds application functionality in building blocks that use UML activities to describe their internal behaviour. To describe their externally visible behaviour, we use a combination of complementary interface contracts, so-called ESMs and EESMs. In this paper, we present an extension of the interface contracts, External Reliability Contracts (ERCs), that capture failure behaviour. This separation of different behavioural aspects in separate descriptions facilitates a two-step analysis, in which the first step is completely automated and the second step is facilitated by an automatic translation of the models to the input syntax of the model checker TLC. Further, the cascade of contracts is used to separate the work of domain and reliability experts. The concepts are proposed with the background of a real industry case, and we demonstrate how the use of interface contracts leads to significantly smaller state spaces in the analysis." @default.
• W434860139 created "2016-06-24" @default.
• W434860139 creator A5034850495 @default.
• W434860139 date "2014-01-01" @default.
• W434860139 modified "2023-09-25" @default.
• W434860139 title "Towards Model-Driven Engineering of Reliable Systems: Developing Fault-Tolerant Systems using Scalable Verification" @default.
• W434860139 hasPublicationYear "2014" @default.
• W434860139 type Work @default.
• W434860139 sameAs 434860139 @default.
• W434860139 citedByCount "0" @default.
• W434860139 crossrefType "dissertation" @default.
• W434860139 hasAuthorship W434860139A5034850495 @default.
• W434860139 hasConcept C104317684 @default.
• W434860139 hasConcept C105580179 @default.
• W434860139 hasConcept C110251889 @default.
• W434860139 hasConcept C111919701 @default.
• W434860139 hasConcept C113843644 @default.
• W434860139 hasConcept C115903868 @default.
• W434860139 hasConcept C120314980 @default.
• W434860139 hasConcept C121332964 @default.
• W434860139 hasConcept C127413603 @default.
• W434860139 hasConcept C129307140 @default.
• W434860139 hasConcept C134306372 @default.
• W434860139 hasConcept C145644426 @default.
• W434860139 hasConcept C149364088 @default.
• W434860139 hasConcept C152124472 @default.
• W434860139 hasConcept C154945302 @default.
• W434860139 hasConcept C157915830 @default.
• W434860139 hasConcept C163258240 @default.
• W434860139 hasConcept C173608175 @default.
• W434860139 hasConcept C185592680 @default.
• W434860139 hasConcept C199360897 @default.
• W434860139 hasConcept C200601418 @default.
• W434860139 hasConcept C2777904410 @default.
• W434860139 hasConcept C33923547 @default.
• W434860139 hasConcept C36503486 @default.
• W434860139 hasConcept C41008148 @default.
• W434860139 hasConcept C43214815 @default.
• W434860139 hasConcept C48044578 @default.
• W434860139 hasConcept C55493867 @default.
• W434860139 hasConcept C60048249 @default.
• W434860139 hasConcept C62520636 @default.
• W434860139 hasConcept C63540848 @default.
• W434860139 hasConcept C77088390 @default.
• W434860139 hasConceptScore W434860139C104317684 @default.
• W434860139 hasConceptScore W434860139C105580179 @default.
• W434860139 hasConceptScore W434860139C110251889 @default.
• W434860139 hasConceptScore W434860139C111919701 @default.
• W434860139 hasConceptScore W434860139C113843644 @default.
• W434860139 hasConceptScore W434860139C115903868 @default.
• W434860139 hasConceptScore W434860139C120314980 @default.
• W434860139 hasConceptScore W434860139C121332964 @default.
• W434860139 hasConceptScore W434860139C127413603 @default.
• W434860139 hasConceptScore W434860139C129307140 @default.
• W434860139 hasConceptScore W434860139C134306372 @default.
• W434860139 hasConceptScore W434860139C145644426 @default.
• W434860139 hasConceptScore W434860139C149364088 @default.
• W434860139 hasConceptScore W434860139C152124472 @default.
• W434860139 hasConceptScore W434860139C154945302 @default.
• W434860139 hasConceptScore W434860139C157915830 @default.
• W434860139 hasConceptScore W434860139C163258240 @default.
• W434860139 hasConceptScore W434860139C173608175 @default.
• W434860139 hasConceptScore W434860139C185592680 @default.
• W434860139 hasConceptScore W434860139C199360897 @default.
• W434860139 hasConceptScore W434860139C200601418 @default.
• W434860139 hasConceptScore W434860139C2777904410 @default.
• W434860139 hasConceptScore W434860139C33923547 @default.
• W434860139 hasConceptScore W434860139C36503486 @default.
• W434860139 hasConceptScore W434860139C41008148 @default.
• W434860139 hasConceptScore W434860139C43214815 @default.
• W434860139 hasConceptScore W434860139C48044578 @default.
• W434860139 hasConceptScore W434860139C55493867 @default.
• W434860139 hasConceptScore W434860139C60048249 @default.
• W434860139 hasConceptScore W434860139C62520636 @default.
• W434860139 hasConceptScore W434860139C63540848 @default.
• W434860139 hasConceptScore W434860139C77088390 @default.
• W434860139 hasLocation W4348601391 @default.
• W434860139 hasOpenAccess W434860139 @default.
• W434860139 hasPrimaryLocation W4348601391 @default.
• W434860139 hasRelatedWork W1598042754 @default.
• W434860139 hasRelatedWork W1880666566 @default.
• W434860139 hasRelatedWork W1910843987 @default.
• W434860139 hasRelatedWork W1971859601 @default.
• W434860139 hasRelatedWork W2008724308 @default.
• W434860139 hasRelatedWork W2099292350 @default.
• W434860139 hasRelatedWork W2103635041 @default.
• W434860139 hasRelatedWork W2142113922 @default.
• W434860139 hasRelatedWork W2169756566 @default.
• W434860139 hasRelatedWork W2334327768 @default.
• W434860139 hasRelatedWork W241749838 @default.
• W434860139 hasRelatedWork W2419657030 @default.
• W434860139 hasRelatedWork W2470895925 @default.
• W434860139 hasRelatedWork W2524895494 @default.
• W434860139 hasRelatedWork W2622332435 @default.
• W434860139 hasRelatedWork W2796049347 @default.
• W434860139 hasRelatedWork W3107888308 @default.
• W434860139 hasRelatedWork W83816960 @default.
• W434860139 hasRelatedWork W2122802253 @default.
• W434860139 hasRelatedWork W2267857323 @default.
• W434860139 isParatext "false" @default.

• next