{"id":"https://openalex.org/W2015249849","doi":"https://doi.org/10.1109/aiccsa.2008.4493678","title":"Matlab® / Simulink® generated source code for safety related systems","display_name":"Matlab® / Simulink® generated source code for safety related systems","publication_year":2008,"publication_date":"2008-03-01","ids":{"openalex":"https://openalex.org/W2015249849","doi":"https://doi.org/10.1109/aiccsa.2008.4493678","mag":"2015249849"},"language":"en","primary_location":{"id":"doi:10.1109/aiccsa.2008.4493678","is_oa":false,"landing_page_url":"https://doi.org/10.1109/aiccsa.2008.4493678","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2008 IEEE/ACS International Conference on Computer Systems and Applications","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/A5033241617","display_name":"Michael Schwarz","orcid":"https://orcid.org/0000-0002-9828-0308"},"institutions":[{"id":"https://openalex.org/I106157433","display_name":"University of Kassel","ror":"https://ror.org/04zc7p361","country_code":"DE","type":"education","lineage":["https://openalex.org/I106157433"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"M.H. Schwarz","raw_affiliation_strings":["Department of Computer architecture and System programming, University of Kassel, Kassel, Germany"],"affiliations":[{"raw_affiliation_string":"Department of Computer architecture and System programming, University of Kassel, Kassel, Germany","institution_ids":["https://openalex.org/I106157433"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007066175","display_name":"H. Sheng","orcid":"https://orcid.org/0000-0002-5853-8634"},"institutions":[{"id":"https://openalex.org/I106157433","display_name":"University of Kassel","ror":"https://ror.org/04zc7p361","country_code":"DE","type":"education","lineage":["https://openalex.org/I106157433"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"H. Sheng","raw_affiliation_strings":["Department of Computer architecture and System programming, University of Kassel, Kassel, Germany"],"affiliations":[{"raw_affiliation_string":"Department of Computer architecture and System programming, University of Kassel, Kassel, Germany","institution_ids":["https://openalex.org/I106157433"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062598598","display_name":"A. Sheleh","orcid":null},"institutions":[{"id":"https://openalex.org/I106157433","display_name":"University of Kassel","ror":"https://ror.org/04zc7p361","country_code":"DE","type":"education","lineage":["https://openalex.org/I106157433"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"A. Sheleh","raw_affiliation_strings":["Department of Computer architecture and System programming, University of Kassel, Kassel, Germany"],"affiliations":[{"raw_affiliation_string":"Department of Computer architecture and System programming, University of Kassel, Kassel, Germany","institution_ids":["https://openalex.org/I106157433"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5007981302","display_name":"Josef Boercsoek","orcid":null},"institutions":[{"id":"https://openalex.org/I106157433","display_name":"University of Kassel","ror":"https://ror.org/04zc7p361","country_code":"DE","type":"education","lineage":["https://openalex.org/I106157433"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"J. Boercsoek","raw_affiliation_strings":["Department of Computer architecture and System programming, University of Kassel, Kassel, Germany","HIMA Paul Hildebrandt GmbH+Co KG, Bruehl, Germany"],"affiliations":[{"raw_affiliation_string":"Department of Computer architecture and System programming, University of Kassel, Kassel, Germany","institution_ids":["https://openalex.org/I106157433"]},{"raw_affiliation_string":"HIMA Paul Hildebrandt GmbH+Co KG, Bruehl, Germany","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5033241617"],"corresponding_institution_ids":["https://openalex.org/I106157433"],"apc_list":null,"apc_paid":null,"fwci":0.5133,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.72237197,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"1058","last_page":"1063"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9898999929428101,"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"}},"topics":[{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9898999929428101,"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/T10142","display_name":"Formal Methods in Verification","score":0.989799976348877,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9865000247955322,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.7737418413162231},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7457536458969116},{"id":"https://openalex.org/keywords/matlab","display_name":"MATLAB","score":0.7436802387237549},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.5881602764129639},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5745313763618469},{"id":"https://openalex.org/keywords/programmable-logic-controller","display_name":"Programmable logic controller","score":0.5704089403152466},{"id":"https://openalex.org/keywords/dead-code","display_name":"Dead code","score":0.5404070615768433},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.5148719549179077},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.4837067723274231},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.483296662569046},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4759364128112793},{"id":"https://openalex.org/keywords/generator","display_name":"Generator (circuit theory)","score":0.4694839119911194},{"id":"https://openalex.org/keywords/unreachable-code","display_name":"Unreachable code","score":0.4309481978416443},{"id":"https://openalex.org/keywords/redundant-code","display_name":"Redundant code","score":0.3708840608596802},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3603006601333618},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.35005831718444824},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.18929839134216309}],"concepts":[{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.7737418413162231},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7457536458969116},{"id":"https://openalex.org/C2780365114","wikidata":"https://www.wikidata.org/wiki/Q169478","display_name":"MATLAB","level":2,"score":0.7436802387237549},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.5881602764129639},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5745313763618469},{"id":"https://openalex.org/C37374048","wikidata":"https://www.wikidata.org/wiki/Q188674","display_name":"Programmable logic controller","level":2,"score":0.5704089403152466},{"id":"https://openalex.org/C47434764","wikidata":"https://www.wikidata.org/wiki/Q1770035","display_name":"Dead code","level":5,"score":0.5404070615768433},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5148719549179077},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.4837067723274231},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.483296662569046},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4759364128112793},{"id":"https://openalex.org/C2780992000","wikidata":"https://www.wikidata.org/wiki/Q17016113","display_name":"Generator (circuit theory)","level":3,"score":0.4694839119911194},{"id":"https://openalex.org/C50951305","wikidata":"https://www.wikidata.org/wiki/Q2482534","display_name":"Unreachable code","level":5,"score":0.4309481978416443},{"id":"https://openalex.org/C151578736","wikidata":"https://www.wikidata.org/wiki/Q1251793","display_name":"Redundant code","level":4,"score":0.3708840608596802},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3603006601333618},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.35005831718444824},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.18929839134216309},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"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},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/aiccsa.2008.4493678","is_oa":false,"landing_page_url":"https://doi.org/10.1109/aiccsa.2008.4493678","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2008 IEEE/ACS International Conference on Computer Systems and Applications","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5799999833106995,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":6,"referenced_works":["https://openalex.org/W1483126966","https://openalex.org/W1964391084","https://openalex.org/W1982846242","https://openalex.org/W2101792476","https://openalex.org/W2291830190","https://openalex.org/W4239647055"],"related_works":["https://openalex.org/W116913286","https://openalex.org/W632311702","https://openalex.org/W2123574549","https://openalex.org/W1777501891","https://openalex.org/W2160620982","https://openalex.org/W2369241479","https://openalex.org/W4253804737","https://openalex.org/W1493727516","https://openalex.org/W4235592786","https://openalex.org/W2011669306"],"abstract_inverted_index":{"The":[0],"authors":[1],"present":[2],"their":[3],"latest":[4],"research":[5],"results":[6],"and":[7,17,45,91,101,115,123,135],"developments":[8],"of":[9,73,98],"a":[10,29],"code":[11,22,42,49,63,78],"generator":[12],"for":[13,41,96,132],"Matlab/Simulink":[14,76,87,137],"block":[15],"diagrams":[16],"to":[18,110,116],"download":[19,111],"the":[20,38,70,74,112,129],"generated":[21],"onto":[23],"safety":[24,30,84,141],"related":[25,142],"systems":[26],"such":[27,48,61],"as":[28],"PLC":[31,85],"(programmable":[32],"logic":[33],"controller).":[34],"An":[35],"example":[36],"demonstrates":[37],"different":[39],"stages":[40],"generation,":[43],"evaluation":[44],"conversion":[46],"before":[47],"can":[50],"be":[51],"used":[52],"in":[53,66,119],"process":[54,67],"industries.":[55],"Systematic":[56],"approaches":[57],"are":[58],"necessary":[59],"when":[60,107],"source":[62,77],"is":[64,88,128],"embedded":[65],"units.":[68],"To":[69],"best":[71],"knowledge":[72],"authors,":[75],"has":[79],"not":[80],"been":[81],"transferred":[82],"on":[83,139],"before.":[86],"an":[89,140],"advanced":[90],"matured":[92],"programming":[93],"environment,":[94],"especially":[95],"simulations":[97],"engineering":[99],"processes":[100],"systems.":[102],"Hardly":[103],"no":[104],"hardware":[105],"exists,":[106],"it":[108,118],"comes":[109],"developed":[113,134],"algorithms":[114],"use":[117],"real":[120],"world":[121],"applications":[122],"so":[124],"far":[125],"this":[126],"approach":[127],"only":[130],"one":[131],"using":[133],"tested":[136],"software":[138],"system.":[143]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}