Matches in SemOpenAlex for { <https://semopenalex.org/work/W4285192856> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W4285192856 endingPage "372" @default.
- W4285192856 startingPage "355" @default.
- W4285192856 abstract "Contract-based assume-guarantee reasoning can be used to improve the scalability of model checking by decomposing complex verification problems. In previous work, we demonstrated this approach for systems modeled using the Architecture Analysis and Design Language (AADL) assuming a synchronous model of computation. This allows nondeterministic ordering of parallel components and generally results in an over-approximation of real behavior. This paper describes an approach to incorporating an execution schedule in the assume-guarantee reasoning. We define our semantic interpretation of contracts when components are executed according to this schedule, more accurately reflecting the behavior of the system implementation. We introduce virtual scheduling events which tie AADL timing and execution semantics to contracts. A case study based on a simple unmanned air vehicle surveillance system is provided to illustrate our approach." @default.
- W4285192856 created "2022-07-14" @default.
- W4285192856 creator A5005072374 @default.
- W4285192856 creator A5009590736 @default.
- W4285192856 creator A5033458131 @default.
- W4285192856 creator A5066885247 @default.
- W4285192856 creator A5079444988 @default.
- W4285192856 creator A5091588309 @default.
- W4285192856 date "2022-01-01" @default.
- W4285192856 modified "2023-09-26" @default.
- W4285192856 title "Assume-Guarantee Reasoning with Scheduled Components" @default.
- W4285192856 cites W1465777884 @default.
- W4285192856 cites W2055295051 @default.
- W4285192856 cites W2069431083 @default.
- W4285192856 cites W2077349223 @default.
- W4285192856 cites W2120431055 @default.
- W4285192856 cites W2125415493 @default.
- W4285192856 cites W2130025446 @default.
- W4285192856 cites W2135969459 @default.
- W4285192856 cites W2136310957 @default.
- W4285192856 cites W2158768907 @default.
- W4285192856 cites W2343455713 @default.
- W4285192856 cites W2500481350 @default.
- W4285192856 cites W2787362676 @default.
- W4285192856 cites W2892234404 @default.
- W4285192856 cites W2914097741 @default.
- W4285192856 cites W2964276056 @default.
- W4285192856 cites W3160591349 @default.
- W4285192856 cites W3214233940 @default.
- W4285192856 cites W4247307683 @default.
- W4285192856 cites W69221180 @default.
- W4285192856 doi "https://doi.org/10.1007/978-3-031-06773-0_19" @default.
- W4285192856 hasPublicationYear "2022" @default.
- W4285192856 type Work @default.
- W4285192856 citedByCount "1" @default.
- W4285192856 countsByYear W42851928562023 @default.
- W4285192856 crossrefType "book-chapter" @default.
- W4285192856 hasAuthorship W4285192856A5005072374 @default.
- W4285192856 hasAuthorship W4285192856A5009590736 @default.
- W4285192856 hasAuthorship W4285192856A5033458131 @default.
- W4285192856 hasAuthorship W4285192856A5066885247 @default.
- W4285192856 hasAuthorship W4285192856A5079444988 @default.
- W4285192856 hasAuthorship W4285192856A5091588309 @default.
- W4285192856 hasConcept C111919701 @default.
- W4285192856 hasConcept C120314980 @default.
- W4285192856 hasConcept C126255220 @default.
- W4285192856 hasConcept C176181172 @default.
- W4285192856 hasConcept C184337299 @default.
- W4285192856 hasConcept C199360897 @default.
- W4285192856 hasConcept C206729178 @default.
- W4285192856 hasConcept C33923547 @default.
- W4285192856 hasConcept C41008148 @default.
- W4285192856 hasConcept C45374587 @default.
- W4285192856 hasConcept C48044578 @default.
- W4285192856 hasConcept C68387754 @default.
- W4285192856 hasConcept C77088390 @default.
- W4285192856 hasConcept C80444323 @default.
- W4285192856 hasConceptScore W4285192856C111919701 @default.
- W4285192856 hasConceptScore W4285192856C120314980 @default.
- W4285192856 hasConceptScore W4285192856C126255220 @default.
- W4285192856 hasConceptScore W4285192856C176181172 @default.
- W4285192856 hasConceptScore W4285192856C184337299 @default.
- W4285192856 hasConceptScore W4285192856C199360897 @default.
- W4285192856 hasConceptScore W4285192856C206729178 @default.
- W4285192856 hasConceptScore W4285192856C33923547 @default.
- W4285192856 hasConceptScore W4285192856C41008148 @default.
- W4285192856 hasConceptScore W4285192856C45374587 @default.
- W4285192856 hasConceptScore W4285192856C48044578 @default.
- W4285192856 hasConceptScore W4285192856C68387754 @default.
- W4285192856 hasConceptScore W4285192856C77088390 @default.
- W4285192856 hasConceptScore W4285192856C80444323 @default.
- W4285192856 hasLocation W42851928561 @default.
- W4285192856 hasOpenAccess W4285192856 @default.
- W4285192856 hasPrimaryLocation W42851928561 @default.
- W4285192856 hasRelatedWork W1587224678 @default.
- W4285192856 hasRelatedWork W1882733036 @default.
- W4285192856 hasRelatedWork W1992741870 @default.
- W4285192856 hasRelatedWork W2002815564 @default.
- W4285192856 hasRelatedWork W2159682405 @default.
- W4285192856 hasRelatedWork W2160425906 @default.
- W4285192856 hasRelatedWork W2364921833 @default.
- W4285192856 hasRelatedWork W2380023786 @default.
- W4285192856 hasRelatedWork W2385146268 @default.
- W4285192856 hasRelatedWork W2546696010 @default.
- W4285192856 isParatext "false" @default.
- W4285192856 isRetracted "false" @default.
- W4285192856 workType "book-chapter" @default.