{"id":"https://openalex.org/W2624030887","doi":"https://doi.org/10.1007/978-3-319-63194-3_8","title":"Demonstrating that Medical Devices Satisfy User Related Safety Requirements","display_name":"Demonstrating that Medical Devices Satisfy User Related Safety Requirements","publication_year":2017,"publication_date":"2017-01-01","ids":{"openalex":"https://openalex.org/W2624030887","doi":"https://doi.org/10.1007/978-3-319-63194-3_8","mag":"2624030887"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-63194-3_8","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-63194-3_8","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://repositorio.inesctec.pt/handle/123456789/4636","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5090299074","display_name":"Michael D. Harrison","orcid":"https://orcid.org/0000-0002-5567-9650"},"institutions":[{"id":"https://openalex.org/I166337079","display_name":"Queen Mary University of London","ror":"https://ror.org/026zzn846","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I166337079"]},{"id":"https://openalex.org/I84884186","display_name":"Newcastle University","ror":"https://ror.org/01kj2bm70","country_code":"GB","type":"education","lineage":["https://openalex.org/I84884186"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Michael D. Harrison","raw_affiliation_strings":["School of Computing Science, Newcastle University, Newcastle upon Tyne, NE1 7RU, UK","School of Electronic Engineering and Computer Science, Queen Mary University of London, Mile End, London, E1 4NS, UK","School of Computing Science, Newcastle University, Newcastle upon Tyne, UK","School of Electronic Engineering and Computer Science, Queen Mary University of London, London, UK"],"affiliations":[{"raw_affiliation_string":"School of Computing Science, Newcastle University, Newcastle upon Tyne, NE1 7RU, UK","institution_ids":["https://openalex.org/I84884186"]},{"raw_affiliation_string":"School of Electronic Engineering and Computer Science, Queen Mary University of London, Mile End, London, E1 4NS, UK","institution_ids":["https://openalex.org/I166337079"]},{"raw_affiliation_string":"School of Computing Science, Newcastle University, Newcastle upon Tyne, UK","institution_ids":["https://openalex.org/I84884186"]},{"raw_affiliation_string":"School of Electronic Engineering and Computer Science, Queen Mary University of London, London, UK","institution_ids":["https://openalex.org/I166337079"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063933019","display_name":"Paolo Masci","orcid":"https://orcid.org/0000-0002-0667-7763"},"institutions":[{"id":"https://openalex.org/I4210166615","display_name":"INESC TEC","ror":"https://ror.org/05fa8ka61","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I4210125590","https://openalex.org/I4210166615"]},{"id":"https://openalex.org/I121345201","display_name":"Instituto de Engenharia de Sistemas e Computadores Investiga\u00e7\u00e3o e Desenvolvimento","ror":"https://ror.org/04mqy3p58","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I121345201","https://openalex.org/I4210125590"]},{"id":"https://openalex.org/I99682543","display_name":"University of Minho","ror":"https://ror.org/037wpkx04","country_code":"PT","type":"education","lineage":["https://openalex.org/I99682543"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Paolo Masci","raw_affiliation_strings":["Dep. Inform\u00e1tica, Universidade do Minho, Braga, Portugal","HASLab, INESC TEC, Braga, Portugal"],"affiliations":[{"raw_affiliation_string":"Dep. Inform\u00e1tica, Universidade do Minho, Braga, Portugal","institution_ids":["https://openalex.org/I99682543"]},{"raw_affiliation_string":"HASLab, INESC TEC, Braga, Portugal","institution_ids":["https://openalex.org/I121345201","https://openalex.org/I4210166615"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061819639","display_name":"Jos\u00e9 Creissac Campos","orcid":"https://orcid.org/0000-0001-9163-580X"},"institutions":[{"id":"https://openalex.org/I99682543","display_name":"University of Minho","ror":"https://ror.org/037wpkx04","country_code":"PT","type":"education","lineage":["https://openalex.org/I99682543"]},{"id":"https://openalex.org/I121345201","display_name":"Instituto de Engenharia de Sistemas e Computadores Investiga\u00e7\u00e3o e Desenvolvimento","ror":"https://ror.org/04mqy3p58","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I121345201","https://openalex.org/I4210125590"]},{"id":"https://openalex.org/I4210166615","display_name":"INESC TEC","ror":"https://ror.org/05fa8ka61","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I4210125590","https://openalex.org/I4210166615"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Jose Creissac Campos","raw_affiliation_strings":["Dep. Inform\u00e1tica, Universidade do Minho, Braga, Portugal","HASLab, INESC TEC, Braga, Portugal"],"affiliations":[{"raw_affiliation_string":"Dep. Inform\u00e1tica, Universidade do Minho, Braga, Portugal","institution_ids":["https://openalex.org/I99682543"]},{"raw_affiliation_string":"HASLab, INESC TEC, Braga, Portugal","institution_ids":["https://openalex.org/I121345201","https://openalex.org/I4210166615"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5025355465","display_name":"Paul Curzon","orcid":"https://orcid.org/0000-0002-1301-9734"},"institutions":[{"id":"https://openalex.org/I166337079","display_name":"Queen Mary University of London","ror":"https://ror.org/026zzn846","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I166337079"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Paul Curzon","raw_affiliation_strings":["School of Electronic Engineering and Computer Science, Queen Mary University of London, Mile End, London, E1 4NS, UK","School of Electronic Engineering and Computer Science, Queen Mary University of London, London, UK"],"affiliations":[{"raw_affiliation_string":"School of Electronic Engineering and Computer Science, Queen Mary University of London, Mile End, London, E1 4NS, UK","institution_ids":["https://openalex.org/I166337079"]},{"raw_affiliation_string":"School of Electronic Engineering and Computer Science, Queen Mary University of London, London, UK","institution_ids":["https://openalex.org/I166337079"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5090299074"],"corresponding_institution_ids":["https://openalex.org/I166337079","https://openalex.org/I84884186"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.602,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.81932055,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"113","last_page":"128"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13248","display_name":"Healthcare Technology and Patient Monitoring","score":0.9968000054359436,"subfield":{"id":"https://openalex.org/subfields/2746","display_name":"Surgery"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9914000034332275,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.799583911895752},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.6300547122955322},{"id":"https://openalex.org/keywords/user-requirements-document","display_name":"User requirements document","score":0.5922062993049622},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5831565260887146},{"id":"https://openalex.org/keywords/requirements-analysis","display_name":"Requirements analysis","score":0.5683194398880005},{"id":"https://openalex.org/keywords/food-and-drug-administration","display_name":"Food and drug administration","score":0.5251714587211609},{"id":"https://openalex.org/keywords/user-interface","display_name":"User interface","score":0.49817967414855957},{"id":"https://openalex.org/keywords/medical-device","display_name":"Medical device","score":0.48687997460365295},{"id":"https://openalex.org/keywords/software-requirements-specification","display_name":"Software requirements specification","score":0.4431014657020569},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.44258567690849304},{"id":"https://openalex.org/keywords/interface","display_name":"Interface (matter)","score":0.4211423695087433},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.4152795076370239},{"id":"https://openalex.org/keywords/risk-analysis","display_name":"Risk analysis (engineering)","score":0.32088571786880493},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.2142542600631714},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.14033085107803345},{"id":"https://openalex.org/keywords/software-design","display_name":"Software design","score":0.12415727972984314},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.1198418140411377},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.0834636390209198},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.07612484693527222},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.07419529557228088}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.799583911895752},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.6300547122955322},{"id":"https://openalex.org/C143267671","wikidata":"https://www.wikidata.org/wiki/Q7901856","display_name":"User requirements document","level":2,"score":0.5922062993049622},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5831565260887146},{"id":"https://openalex.org/C59488412","wikidata":"https://www.wikidata.org/wiki/Q187147","display_name":"Requirements analysis","level":3,"score":0.5683194398880005},{"id":"https://openalex.org/C3018890749","wikidata":"https://www.wikidata.org/wiki/Q204711","display_name":"Food and drug administration","level":2,"score":0.5251714587211609},{"id":"https://openalex.org/C89505385","wikidata":"https://www.wikidata.org/wiki/Q47146","display_name":"User interface","level":2,"score":0.49817967414855957},{"id":"https://openalex.org/C3020535179","wikidata":"https://www.wikidata.org/wiki/Q6554101","display_name":"Medical device","level":2,"score":0.48687997460365295},{"id":"https://openalex.org/C102780508","wikidata":"https://www.wikidata.org/wiki/Q1761598","display_name":"Software requirements specification","level":5,"score":0.4431014657020569},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.44258567690849304},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.4211423695087433},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4152795076370239},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.32088571786880493},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.2142542600631714},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.14033085107803345},{"id":"https://openalex.org/C52913732","wikidata":"https://www.wikidata.org/wiki/Q857102","display_name":"Software design","level":4,"score":0.12415727972984314},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.1198418140411377},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0834636390209198},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.07612484693527222},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.07419529557228088},{"id":"https://openalex.org/C129307140","wikidata":"https://www.wikidata.org/wiki/Q6795880","display_name":"Maximum bubble pressure method","level":3,"score":0.0},{"id":"https://openalex.org/C136229726","wikidata":"https://www.wikidata.org/wiki/Q327092","display_name":"Biomedical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C157915830","wikidata":"https://www.wikidata.org/wiki/Q2928001","display_name":"Bubble","level":2,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/978-3-319-63194-3_8","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-63194-3_8","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:qmro.qmul.ac.uk:123456789/24766","is_oa":false,"landing_page_url":"http://qmro.qmul.ac.uk/xmlui/handle/123456789/24766","pdf_url":null,"source":{"id":"https://openalex.org/S4306400530","display_name":"Queen Mary Research Online (Queen Mary University of London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I166337079","host_organization_name":"Queen Mary University of London","host_organization_lineage":["https://openalex.org/I166337079"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference Proceeding"},{"id":"pmh:oai:repositorio.inesctec.pt:123456789/4636","is_oa":true,"landing_page_url":"http://repositorio.inesctec.pt/handle/123456789/4636","pdf_url":null,"source":{"id":"https://openalex.org/S4306402433","display_name":"Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"conference object"},{"id":"pmh:oai:repositorium.sdum.uminho.pt:1822/51329","is_oa":true,"landing_page_url":"http://hdl.handle.net/1822/51329","pdf_url":null,"source":{"id":"https://openalex.org/S4306400354","display_name":"Reposit\u00f3riUM (Universidade do Minho)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I99682543","host_organization_name":"University of Minho","host_organization_lineage":["https://openalex.org/I99682543"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null}],"best_oa_location":{"id":"pmh:oai:repositorio.inesctec.pt:123456789/4636","is_oa":true,"landing_page_url":"http://repositorio.inesctec.pt/handle/123456789/4636","pdf_url":null,"source":{"id":"https://openalex.org/S4306402433","display_name":"Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"conference object"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G7267038184","display_name":null,"funder_award_id":"EP/G059063/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W642120166","https://openalex.org/W1489391022","https://openalex.org/W1495194161","https://openalex.org/W1534850143","https://openalex.org/W1556900989","https://openalex.org/W1670265348","https://openalex.org/W1959794522","https://openalex.org/W1968978437","https://openalex.org/W1970596867","https://openalex.org/W2068539421","https://openalex.org/W2069075127","https://openalex.org/W2131209722","https://openalex.org/W2163377462","https://openalex.org/W2168366350","https://openalex.org/W2247614081","https://openalex.org/W4244819751"],"related_works":["https://openalex.org/W2012957645","https://openalex.org/W2212135093","https://openalex.org/W2016051366","https://openalex.org/W1703282317","https://openalex.org/W1523833395","https://openalex.org/W2754675548","https://openalex.org/W2323956365","https://openalex.org/W1848993269","https://openalex.org/W1599790262","https://openalex.org/W2625495766"],"abstract_inverted_index":null,"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2015,"cited_by_count":6}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}