FRINK Linked Data Fragments server

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

• W2044921137 abstract "Modern technical systems often consist of multiple components that must fulfill complex functions in diverse and sometimes safety-critical situations. Precisely specifying the behavioral requirements for such systems is a challenge, especially because there may be inconsistent requirements in possibly unforeseen component configurations. We propose a scenario-based specification approach based on Modal Sequence Diagrams and a novel technique for finding inconsistencies in such specification based on a combination of simulation and synthesis techniques. The simulation via the play-out algorithm can be used to analyze the scenario requirements in large and dynamic systems. Play-out, however, may run into avoidable violations, so that the engineer cannot assume the specification's inconsistency nor its consistency. We thus propose to check specification parts for static component configurations via synthesis. Then, if the part specifications are consistent, the resulting controllers can guide the play-out for the complete specification, avoiding more avoidable violations in the next simulation run." @default.
• W2044921137 created "2016-06-24" @default.
• W2044921137 creator A5068373742 @default.
• W2044921137 creator A5076025800 @default.
• W2044921137 date "2012-07-03" @default.
• W2044921137 modified "2023-10-15" @default.
• W2044921137 title "Consistency checking scenario-based specifications of dynamic systems by combining simulation and synthesis" @default.
• W2044921137 cites W1513429858 @default.
• W2044921137 cites W1592055490 @default.
• W2044921137 cites W1599995366 @default.
• W2044921137 cites W2021042308 @default.
• W2044921137 cites W2023761243 @default.
• W2044921137 cites W2034227487 @default.
• W2044921137 cites W2047364111 @default.
• W2044921137 cites W2102071894 @default.
• W2044921137 cites W2108571087 @default.
• W2044921137 cites W2125249627 @default.
• W2044921137 cites W2139101939 @default.
• W2044921137 cites W2151805884 @default.
• W2044921137 cites W2481726056 @default.
• W2044921137 doi "https://doi.org/10.1145/2325276.2325278" @default.
• W2044921137 hasPublicationYear "2012" @default.
• W2044921137 type Work @default.
• W2044921137 sameAs 2044921137 @default.
• W2044921137 citedByCount "4" @default.
• W2044921137 countsByYear W20449211372013 @default.
• W2044921137 countsByYear W20449211372014 @default.
• W2044921137 crossrefType "proceedings-article" @default.
• W2044921137 hasAuthorship W2044921137A5068373742 @default.
• W2044921137 hasAuthorship W2044921137A5076025800 @default.
• W2044921137 hasConcept C102780508 @default.
• W2044921137 hasConcept C115903868 @default.
• W2044921137 hasConcept C116253237 @default.
• W2044921137 hasConcept C120314980 @default.
• W2044921137 hasConcept C121332964 @default.
• W2044921137 hasConcept C127413603 @default.
• W2044921137 hasConcept C145644426 @default.
• W2044921137 hasConcept C149091818 @default.
• W2044921137 hasConcept C153185123 @default.
• W2044921137 hasConcept C154945302 @default.
• W2044921137 hasConcept C168167062 @default.
• W2044921137 hasConcept C185592680 @default.
• W2044921137 hasConcept C186846655 @default.
• W2044921137 hasConcept C188027245 @default.
• W2044921137 hasConcept C199360897 @default.
• W2044921137 hasConcept C200601418 @default.
• W2044921137 hasConcept C201677973 @default.
• W2044921137 hasConcept C2776436953 @default.
• W2044921137 hasConcept C2777904410 @default.
• W2044921137 hasConcept C2778112365 @default.
• W2044921137 hasConcept C41008148 @default.
• W2044921137 hasConcept C52913732 @default.
• W2044921137 hasConcept C529173508 @default.
• W2044921137 hasConcept C54355233 @default.
• W2044921137 hasConcept C57371142 @default.
• W2044921137 hasConcept C71139939 @default.
• W2044921137 hasConcept C84651959 @default.
• W2044921137 hasConcept C86803240 @default.
• W2044921137 hasConcept C97355855 @default.
• W2044921137 hasConceptScore W2044921137C102780508 @default.
• W2044921137 hasConceptScore W2044921137C115903868 @default.
• W2044921137 hasConceptScore W2044921137C116253237 @default.
• W2044921137 hasConceptScore W2044921137C120314980 @default.
• W2044921137 hasConceptScore W2044921137C121332964 @default.
• W2044921137 hasConceptScore W2044921137C127413603 @default.
• W2044921137 hasConceptScore W2044921137C145644426 @default.
• W2044921137 hasConceptScore W2044921137C149091818 @default.
• W2044921137 hasConceptScore W2044921137C153185123 @default.
• W2044921137 hasConceptScore W2044921137C154945302 @default.
• W2044921137 hasConceptScore W2044921137C168167062 @default.
• W2044921137 hasConceptScore W2044921137C185592680 @default.
• W2044921137 hasConceptScore W2044921137C186846655 @default.
• W2044921137 hasConceptScore W2044921137C188027245 @default.
• W2044921137 hasConceptScore W2044921137C199360897 @default.
• W2044921137 hasConceptScore W2044921137C200601418 @default.
• W2044921137 hasConceptScore W2044921137C201677973 @default.
• W2044921137 hasConceptScore W2044921137C2776436953 @default.
• W2044921137 hasConceptScore W2044921137C2777904410 @default.
• W2044921137 hasConceptScore W2044921137C2778112365 @default.
• W2044921137 hasConceptScore W2044921137C41008148 @default.
• W2044921137 hasConceptScore W2044921137C52913732 @default.
• W2044921137 hasConceptScore W2044921137C529173508 @default.
• W2044921137 hasConceptScore W2044921137C54355233 @default.
• W2044921137 hasConceptScore W2044921137C57371142 @default.
• W2044921137 hasConceptScore W2044921137C71139939 @default.
• W2044921137 hasConceptScore W2044921137C84651959 @default.
• W2044921137 hasConceptScore W2044921137C86803240 @default.
• W2044921137 hasConceptScore W2044921137C97355855 @default.
• W2044921137 hasLocation W20449211371 @default.
• W2044921137 hasOpenAccess W2044921137 @default.
• W2044921137 hasPrimaryLocation W20449211371 @default.
• W2044921137 hasRelatedWork W1515035016 @default.
• W2044921137 hasRelatedWork W1531027197 @default.
• W2044921137 hasRelatedWork W1547699668 @default.
• W2044921137 hasRelatedWork W2137223410 @default.
• W2044921137 hasRelatedWork W2158159493 @default.
• W2044921137 hasRelatedWork W2164964134 @default.
• W2044921137 hasRelatedWork W2211523418 @default.
• W2044921137 hasRelatedWork W2225205441 @default.
• W2044921137 hasRelatedWork W2294190091 @default.

• next