{"id":"https://openalex.org/W2606562016","doi":"https://doi.org/10.1109/icstw.2017.15","title":"A Process for Sound Conformance Testing of Cyber-Physical Systems","display_name":"A Process for Sound Conformance Testing of Cyber-Physical Systems","publication_year":2017,"publication_date":"2017-03-01","ids":{"openalex":"https://openalex.org/W2606562016","doi":"https://doi.org/10.1109/icstw.2017.15","mag":"2606562016"},"language":"en","primary_location":{"id":"doi:10.1109/icstw.2017.15","doi":"https://doi.org/10.1109/icstw.2017.15","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icstw.2017.15","pdf_url":null,"source":{"id":"https://openalex.org/S7407087539","display_name":"IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://americanae.aecid.es/americanae/es/registros/registro.do?tipoRegistro=MTD&idBib=2267353","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5002578136","display_name":"Hugo Araujo","orcid":"https://orcid.org/0000-0003-3005-6008","observed_orcids":["https://orcid.org/0000-0003-3005-6008"]},"institutions":[{"id":"https://openalex.org/I25112270","display_name":"Universidade Federal de Pernambuco","ror":"https://ror.org/047908t24","country_code":"BR","type":"education","lineage":["https://openalex.org/I25112270"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Hugo Araujo","raw_affiliation_strings":["Universidade Federal de Pernambuco, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universidade Federal de Pernambuco, Brazil","institution_ids":["https://openalex.org/I25112270"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070089969","display_name":"Gustavo Carvalho","orcid":"https://orcid.org/0000-0002-3700-9709","observed_orcids":["https://orcid.org/0000-0002-3700-9709"]},"institutions":[{"id":"https://openalex.org/I25112270","display_name":"Universidade Federal de Pernambuco","ror":"https://ror.org/047908t24","country_code":"BR","type":"education","lineage":["https://openalex.org/I25112270"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Gustavo Carvalho","raw_affiliation_strings":["Universidade Federal de Pernambuco, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universidade Federal de Pernambuco, Brazil","institution_ids":["https://openalex.org/I25112270"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041930802","display_name":"Augusto C. A. Sampaio","orcid":"https://orcid.org/0000-0001-6593-577X","observed_orcids":["https://orcid.org/0000-0001-6593-577X","https://orcid.org/0000-0001-9870-6893"]},"institutions":[{"id":"https://openalex.org/I25112270","display_name":"Universidade Federal de Pernambuco","ror":"https://ror.org/047908t24","country_code":"BR","type":"education","lineage":["https://openalex.org/I25112270"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Augusto Sampaio","raw_affiliation_strings":["Universidade Federal de Pernambuco, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universidade Federal de Pernambuco, Brazil","institution_ids":["https://openalex.org/I25112270"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101493818","display_name":"Mohammad Reza Mousavi","orcid":"https://orcid.org/0000-0002-4869-6794","observed_orcids":["https://orcid.org/0000-0002-4869-6794"]},"institutions":[{"id":"https://openalex.org/I746986","display_name":"Halmstad University","ror":"https://ror.org/03h0qfp10","country_code":"SE","type":"education","lineage":["https://openalex.org/I746986"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Mohammad Reza Mousavi","raw_affiliation_strings":["Halmstad University, Sweden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Halmstad University, Sweden","institution_ids":["https://openalex.org/I746986"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5033757604","display_name":"Masoumeh Taromirad","orcid":"https://orcid.org/0000-0002-0838-928X","observed_orcids":["https://orcid.org/0000-0002-0838-928X"]},"institutions":[{"id":"https://openalex.org/I746986","display_name":"Halmstad University","ror":"https://ror.org/03h0qfp10","country_code":"SE","type":"education","lineage":["https://openalex.org/I746986"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Masoumeh Taromirad","raw_affiliation_strings":["Halmstad University, Sweden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Halmstad University, Sweden","institution_ids":["https://openalex.org/I746986"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.7284,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.61213992,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":95},"biblio":{"volume":"42","issue":null,"first_page":"46","last_page":"50"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.6381999850273132,"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.6381999850273132,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.24060000479221344,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T13286","display_name":"Modeling and Simulation Systems","score":0.00860000029206276,"subfield":{"id":"https://openalex.org/subfields/2611","display_name":"Modeling and Simulation"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/conformance-testing","display_name":"conformance testing","score":0.8830000162124634},{"id":"https://openalex.org/keywords/cyber-physical-systems","display_name":"cyber-physical systems","score":0.996999979019165},{"id":"https://openalex.org/keywords/hybrid-model","display_name":"hybrid model","score":0.7390000224113464},{"id":"https://openalex.org/keywords/non-functional-requirements","display_name":"non-functional requirements","score":0.6600000262260437},{"id":"https://openalex.org/keywords/continuous-time-dynamics","display_name":"continuous-time dynamics","score":0.7179999947547913},{"id":"https://openalex.org/keywords/sampling-rate","display_name":"sampling frequency","score":0.6510000228881836},{"id":"https://openalex.org/keywords/margin-of-error","display_name":"margin of error","score":0.9150000214576721},{"id":"https://openalex.org/keywords/signal-comparison","display_name":"signal comparison","score":0.6029999852180481}],"concepts":[{"id":"https://openalex.org/C76844732","wikidata":"https://www.wikidata.org/wiki/Q4072285","display_name":"Conformance testing","level":3,"score":0.7906534671783447},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7228899598121643},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.6663093566894531},{"id":"https://openalex.org/C140779682","wikidata":"https://www.wikidata.org/wiki/Q210868","display_name":"Sampling (signal processing)","level":3,"score":0.617450475692749},{"id":"https://openalex.org/C774472","wikidata":"https://www.wikidata.org/wiki/Q6760393","display_name":"Margin (machine learning)","level":2,"score":0.5357303619384766},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.46176594495773315},{"id":"https://openalex.org/C2775948798","wikidata":"https://www.wikidata.org/wiki/Q5160261","display_name":"Conformance checking","level":5,"score":0.41421860456466675},{"id":"https://openalex.org/C7166840","wikidata":"https://www.wikidata.org/wiki/Q1199682","display_name":"System testing","level":2,"score":0.41111457347869873},{"id":"https://openalex.org/C174998907","wikidata":"https://www.wikidata.org/wiki/Q357662","display_name":"Work in process","level":2,"score":0.36192286014556885},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.33205127716064453},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.12099099159240723},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.08049887418746948},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C94915269","wikidata":"https://www.wikidata.org/wiki/Q1834857","display_name":"Detector","level":2,"score":0.0},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0},{"id":"https://openalex.org/C207505557","wikidata":"https://www.wikidata.org/wiki/Q4374012","display_name":"Business process modeling","level":4,"score":0.0},{"id":"https://openalex.org/C85345410","wikidata":"https://www.wikidata.org/wiki/Q851587","display_name":"Business process","level":3,"score":0.0},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.0},{"id":"https://openalex.org/C188087704","wikidata":"https://www.wikidata.org/wiki/Q369577","display_name":"Standardization","level":2,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/icstw.2017.15","doi":"https://doi.org/10.1109/icstw.2017.15","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icstw.2017.15","pdf_url":null,"source":{"id":"https://openalex.org/S7407087539","display_name":"IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)","raw_type":"proceedings-article"},{"id":"pmh:oai:americanae.aecid.es:2267353","doi":null,"is_oa":true,"landing_page_url":"http://americanae.aecid.es/americanae/es/registros/registro.do?tipoRegistro=MTD&idBib=2267353","pdf_url":null,"source":{"id":"https://openalex.org/S4306400786","display_name":"Americanae (AECID Library)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"reponame:Reposit\u00f3rio Institucional da UFPE","raw_type":"info:eu-repo/semantics/masterThesis"},{"id":"pmh:oai:repositorio.ufpe.br:123456789/29687","doi":null,"is_oa":true,"landing_page_url":"https://repositorio.ufpe.br/handle/123456789/29687","pdf_url":null,"source":{"id":"https://openalex.org/S4306402641","display_name":"LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Cient\u00edficas)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4383465926","host_organization_name":"LA Referencia","host_organization_lineage":["https://openalex.org/I4383465926"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"instacron:UFPE","raw_type":"info:eu-repo/semantics/masterThesis"}],"best_oa_location":{"id":"pmh:oai:americanae.aecid.es:2267353","doi":null,"is_oa":true,"landing_page_url":"http://americanae.aecid.es/americanae/es/registros/registro.do?tipoRegistro=MTD&idBib=2267353","pdf_url":null,"source":{"id":"https://openalex.org/S4306400786","display_name":"Americanae (AECID Library)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"reponame:Reposit\u00f3rio Institucional da UFPE","raw_type":"info:eu-repo/semantics/masterThesis"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W11820374","https://openalex.org/W996926465","https://openalex.org/W1565007974","https://openalex.org/W1992944943","https://openalex.org/W2074401703","https://openalex.org/W2080932760","https://openalex.org/W2124621264","https://openalex.org/W2126818664","https://openalex.org/W2252600742","https://openalex.org/W2338778881","https://openalex.org/W2339842460","https://openalex.org/W2502241719","https://openalex.org/W2523568493","https://openalex.org/W2902987066","https://openalex.org/W3189981105","https://openalex.org/W4243513962"],"related_works":["https://openalex.org/W2338778881","https://openalex.org/W2744382922","https://openalex.org/W1560641661","https://openalex.org/W7095714529","https://openalex.org/W2902987066","https://openalex.org/W7099311079","https://openalex.org/W2971468422","https://openalex.org/W2523568493","https://openalex.org/W1966061495","https://openalex.org/W1566748826"],"abstract_inverted_index":{"We":[0],"present":[1],"a":[2,22,43],"process":[3,19,72,109],"for":[4,130],"sound":[5],"conformance":[6,60,76,96,137,157],"testing":[7,61,138],"of":[8,25,33,51,54,70,101,107,118,135],"cyber-physical":[9,26],"systems,":[10],"which":[11,29],"involves":[12,63],"functional":[13],"but":[14],"also":[15],"non-functional":[16],"aspects.":[17],"The":[18,104],"starts":[20],"with":[21],"hybrid":[23],"model":[24,44],"systems":[27],"in":[28,57,94],"the":[30,34,55,67,71,75,90,95,115,119,123,132,136,140,146,150,160,164],"correct":[31],"behavior":[32,48],"system":[35,56],"(at":[36],"its":[37],"interface":[38],"level)":[39],"is":[40,110,143,153],"specified.":[41],"Such":[42],"captures":[45],"both":[46],"discrete":[47],"and":[49,88,155,163],"evolution":[50],"continuous":[52,65,102],"dynamics":[53],"time.":[58],"Since":[59],"inherently":[62],"comparing":[64],"dynamics,":[66],"key":[68],"parameters":[69],"are":[73,82,167],"(1)":[74],"bounds":[77,158],"defining":[78],"when":[79],"two":[80],"signals":[81],"sufficiently":[83],"close":[84],"to":[85],"each":[86],"other,":[87],"(2)":[89],"permitted":[91],"error":[92,133,151,165],"margin":[93,134,152,166],"analysis":[97],"introduced":[98],"by":[99],"sampling":[100,116,141,147,161],"signals.":[103],"final":[105],"parameter":[106],"this":[108],"(3)":[111],"finding":[112,156],"(and":[113],"adjusting)":[114],"rate":[117,142,148,162],"dynamic":[120],"behavior.":[121],"In":[122],"specified":[124],"process,":[125],"we":[126],"provide":[127],"different":[128],"alternatives":[129],"fixing":[131],"if":[139,149],"fixed,":[144],"establishing":[145],"fixed":[154],"once":[159],"fixed.":[168]},"counts_by_year":[{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1}],"updated_date":"2026-10-16T09:59:22.235173","created_date":"2017-04-28T00:00:00"}