Matches in SemOpenAlex for { <https://semopenalex.org/work/W1998045482> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W1998045482 abstract "This paper presents a framework to ensure the correctness of service-oriented architectures based on runtime verification techniques. Traditionally, the reliability of safety critical systems is ensured by testing the complete system including all subsystems. When those systems are designed as service-oriented architectures, and independently developed subsystems are composed to new systems at runtime, this approach is no longer viable. Instead, the presented framework uses runtime monitors synthesised from high-level specifications to ensure safety constraints. The framework has been designed for the interconnection of medical devices in the operating room. As a case study, the framework is applied to the interconnection of an ultrasound dissector and a microscope. Benchmarks show that the monitoring overhead is negligible in this setting." @default.
- W1998045482 created "2016-06-24" @default.
- W1998045482 creator A5017418548 @default.
- W1998045482 creator A5064112443 @default.
- W1998045482 creator A5079870112 @default.
- W1998045482 date "2014-11-01" @default.
- W1998045482 modified "2023-09-28" @default.
- W1998045482 title "Runtime Verification of Web Services for Interconnected Medical Devices" @default.
- W1998045482 cites W109080678 @default.
- W1998045482 cites W1480909796 @default.
- W1998045482 cites W1494755801 @default.
- W1998045482 cites W1507758008 @default.
- W1998045482 cites W1535889317 @default.
- W1998045482 cites W1556566737 @default.
- W1998045482 cites W1580893043 @default.
- W1998045482 cites W1865544468 @default.
- W1998045482 cites W1877266832 @default.
- W1998045482 cites W1975880855 @default.
- W1998045482 cites W1996832037 @default.
- W1998045482 cites W2023808162 @default.
- W1998045482 cites W2027769154 @default.
- W1998045482 cites W2028720147 @default.
- W1998045482 cites W2087492381 @default.
- W1998045482 cites W2105191851 @default.
- W1998045482 cites W2109136852 @default.
- W1998045482 cites W2114576730 @default.
- W1998045482 cites W2115333632 @default.
- W1998045482 cites W2120853077 @default.
- W1998045482 cites W2176100176 @default.
- W1998045482 cites W221832247 @default.
- W1998045482 cites W2288852362 @default.
- W1998045482 cites W2345172334 @default.
- W1998045482 cites W63703597 @default.
- W1998045482 cites W64407196 @default.
- W1998045482 doi "https://doi.org/10.1109/issre.2014.16" @default.
- W1998045482 hasPublicationYear "2014" @default.
- W1998045482 type Work @default.
- W1998045482 sameAs 1998045482 @default.
- W1998045482 citedByCount "9" @default.
- W1998045482 countsByYear W19980454822015 @default.
- W1998045482 countsByYear W19980454822017 @default.
- W1998045482 countsByYear W19980454822018 @default.
- W1998045482 countsByYear W19980454822019 @default.
- W1998045482 crossrefType "proceedings-article" @default.
- W1998045482 hasAuthorship W1998045482A5017418548 @default.
- W1998045482 hasAuthorship W1998045482A5064112443 @default.
- W1998045482 hasAuthorship W1998045482A5079870112 @default.
- W1998045482 hasConcept C111498074 @default.
- W1998045482 hasConcept C111919701 @default.
- W1998045482 hasConcept C120314980 @default.
- W1998045482 hasConcept C121332964 @default.
- W1998045482 hasConcept C123745756 @default.
- W1998045482 hasConcept C136264566 @default.
- W1998045482 hasConcept C149635348 @default.
- W1998045482 hasConcept C162324750 @default.
- W1998045482 hasConcept C163258240 @default.
- W1998045482 hasConcept C199360897 @default.
- W1998045482 hasConcept C202973057 @default.
- W1998045482 hasConcept C2779960059 @default.
- W1998045482 hasConcept C2780378061 @default.
- W1998045482 hasConcept C31258907 @default.
- W1998045482 hasConcept C41008148 @default.
- W1998045482 hasConcept C43214815 @default.
- W1998045482 hasConcept C55439883 @default.
- W1998045482 hasConcept C62520636 @default.
- W1998045482 hasConceptScore W1998045482C111498074 @default.
- W1998045482 hasConceptScore W1998045482C111919701 @default.
- W1998045482 hasConceptScore W1998045482C120314980 @default.
- W1998045482 hasConceptScore W1998045482C121332964 @default.
- W1998045482 hasConceptScore W1998045482C123745756 @default.
- W1998045482 hasConceptScore W1998045482C136264566 @default.
- W1998045482 hasConceptScore W1998045482C149635348 @default.
- W1998045482 hasConceptScore W1998045482C162324750 @default.
- W1998045482 hasConceptScore W1998045482C163258240 @default.
- W1998045482 hasConceptScore W1998045482C199360897 @default.
- W1998045482 hasConceptScore W1998045482C202973057 @default.
- W1998045482 hasConceptScore W1998045482C2779960059 @default.
- W1998045482 hasConceptScore W1998045482C2780378061 @default.
- W1998045482 hasConceptScore W1998045482C31258907 @default.
- W1998045482 hasConceptScore W1998045482C41008148 @default.
- W1998045482 hasConceptScore W1998045482C43214815 @default.
- W1998045482 hasConceptScore W1998045482C55439883 @default.
- W1998045482 hasConceptScore W1998045482C62520636 @default.
- W1998045482 hasLocation W19980454821 @default.
- W1998045482 hasOpenAccess W1998045482 @default.
- W1998045482 hasPrimaryLocation W19980454821 @default.
- W1998045482 hasRelatedWork W1521353230 @default.
- W1998045482 hasRelatedWork W1563456403 @default.
- W1998045482 hasRelatedWork W2113912096 @default.
- W1998045482 hasRelatedWork W2165842411 @default.
- W1998045482 hasRelatedWork W2391167130 @default.
- W1998045482 hasRelatedWork W2407551549 @default.
- W1998045482 hasRelatedWork W2531404100 @default.
- W1998045482 hasRelatedWork W2809618173 @default.
- W1998045482 hasRelatedWork W2902687583 @default.
- W1998045482 hasRelatedWork W48572499 @default.
- W1998045482 isParatext "false" @default.
- W1998045482 isRetracted "false" @default.
- W1998045482 magId "1998045482" @default.
- W1998045482 workType "article" @default.