{"id":"https://openalex.org/W2601257832","doi":"https://doi.org/10.1109/fdl.2016.7880382","title":"Designing reliable cyber-physical systems overview associated to the special session at FDL'16","display_name":"Designing reliable cyber-physical systems overview associated to the special session at FDL'16","publication_year":2016,"publication_date":"2016-09-01","ids":{"openalex":"https://openalex.org/W2601257832","doi":"https://doi.org/10.1109/fdl.2016.7880382","mag":"2601257832"},"language":"en","primary_location":{"id":"doi:10.1109/fdl.2016.7880382","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fdl.2016.7880382","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 Forum on Specification and Design Languages (FDL)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5016719106","display_name":"Gadi Aleksandrowicz","orcid":null},"institutions":[{"id":"https://openalex.org/I4210167297","display_name":"IBM Research - Haifa","ror":"https://ror.org/05rw9t746","country_code":"IL","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210167297"]}],"countries":["IL"],"is_corresponding":true,"raw_author_name":"Gadi Aleksandrowicz","raw_affiliation_strings":["IBM Research Lab, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IBM Research Lab, Israel","institution_ids":["https://openalex.org/I4210167297"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029046441","display_name":"Eli Arbel","orcid":null},"institutions":[{"id":"https://openalex.org/I4210167297","display_name":"IBM Research - Haifa","ror":"https://ror.org/05rw9t746","country_code":"IL","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210167297"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Eli Arbel","raw_affiliation_strings":["IBM Research Lab, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IBM Research Lab, Israel","institution_ids":["https://openalex.org/I4210167297"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053520475","display_name":"Roderick Bloem","orcid":"https://orcid.org/0000-0002-1411-5744"},"institutions":[{"id":"https://openalex.org/I4092182","display_name":"Graz University of Technology","ror":"https://ror.org/00d7xrm67","country_code":"AT","type":"education","lineage":["https://openalex.org/I4092182"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Roderick Bloem","raw_affiliation_strings":["Graz University of Technology, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Graz University of Technology, Austria","institution_ids":["https://openalex.org/I4092182"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039828567","display_name":"Timon ter Braak","orcid":null},"institutions":[{"id":"https://openalex.org/I4210090032","display_name":"Recore Systems (Netherlands)","ror":"https://ror.org/008am1c32","country_code":"NL","type":"company","lineage":["https://openalex.org/I4210090032"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Timon Ter Braak","raw_affiliation_strings":["Recore Systems, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Recore Systems, The Netherlands","institution_ids":["https://openalex.org/I4210090032"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054970559","display_name":"Sergei Devadze","orcid":"https://orcid.org/0000-0001-7445-3801"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sergei Devadze","raw_affiliation_strings":["Testonica Lab, Estonia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Testonica Lab, Estonia","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008766097","display_name":"G\u00f6rschwin Fey","orcid":"https://orcid.org/0000-0001-6433-6265"},"institutions":[{"id":"https://openalex.org/I2898391981","display_name":"Deutsches Zentrum f\u00fcr Luft- und Raumfahrt e. V. (DLR)","ror":"https://ror.org/04bwf3e34","country_code":"DE","type":"facility","lineage":["https://openalex.org/I1305996414","https://openalex.org/I2898391981"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Goerschwin Fey","raw_affiliation_strings":["German Aerospace Center, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"German Aerospace Center, Germany","institution_ids":["https://openalex.org/I2898391981"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059391257","display_name":"Maksim Jenihhin","orcid":"https://orcid.org/0000-0001-8165-9592"},"institutions":[{"id":"https://openalex.org/I111112146","display_name":"Tallinn University of Technology","ror":"https://ror.org/0443cwa12","country_code":"EE","type":"education","lineage":["https://openalex.org/I111112146"]}],"countries":["EE"],"is_corresponding":false,"raw_author_name":"Maksim Jenihhin","raw_affiliation_strings":["Tallinn University of Technology, Estonia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tallinn University of Technology, Estonia","institution_ids":["https://openalex.org/I111112146"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059021602","display_name":"Artur Jutman","orcid":"https://orcid.org/0000-0002-2018-5589"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Artur Jutman","raw_affiliation_strings":["Testonica Lab, Estonia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Testonica Lab, Estonia","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063280452","display_name":"Hans G. Kerkhoff","orcid":null},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Hans G. Kerkhoff","raw_affiliation_strings":["University of Twente, Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Twente, Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068407760","display_name":"Robert K\u00f6nighofer","orcid":null},"institutions":[{"id":"https://openalex.org/I4092182","display_name":"Graz University of Technology","ror":"https://ror.org/00d7xrm67","country_code":"AT","type":"education","lineage":["https://openalex.org/I4092182"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Robert Konighofer","raw_affiliation_strings":["Technische Universitat Graz, Graz, Steiermark, AT"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technische Universitat Graz, Graz, Steiermark, AT","institution_ids":["https://openalex.org/I4092182"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085869832","display_name":"Jan Malburg","orcid":null},"institutions":[{"id":"https://openalex.org/I2898391981","display_name":"Deutsches Zentrum f\u00fcr Luft- und Raumfahrt e. V. (DLR)","ror":"https://ror.org/04bwf3e34","country_code":"DE","type":"facility","lineage":["https://openalex.org/I1305996414","https://openalex.org/I2898391981"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Jan Malburg","raw_affiliation_strings":["German Aerospace Center, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"German Aerospace Center, Germany","institution_ids":["https://openalex.org/I2898391981"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062978518","display_name":"Shiri Moran","orcid":null},"institutions":[{"id":"https://openalex.org/I4210167297","display_name":"IBM Research - Haifa","ror":"https://ror.org/05rw9t746","country_code":"IL","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210167297"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Shiri Moran","raw_affiliation_strings":["IBM Research Lab, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IBM Research Lab, Israel","institution_ids":["https://openalex.org/I4210167297"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010286547","display_name":"Jaan Raik","orcid":"https://orcid.org/0000-0001-8113-020X"},"institutions":[{"id":"https://openalex.org/I111112146","display_name":"Tallinn University of Technology","ror":"https://ror.org/0443cwa12","country_code":"EE","type":"education","lineage":["https://openalex.org/I111112146"]}],"countries":["EE"],"is_corresponding":false,"raw_author_name":"Jaan Raik","raw_affiliation_strings":["Tallinn University of Technology, Estonia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tallinn University of Technology, Estonia","institution_ids":["https://openalex.org/I111112146"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027621751","display_name":"Gerard Rauwerda","orcid":null},"institutions":[{"id":"https://openalex.org/I4210090032","display_name":"Recore Systems (Netherlands)","ror":"https://ror.org/008am1c32","country_code":"NL","type":"company","lineage":["https://openalex.org/I4210090032"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Gerard Rauwerda","raw_affiliation_strings":["Recore Systems, Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Recore Systems, Netherlands","institution_ids":["https://openalex.org/I4210090032"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011120024","display_name":"Heinz Riener","orcid":"https://orcid.org/0000-0003-1527-7160"},"institutions":[{"id":"https://openalex.org/I2898391981","display_name":"Deutsches Zentrum f\u00fcr Luft- und Raumfahrt e. V. (DLR)","ror":"https://ror.org/04bwf3e34","country_code":"DE","type":"facility","lineage":["https://openalex.org/I1305996414","https://openalex.org/I2898391981"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Heinz Riener","raw_affiliation_strings":["German Aerospace Center, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"German Aerospace Center, Germany","institution_ids":["https://openalex.org/I2898391981"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015730264","display_name":"Franz R\u00f6ck","orcid":null},"institutions":[{"id":"https://openalex.org/I4092182","display_name":"Graz University of Technology","ror":"https://ror.org/00d7xrm67","country_code":"AT","type":"education","lineage":["https://openalex.org/I4092182"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Franz Rock","raw_affiliation_strings":["Technische Universitat Graz, Graz, Steiermark, AT"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technische Universitat Graz, Graz, Steiermark, AT","institution_ids":["https://openalex.org/I4092182"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028380153","display_name":"Konstantin Shibin","orcid":"https://orcid.org/0000-0002-8041-1779"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Konstantin Shibin","raw_affiliation_strings":["Testonica Lab, Estonia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Testonica Lab, Estonia","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042220296","display_name":"Kim Sunesen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kim Sunesen","raw_affiliation_strings":["Testonica Lab, Estonia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Testonica Lab, Estonia","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027188334","display_name":"Jinbo Wan","orcid":null},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Jinbo Wan","raw_affiliation_strings":["University of Twente, Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Twente, Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101990819","display_name":"Yong Zhao","orcid":"https://orcid.org/0000-0002-5617-0004"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Yong Zhao","raw_affiliation_strings":["University of Twente, Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Twente, Netherlands","institution_ids":["https://openalex.org/I94624287"]}]}],"institutions":[],"countries_distinct_count":5,"institutions_distinct_count":20,"corresponding_author_ids":["https://openalex.org/A5016719106"],"corresponding_institution_ids":["https://openalex.org/I4210167297"],"apc_list":null,"apc_paid":null,"fwci":0.186,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.62283972,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/session","display_name":"Session (web analytics)","score":0.8228633403778076},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7934556007385254},{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.7819070816040039},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.741624116897583},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.6241512298583984},{"id":"https://openalex.org/keywords/physical-system","display_name":"Physical system","score":0.5461025834083557},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.45890894532203674},{"id":"https://openalex.org/keywords/systems-design","display_name":"Systems design","score":0.42201608419418335},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.36593520641326904},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.33543142676353455},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.33041107654571533},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.28040027618408203},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.21694713830947876},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.14251649379730225}],"concepts":[{"id":"https://openalex.org/C2779182362","wikidata":"https://www.wikidata.org/wiki/Q17126187","display_name":"Session (web analytics)","level":2,"score":0.8228633403778076},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7934556007385254},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.7819070816040039},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.741624116897583},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.6241512298583984},{"id":"https://openalex.org/C116672817","wikidata":"https://www.wikidata.org/wiki/Q1454986","display_name":"Physical system","level":2,"score":0.5461025834083557},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.45890894532203674},{"id":"https://openalex.org/C31352089","wikidata":"https://www.wikidata.org/wiki/Q3750474","display_name":"Systems design","level":2,"score":0.42201608419418335},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.36593520641326904},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.33543142676353455},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.33041107654571533},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.28040027618408203},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.21694713830947876},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.14251649379730225},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","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},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/fdl.2016.7880382","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fdl.2016.7880382","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 Forum on Specification and Design Languages (FDL)","raw_type":"proceedings-article"},{"id":"pmh:oai:ris.utwente.nl:publications/3865e9d2-1936-43f7-996d-3c54062c3131","is_oa":false,"landing_page_url":"https://research.utwente.nl/en/publications/3865e9d2-1936-43f7-996d-3c54062c3131","pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Aleksandrowicz, G, Arbel, E, Bloem, R, Ter Braak, T, Devadze, S, Fey, G, Jenihhin, M, Jutman, A, Kerkhoff, H G, K\u00f6nighofer, R, Malburg, J, Moran, S, Raik, J, Rauwerda, G, Riener, H, R\u00f6ck, F, Shibin, K, Sunesen, K, Wan, J & Zhao, Y 2017, Designing reliable cyber-physical systems overview associated to the special session at FDL\u201916. in 2016 Forum on Specification and Design Languages (FDL). Forum on Specification and Design Languages, IEEE, Forum on specification and Design Languages, FDL 2016, Bremen, Germany, 14/09/16. https://doi.org/10.1109/FDL.2016.7880382","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3824962912","display_name":null,"funder_award_id":"644905","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":55,"referenced_works":["https://openalex.org/W3527726","https://openalex.org/W142385736","https://openalex.org/W591977964","https://openalex.org/W790410956","https://openalex.org/W1496067906","https://openalex.org/W1500909120","https://openalex.org/W1548424099","https://openalex.org/W1549644356","https://openalex.org/W1573618023","https://openalex.org/W1590315663","https://openalex.org/W1593428110","https://openalex.org/W1700264732","https://openalex.org/W1830944000","https://openalex.org/W1969671537","https://openalex.org/W1975041710","https://openalex.org/W1985759744","https://openalex.org/W1996596150","https://openalex.org/W2016206563","https://openalex.org/W2023808162","https://openalex.org/W2027769154","https://openalex.org/W2031354023","https://openalex.org/W2052495090","https://openalex.org/W2054552349","https://openalex.org/W2055298790","https://openalex.org/W2099003487","https://openalex.org/W2099638392","https://openalex.org/W2104717300","https://openalex.org/W2107672210","https://openalex.org/W2120209700","https://openalex.org/W2126886152","https://openalex.org/W2132980633","https://openalex.org/W2134411298","https://openalex.org/W2134752991","https://openalex.org/W2135841285","https://openalex.org/W2144512449","https://openalex.org/W2147259298","https://openalex.org/W2155212754","https://openalex.org/W2160349021","https://openalex.org/W2274161097","https://openalex.org/W2295545927","https://openalex.org/W2415692461","https://openalex.org/W2520427748","https://openalex.org/W2986444891","https://openalex.org/W3149134903","https://openalex.org/W3192343331","https://openalex.org/W4211181233","https://openalex.org/W4245951436","https://openalex.org/W4248229502","https://openalex.org/W4249144718","https://openalex.org/W4252976131","https://openalex.org/W4253698428","https://openalex.org/W6630053826","https://openalex.org/W6632744676","https://openalex.org/W6632870444","https://openalex.org/W6727122286"],"related_works":["https://openalex.org/W2994120531","https://openalex.org/W2108326965","https://openalex.org/W3017360834","https://openalex.org/W2756692340","https://openalex.org/W2086962923","https://openalex.org/W3099113830","https://openalex.org/W4229048927","https://openalex.org/W190251865","https://openalex.org/W2152192540","https://openalex.org/W2133522624"],"abstract_inverted_index":{"CPS,":[0],"that":[1,49],"consist":[2],"of":[3,66,82,91,110,124,126],"a":[4,8,13,61],"cyber":[5],"part":[6,15],"\u2013":[7,11,16,23],"computing":[9,56,77,93,128],"system":[10,18,94,129],"and":[12,88],"physical":[14,21,43,103,138],"the":[17,20,27,42,46,55,67,76,80,85,92,102,114,122,127,133,137],"in":[19,35,41,101,113],"environment":[22,44],"as":[24,26],"well":[25],"respective":[28],"interfaces":[29],"between":[30],"those":[31],"parts,":[32],"are":[33],"omnipresent":[34],"our":[36],"daily":[37],"lives.":[38],"The":[39],"application":[40,86],"drives":[45],"overall":[47],"requirements":[48,99],"must":[50],"be":[51],"respected":[52],"when":[53],"designing":[54],"system.":[57],"Here,":[58],"reliability":[59],"is":[60],"core":[62],"aspect":[63],"where":[64],"some":[65],"most":[68],"pressing":[69],"design":[70,134],"challenges":[71,120],"are:":[72],"monitoring":[73],"failures":[74,83],"throughout":[75,121],"system,":[78],"determining":[79],"impact":[81],"on":[84],"constraints,":[87],"ensuring":[89],"correctness":[90],"with":[95],"respect":[96],"to":[97,117,136],"application-driven":[98],"rooted":[100],"environment.":[104],"This":[105],"paper":[106],"provides":[107],"an":[108],"overview":[109],"techniques":[111],"discussed":[112],"special":[115],"session":[116],"tackle":[118],"these":[119],"stack":[123],"layers":[125],"while":[130],"tightly":[131],"coupling":[132],"methodology":[135],"requirements.":[139]},"counts_by_year":[{"year":2017,"cited_by_count":1}],"updated_date":"2026-05-21T09:19:25.381259","created_date":"2025-10-10T00:00:00"}