{"id":"https://openalex.org/W2073040551","doi":"https://doi.org/10.1109/icsm.2011.6081983","title":"Analyzing the effects of formal methods on the development of industrial control software","display_name":"Analyzing the effects of formal methods on the development of industrial control software","publication_year":2011,"publication_date":"2011-09-01","ids":{"openalex":"https://openalex.org/W2073040551","doi":"https://doi.org/10.1109/icsm.2011.6081983","mag":"2073040551"},"language":"en","primary_location":{"id":"doi:10.1109/icsm.2011.6081983","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icsm.2011.6081983","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 27th IEEE International Conference on Software Maintenance (ICSM)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://research.tue.nl/en/publications/af8b7636-08e4-4083-869c-c5e314a531d6","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5032619003","display_name":"Jan Friso Groote","orcid":"https://orcid.org/0000-0003-2196-6587"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Jan Friso Groote","raw_affiliation_strings":["Eindhoven University of Technology, Eindhoven, Netherlands","Eindhoven University of Technology/The Netherlands"],"affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology, Eindhoven, Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Eindhoven University of Technology/The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072402780","display_name":"Ammar Osaiweran","orcid":"https://orcid.org/0000-0002-8018-3905"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Ammar Osaiweran","raw_affiliation_strings":["Eindhoven University of Technology, Eindhoven, Netherlands","Eindhoven University of Technology/The Netherlands"],"affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology, Eindhoven, Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Eindhoven University of Technology/The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5072223348","display_name":"Jacco Wesselius","orcid":null},"institutions":[{"id":"https://openalex.org/I4210122849","display_name":"Philips (Netherlands)","ror":"https://ror.org/02p2bgp27","country_code":"NL","type":"company","lineage":["https://openalex.org/I4210122849"]},{"id":"https://openalex.org/I1329325741","display_name":"Philips (Finland)","ror":"https://ror.org/01g4jev56","country_code":"FI","type":"company","lineage":["https://openalex.org/I1329325741","https://openalex.org/I4210122849"]}],"countries":["FI","NL"],"is_corresponding":false,"raw_author_name":"Jacco H. Wesselius","raw_affiliation_strings":["BU Interventional X-ray, Philips Healthcare, Best, Netherlands","BU Interventional X-ray, Philips Healthcare, Best, The Netherlands#TAB#"],"affiliations":[{"raw_affiliation_string":"BU Interventional X-ray, Philips Healthcare, Best, Netherlands","institution_ids":["https://openalex.org/I4210122849"]},{"raw_affiliation_string":"BU Interventional X-ray, Philips Healthcare, Best, The Netherlands#TAB#","institution_ids":["https://openalex.org/I1329325741"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5032619003"],"corresponding_institution_ids":["https://openalex.org/I83019370"],"apc_list":null,"apc_paid":null,"fwci":5.1417,"has_fulltext":true,"cited_by_count":30,"citation_normalized_percentile":{"value":0.95845513,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"467","last_page":"472"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9990000128746033,"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.9990000128746033,"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.9972000122070312,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9965999722480774,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6602797508239746},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.5805510878562927},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.5471377372741699},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5301409959793091},{"id":"https://openalex.org/keywords/control-software","display_name":"Control software","score":0.5074688792228699},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.5073320269584656},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4933134615421295},{"id":"https://openalex.org/keywords/verification-and-validation","display_name":"Verification and validation","score":0.468656450510025},{"id":"https://openalex.org/keywords/package-development-process","display_name":"Package development process","score":0.41150274872779846},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.37652507424354553},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1514415442943573},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.14518728852272034},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.09950301051139832},{"id":"https://openalex.org/keywords/operations-management","display_name":"Operations management","score":0.057831406593322754}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6602797508239746},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.5805510878562927},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.5471377372741699},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5301409959793091},{"id":"https://openalex.org/C2988765172","wikidata":"https://www.wikidata.org/wiki/Q22349898","display_name":"Control software","level":3,"score":0.5074688792228699},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.5073320269584656},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4933134615421295},{"id":"https://openalex.org/C48002344","wikidata":"https://www.wikidata.org/wiki/Q2919644","display_name":"Verification and validation","level":2,"score":0.468656450510025},{"id":"https://openalex.org/C123551368","wikidata":"https://www.wikidata.org/wiki/Q7122888","display_name":"Package development process","level":5,"score":0.41150274872779846},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.37652507424354553},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1514415442943573},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.14518728852272034},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.09950301051139832},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.057831406593322754}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1109/icsm.2011.6081983","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icsm.2011.6081983","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 27th IEEE International Conference on Software Maintenance (ICSM)","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.tue.nl:openaire/af8b7636-08e4-4083-869c-c5e314a531d6","is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/af8b7636-08e4-4083-869c-c5e314a531d6","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","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":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Groote, J F, Osaiweran, A A H & Wesselius, J H 2011, Analyzing the effects of formal methods on the development of industrial control software. in Proceedings of the 27th IEEE International Conference on Software Maintenance (ICSM 2011, Williamsburg VA, USA, September 25-30, 2011). Institute of Electrical and Electronics Engineers, pp. 467-472. https://doi.org/10.1109/ICSM.2011.6081983","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:tue:oai:pure.tue.nl:publications/af8b7636-08e4-4083-869c-c5e314a531d6","is_oa":true,"landing_page_url":"https://research.tue.nl/nl/publications/af8b7636-08e4-4083-869c-c5e314a531d6","pdf_url":"https://research.tue.nl/nl/publications/af8b7636-08e4-4083-869c-c5e314a531d6","source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"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":"Proceedings of the 27th IEEE International Conference on Software Maintenance (ICSM 2011, Williamsburg VA, USA, September 25-30, 2011), 467 - 472","raw_type":"info:eu-repo/semantics/conferencepaper"},{"id":"pmh:oai:library.tue.nl:719176","is_oa":false,"landing_page_url":"http://repository.tue.nl/719176","pdf_url":null,"source":{"id":"https://openalex.org/S4406923046","display_name":"TU/e Research Portal (Eindhoven University of Technology)","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":{"id":"pmh:oai:pure.tue.nl:openaire/af8b7636-08e4-4083-869c-c5e314a531d6","is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/af8b7636-08e4-4083-869c-c5e314a531d6","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","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":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Groote, J F, Osaiweran, A A H & Wesselius, J H 2011, Analyzing the effects of formal methods on the development of industrial control software. in Proceedings of the 27th IEEE International Conference on Software Maintenance (ICSM 2011, Williamsburg VA, USA, September 25-30, 2011). Institute of Electrical and Electronics Engineers, pp. 467-472. https://doi.org/10.1109/ICSM.2011.6081983","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.6399999856948853}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W1502406167","https://openalex.org/W1509936845","https://openalex.org/W1522223086","https://openalex.org/W1533209541","https://openalex.org/W1565279216","https://openalex.org/W1649645444","https://openalex.org/W1967535316","https://openalex.org/W1970554654","https://openalex.org/W1974828696","https://openalex.org/W2019063197","https://openalex.org/W2129259650","https://openalex.org/W2129384397","https://openalex.org/W2428639350","https://openalex.org/W6631138506","https://openalex.org/W6717821202"],"related_works":["https://openalex.org/W4214835859","https://openalex.org/W2893321311","https://openalex.org/W2380017313","https://openalex.org/W128313926","https://openalex.org/W2502220298","https://openalex.org/W2141704096","https://openalex.org/W1481028942","https://openalex.org/W3022674617","https://openalex.org/W2113295772","https://openalex.org/W3159520432"],"abstract_inverted_index":{"Formal":[0],"methods":[1],"are":[2],"being":[3,25],"applied":[4],"to":[5,51],"the":[6,18,46,52,61,66],"development":[7,53,77],"of":[8,10,36,48,54,68],"software":[9,35,57,92],"various":[11,55],"applications":[12],"at":[13],"Philips":[14],"Healthcare.":[15],"In":[16,41],"particular,":[17],"Analytical":[19],"Software":[20],"Design":[21],"(ASD)":[22],"method":[23],"is":[24],"used":[26],"as":[27,85],"a":[28,86],"formal":[29,87],"technology":[30,88],"for":[31,60,89],"developing":[32,90],"defect-free":[33],"control":[34,56,91],"highly":[37],"sophisticated":[38],"X-ray":[39,62],"equipments.":[40],"this":[42],"paper":[43],"we":[44],"analyze":[45],"effects":[47],"applying":[49,83],"ASD":[50,84],"units":[58,70,73],"developed":[59,74],"machines.":[63],"We":[64],"compare":[65],"quality":[67],"these":[69],"with":[71],"other":[72],"in":[75,95],"traditional":[76],"methods.":[78],"The":[79],"results":[80],"indicate":[81],"that":[82],"could":[93],"result":[94],"fewer":[96],"defects.":[97]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":4},{"year":2015,"cited_by_count":6},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":6},{"year":2012,"cited_by_count":7}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}