Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912096350> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2912096350 endingPage "528" @default.
- W2912096350 startingPage "518" @default.
- W2912096350 abstract "Connectibility affordances, or opportunities for a user to establish input/output cable connections, can be critical to the safety and usability of complex systems. To support model-based analyses, this research introduces a formal approach: Connectibility Affordance VErification, Modeling, and ENumeration (CAVEMEN). CAVEMEN is applicable to a human-environment system encompassing physical entities with specified properties, a user with specified motor abilities, and connectibility affordance instances involving different combinations of source-target connections. The modeling technique leverages object-oriented principles to define one instance of a connectibility affordance with respect to one unique combination of connection sources and targets. An inspection technique supports the enumeration of connectibility affordance instances that are desired (supporting a correct connection) and undesired (supporting an incorrect connection). A model checking technique aids in verifying accuracy, meaning the user can actualize desired affordance instances, and robustness, meaning undesired affordance instances never emerge. An XML-based grammar, a model checking syntax translation tool, and a linear temporal logic specification of accuracy and robustness support the analyses. We demonstrate CAVEMEN with a pacemaker system case study. The inspection aids in identifying nine desired and 18 undesired instances of chamber-port connectibility. The trace evaluation shows that accuracy and robustness depends on whether an entity property of interest can change in the environmental context. These results indicate that CAVEMEN shows promise for analyzing connectibility affordances of a safety-critical system." @default.
- W2912096350 created "2019-02-21" @default.
- W2912096350 creator A5068138681 @default.
- W2912096350 creator A5084934211 @default.
- W2912096350 date "2019-12-01" @default.
- W2912096350 modified "2023-10-18" @default.
- W2912096350 title "A Formal Approach to Connectibility Affordances" @default.
- W2912096350 cites W1580568969 @default.
- W2912096350 cites W1583869287 @default.
- W2912096350 cites W1976068378 @default.
- W2912096350 cites W1979593143 @default.
- W2912096350 cites W1981686104 @default.
- W2912096350 cites W1994580556 @default.
- W2912096350 cites W2001722583 @default.
- W2912096350 cites W2023758701 @default.
- W2912096350 cites W2055775919 @default.
- W2912096350 cites W2070708245 @default.
- W2912096350 cites W2078019102 @default.
- W2912096350 cites W2110107911 @default.
- W2912096350 cites W2117189826 @default.
- W2912096350 cites W2126160338 @default.
- W2912096350 cites W2131860114 @default.
- W2912096350 cites W2153296338 @default.
- W2912096350 cites W2164169526 @default.
- W2912096350 cites W2171608978 @default.
- W2912096350 cites W2275708848 @default.
- W2912096350 cites W2343579547 @default.
- W2912096350 cites W2608704882 @default.
- W2912096350 cites W2757468779 @default.
- W2912096350 cites W2790584491 @default.
- W2912096350 cites W612909467 @default.
- W2912096350 doi "https://doi.org/10.1109/thms.2018.2886265" @default.
- W2912096350 hasPublicationYear "2019" @default.
- W2912096350 type Work @default.
- W2912096350 sameAs 2912096350 @default.
- W2912096350 citedByCount "2" @default.
- W2912096350 countsByYear W29120963502019 @default.
- W2912096350 countsByYear W29120963502021 @default.
- W2912096350 crossrefType "journal-article" @default.
- W2912096350 hasAuthorship W2912096350A5068138681 @default.
- W2912096350 hasAuthorship W2912096350A5084934211 @default.
- W2912096350 hasBestOaLocation W29120963501 @default.
- W2912096350 hasConcept C104317684 @default.
- W2912096350 hasConcept C107457646 @default.
- W2912096350 hasConcept C136764020 @default.
- W2912096350 hasConcept C170130773 @default.
- W2912096350 hasConcept C185592680 @default.
- W2912096350 hasConcept C194995250 @default.
- W2912096350 hasConcept C199360897 @default.
- W2912096350 hasConcept C41008148 @default.
- W2912096350 hasConcept C55493867 @default.
- W2912096350 hasConcept C63479239 @default.
- W2912096350 hasConcept C8797682 @default.
- W2912096350 hasConceptScore W2912096350C104317684 @default.
- W2912096350 hasConceptScore W2912096350C107457646 @default.
- W2912096350 hasConceptScore W2912096350C136764020 @default.
- W2912096350 hasConceptScore W2912096350C170130773 @default.
- W2912096350 hasConceptScore W2912096350C185592680 @default.
- W2912096350 hasConceptScore W2912096350C194995250 @default.
- W2912096350 hasConceptScore W2912096350C199360897 @default.
- W2912096350 hasConceptScore W2912096350C41008148 @default.
- W2912096350 hasConceptScore W2912096350C55493867 @default.
- W2912096350 hasConceptScore W2912096350C63479239 @default.
- W2912096350 hasConceptScore W2912096350C8797682 @default.
- W2912096350 hasFunder F4320306106 @default.
- W2912096350 hasIssue "6" @default.
- W2912096350 hasLocation W29120963501 @default.
- W2912096350 hasOpenAccess W2912096350 @default.
- W2912096350 hasPrimaryLocation W29120963501 @default.
- W2912096350 hasRelatedWork W1503760549 @default.
- W2912096350 hasRelatedWork W1638537218 @default.
- W2912096350 hasRelatedWork W2186453640 @default.
- W2912096350 hasRelatedWork W2354971057 @default.
- W2912096350 hasRelatedWork W2358816484 @default.
- W2912096350 hasRelatedWork W2417026147 @default.
- W2912096350 hasRelatedWork W2945661852 @default.
- W2912096350 hasRelatedWork W3015375770 @default.
- W2912096350 hasRelatedWork W3101395026 @default.
- W2912096350 hasRelatedWork W4223904047 @default.
- W2912096350 hasVolume "49" @default.
- W2912096350 isParatext "false" @default.
- W2912096350 isRetracted "false" @default.
- W2912096350 magId "2912096350" @default.
- W2912096350 workType "article" @default.