FRINK Linked Data Fragments server

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

• W2964754217 abstract "Model checking is an established technique to formally verify automation systems which are required to be trusted. However, for sufficiently complex systems model checking becomes computationally infeasible. On the other hand, testing, which offers less reliability, often does not present a serious computational challenge. Searching for synergies between these two approaches, this paper proposes a framework to ensure reliability of industrial automation systems by means of hybrid use of model checking and testing. This framework represents a way to achieve a trade-off between verification reliability and computational complexity which has not yet been explored in other approaches. Instead of undergoing usual model checking, system requirements are checked only on particular system behaviors which represent a test suite achieving coverage for both the system and the requirements. Then, all stages of the framework support the case of a closed-loop model, where not only the controller, but also the plant is modeled." @default.
• W2964754217 created "2019-08-13" @default.
• W2964754217 creator A5005110425 @default.
• W2964754217 creator A5008070913 @default.
• W2964754217 date "2019-07-27" @default.
• W2964754217 modified "2023-09-27" @default.
• W2964754217 title "Combining closed-loop test generation and execution by means of model checking." @default.
• W2964754217 cites W1483676884 @default.
• W2964754217 cites W1509343160 @default.
• W2964754217 cites W1513470120 @default.
• W2964754217 cites W1583869287 @default.
• W2964754217 cites W1642772123 @default.
• W2964754217 cites W1985759744 @default.
• W2964754217 cites W1998872168 @default.
• W2964754217 cites W2001289891 @default.
• W2964754217 cites W2013382827 @default.
• W2964754217 cites W2029825845 @default.
• W2964754217 cites W2041713059 @default.
• W2964754217 cites W2052495090 @default.
• W2964754217 cites W2059494389 @default.
• W2964754217 cites W2061438988 @default.
• W2964754217 cites W2065037173 @default.
• W2964754217 cites W2065086898 @default.
• W2964754217 cites W2066680644 @default.
• W2964754217 cites W2083255561 @default.
• W2964754217 cites W2097246682 @default.
• W2964754217 cites W2101623441 @default.
• W2964754217 cites W2115309705 @default.
• W2964754217 cites W2149505323 @default.
• W2964754217 cites W2179736478 @default.
• W2964754217 cites W2188664527 @default.
• W2964754217 cites W2325779777 @default.
• W2964754217 cites W2340735175 @default.
• W2964754217 cites W2592125797 @default.
• W2964754217 cites W2620179466 @default.
• W2964754217 cites W2782833472 @default.
• W2964754217 cites W2913459036 @default.
• W2964754217 cites W2918617641 @default.
• W2964754217 hasPublicationYear "2019" @default.
• W2964754217 type Work @default.
• W2964754217 sameAs 2964754217 @default.
• W2964754217 citedByCount "0" @default.
• W2964754217 crossrefType "posted-content" @default.
• W2964754217 hasAuthorship W2964754217A5005110425 @default.
• W2964754217 hasAuthorship W2964754217A5008070913 @default.
• W2964754217 hasConcept C110251889 @default.
• W2964754217 hasConcept C115901376 @default.
• W2964754217 hasConcept C119857082 @default.
• W2964754217 hasConcept C120314980 @default.
• W2964754217 hasConcept C121332964 @default.
• W2964754217 hasConcept C127413603 @default.
• W2964754217 hasConcept C128942645 @default.
• W2964754217 hasConcept C151552104 @default.
• W2964754217 hasConcept C152877465 @default.
• W2964754217 hasConcept C154945302 @default.
• W2964754217 hasConcept C163258240 @default.
• W2964754217 hasConcept C165825675 @default.
• W2964754217 hasConcept C199360897 @default.
• W2964754217 hasConcept C200601418 @default.
• W2964754217 hasConcept C41008148 @default.
• W2964754217 hasConcept C43214815 @default.
• W2964754217 hasConcept C47822265 @default.
• W2964754217 hasConcept C62520636 @default.
• W2964754217 hasConcept C78519656 @default.
• W2964754217 hasConceptScore W2964754217C110251889 @default.
• W2964754217 hasConceptScore W2964754217C115901376 @default.
• W2964754217 hasConceptScore W2964754217C119857082 @default.
• W2964754217 hasConceptScore W2964754217C120314980 @default.
• W2964754217 hasConceptScore W2964754217C121332964 @default.
• W2964754217 hasConceptScore W2964754217C127413603 @default.
• W2964754217 hasConceptScore W2964754217C128942645 @default.
• W2964754217 hasConceptScore W2964754217C151552104 @default.
• W2964754217 hasConceptScore W2964754217C152877465 @default.
• W2964754217 hasConceptScore W2964754217C154945302 @default.
• W2964754217 hasConceptScore W2964754217C163258240 @default.
• W2964754217 hasConceptScore W2964754217C165825675 @default.
• W2964754217 hasConceptScore W2964754217C199360897 @default.
• W2964754217 hasConceptScore W2964754217C200601418 @default.
• W2964754217 hasConceptScore W2964754217C41008148 @default.
• W2964754217 hasConceptScore W2964754217C43214815 @default.
• W2964754217 hasConceptScore W2964754217C47822265 @default.
• W2964754217 hasConceptScore W2964754217C62520636 @default.
• W2964754217 hasConceptScore W2964754217C78519656 @default.
• W2964754217 hasLocation W29647542171 @default.
• W2964754217 hasOpenAccess W2964754217 @default.
• W2964754217 hasPrimaryLocation W29647542171 @default.
• W2964754217 hasRelatedWork W1481933832 @default.
• W2964754217 hasRelatedWork W1577352907 @default.
• W2964754217 hasRelatedWork W1995766701 @default.
• W2964754217 hasRelatedWork W2008716112 @default.
• W2964754217 hasRelatedWork W2095473904 @default.
• W2964754217 hasRelatedWork W2116769849 @default.
• W2964754217 hasRelatedWork W2135879996 @default.
• W2964754217 hasRelatedWork W2188057831 @default.
• W2964754217 hasRelatedWork W2206102991 @default.
• W2964754217 hasRelatedWork W2330593560 @default.
• W2964754217 hasRelatedWork W2531728244 @default.
• W2964754217 hasRelatedWork W2565301887 @default.
• W2964754217 hasRelatedWork W2598353968 @default.
• W2964754217 hasRelatedWork W2602300369 @default.

• next