Matches in SemOpenAlex for { <https://semopenalex.org/work/W2889322863> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2889322863 abstract "In component based design of embedded software, virtual integration verifies hierarchical decomposition of components and contracts. In this paper we present a virtual integration analysis that is based on the Kind2 state-of-the-art model checker. Our method focuses on pattern-based requirements with automata-based semantics. We propose the Simplified Universal Pattern that is used in the BTC EmbeddedPlatform as a specification language, but other languages may be used as well. The main contribution is a reduction of virtual integration to a reachability problem on so-called counter automata that form the semantics of the pattern language. The counter automata are translated to the synchronous data flow language Lustre, that serves as input for Kind2. Kind2 turns out to be quite powerful in proving the safety properties that result from the reachability problem for the automata. Thus, it yields a positive sound (but not complete) verification technique that gives a sufficient condition for virtual integration." @default.
- W2889322863 created "2018-09-07" @default.
- W2889322863 creator A5054643585 @default.
- W2889322863 date "2018-01-01" @default.
- W2889322863 modified "2023-09-27" @default.
- W2889322863 title "Virtual Integration for Pattern-Based Contracts with the Kind2 Model Checker" @default.
- W2889322863 cites W115133185 @default.
- W2889322863 cites W1480909796 @default.
- W2889322863 cites W1495266209 @default.
- W2889322863 cites W153060849 @default.
- W2889322863 cites W1970488655 @default.
- W2889322863 cites W1996832037 @default.
- W2889322863 cites W2103672915 @default.
- W2889322863 cites W2158931775 @default.
- W2889322863 cites W2500481350 @default.
- W2889322863 cites W2514239774 @default.
- W2889322863 cites W3138459719 @default.
- W2889322863 cites W40711582 @default.
- W2889322863 cites W4205178436 @default.
- W2889322863 doi "https://doi.org/10.1007/978-3-030-00244-2_9" @default.
- W2889322863 hasPublicationYear "2018" @default.
- W2889322863 type Work @default.
- W2889322863 sameAs 2889322863 @default.
- W2889322863 citedByCount "0" @default.
- W2889322863 crossrefType "book-chapter" @default.
- W2889322863 hasAuthorship W2889322863A5054643585 @default.
- W2889322863 hasConcept C110251889 @default.
- W2889322863 hasConcept C111919701 @default.
- W2889322863 hasConcept C112505250 @default.
- W2889322863 hasConcept C136643341 @default.
- W2889322863 hasConcept C167822520 @default.
- W2889322863 hasConcept C180699724 @default.
- W2889322863 hasConcept C184337299 @default.
- W2889322863 hasConcept C199360897 @default.
- W2889322863 hasConcept C41008148 @default.
- W2889322863 hasConcept C80444323 @default.
- W2889322863 hasConcept C93996380 @default.
- W2889322863 hasConceptScore W2889322863C110251889 @default.
- W2889322863 hasConceptScore W2889322863C111919701 @default.
- W2889322863 hasConceptScore W2889322863C112505250 @default.
- W2889322863 hasConceptScore W2889322863C136643341 @default.
- W2889322863 hasConceptScore W2889322863C167822520 @default.
- W2889322863 hasConceptScore W2889322863C180699724 @default.
- W2889322863 hasConceptScore W2889322863C184337299 @default.
- W2889322863 hasConceptScore W2889322863C199360897 @default.
- W2889322863 hasConceptScore W2889322863C41008148 @default.
- W2889322863 hasConceptScore W2889322863C80444323 @default.
- W2889322863 hasConceptScore W2889322863C93996380 @default.
- W2889322863 hasLocation W28893228631 @default.
- W2889322863 hasOpenAccess W2889322863 @default.
- W2889322863 hasPrimaryLocation W28893228631 @default.
- W2889322863 hasRelatedWork W12028708 @default.
- W2889322863 hasRelatedWork W1530366976 @default.
- W2889322863 hasRelatedWork W1675366856 @default.
- W2889322863 hasRelatedWork W1854878948 @default.
- W2889322863 hasRelatedWork W1964211561 @default.
- W2889322863 hasRelatedWork W1977283758 @default.
- W2889322863 hasRelatedWork W2019950445 @default.
- W2889322863 hasRelatedWork W2087521444 @default.
- W2889322863 hasRelatedWork W2112269757 @default.
- W2889322863 hasRelatedWork W2238072512 @default.
- W2889322863 hasRelatedWork W2276617767 @default.
- W2889322863 hasRelatedWork W2394006355 @default.
- W2889322863 hasRelatedWork W2474114533 @default.
- W2889322863 hasRelatedWork W251988146 @default.
- W2889322863 hasRelatedWork W2796675509 @default.
- W2889322863 hasRelatedWork W2810777846 @default.
- W2889322863 hasRelatedWork W2887757675 @default.
- W2889322863 hasRelatedWork W2900434686 @default.
- W2889322863 hasRelatedWork W3133880597 @default.
- W2889322863 hasRelatedWork W84960321 @default.
- W2889322863 isParatext "false" @default.
- W2889322863 isRetracted "false" @default.
- W2889322863 magId "2889322863" @default.
- W2889322863 workType "book-chapter" @default.