{"id":"https://openalex.org/W2050588622","doi":"https://doi.org/10.1007/s10617-009-9041-7","title":"An optimization based design for integrated dependable real-time embedded systems","display_name":"An optimization based design for integrated dependable real-time embedded systems","publication_year":2009,"publication_date":"2009-06-19","ids":{"openalex":"https://openalex.org/W2050588622","doi":"https://doi.org/10.1007/s10617-009-9041-7","mag":"2050588622"},"language":"en","primary_location":{"id":"doi:10.1007/s10617-009-9041-7","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10617-009-9041-7","pdf_url":null,"source":{"id":"https://openalex.org/S85498321","display_name":"Design Automation for Embedded Systems","issn_l":"0929-5585","issn":["0929-5585","1572-8080"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Design Automation for Embedded Systems","raw_type":"journal-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/A5109831929","display_name":"S.M.R. Islam","orcid":"https://orcid.org/0009-0007-7218-942X"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technische Universit\u00e4t Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Shariful Islam","raw_affiliation_strings":["Department of Computer Science, Technische Universit\u00e4t Darmstadt, Hochschulstr. 10, 64289, Darmstadt, Germany","Department of Computer Science, Technische Universit\u00e4t Darmstadt, Darmstadt, Germany 64289"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Technische Universit\u00e4t Darmstadt, Hochschulstr. 10, 64289, Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]},{"raw_affiliation_string":"Department of Computer Science, Technische Universit\u00e4t Darmstadt, Darmstadt, Germany 64289","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079786056","display_name":"Neeraj Suri","orcid":"https://orcid.org/0000-0003-1688-1167"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technische Universit\u00e4t Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Neeraj Suri","raw_affiliation_strings":["Department of Computer Science, Technische Universit\u00e4t Darmstadt, Hochschulstr. 10, 64289, Darmstadt, Germany","Department of Computer Science, Technische Universit\u00e4t Darmstadt, Darmstadt, Germany 64289"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Technische Universit\u00e4t Darmstadt, Hochschulstr. 10, 64289, Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]},{"raw_affiliation_string":"Department of Computer Science, Technische Universit\u00e4t Darmstadt, Darmstadt, Germany 64289","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023194964","display_name":"Andr\u00e1s Balogh","orcid":"https://orcid.org/0000-0002-0634-1610"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Andr\u00e1s Balogh","raw_affiliation_strings":["OptXware Research and Development Ltd., Budafoki \u00fat 187-189. A. 2. em 32, 1117, Budapest, Hungary","OptXware Research and Development Ltd., Budapest, Hungary 1117#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"OptXware Research and Development Ltd., Budafoki \u00fat 187-189. A. 2. em 32, 1117, Budapest, Hungary","institution_ids":[]},{"raw_affiliation_string":"OptXware Research and Development Ltd., Budapest, Hungary 1117#TAB#","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047706492","display_name":"Gy\u00f6rgy Csert\u00e1n","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gy\u00f6rgy Csert\u00e1n","raw_affiliation_strings":["OptXware Research and Development Ltd., Budafoki \u00fat 187-189. A. 2. em 32, 1117, Budapest, Hungary","OptXware Research and Development Ltd., Budapest, Hungary 1117#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"OptXware Research and Development Ltd., Budafoki \u00fat 187-189. A. 2. em 32, 1117, Budapest, Hungary","institution_ids":[]},{"raw_affiliation_string":"OptXware Research and Development Ltd., Budapest, Hungary 1117#TAB#","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5085231151","display_name":"Andr\u00e1s Pataricza","orcid":"https://orcid.org/0000-0002-6516-129X"},"institutions":[{"id":"https://openalex.org/I29770179","display_name":"Budapest University of Technology and Economics","ror":"https://ror.org/02w42ss30","country_code":"HU","type":"education","lineage":["https://openalex.org/I29770179"]}],"countries":["HU"],"is_corresponding":false,"raw_author_name":"Andr\u00e1s Pataricza","raw_affiliation_strings":["Department of Measurement and Information Systems, Budapest University of Technology and Economics, Magyart Tud\u00f3sok k\u00f6r\u00fatja 2, 1117, Budapest, Hungary","Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary 1117"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Measurement and Information Systems, Budapest University of Technology and Economics, Magyart Tud\u00f3sok k\u00f6r\u00fatja 2, 1117, Budapest, Hungary","institution_ids":["https://openalex.org/I29770179"]},{"raw_affiliation_string":"Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary 1117","institution_ids":["https://openalex.org/I29770179"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5079786056"],"corresponding_institution_ids":["https://openalex.org/I31512782"],"apc_list":{"value":2490,"currency":"EUR","value_usd":3190},"apc_paid":null,"fwci":1.0724,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.77765162,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"13","issue":"4","first_page":"245","last_page":"285"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9998000264167786,"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/T10142","display_name":"Formal Methods in Verification","score":0.9937000274658203,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9933000206947327,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.8084826469421387},{"id":"https://openalex.org/keywords/dependability","display_name":"Dependability","score":0.7863811254501343},{"id":"https://openalex.org/keywords/avionics","display_name":"Avionics","score":0.5758256316184998},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.5407621264457703},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.5058121681213379},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.45915666222572327},{"id":"https://openalex.org/keywords/model-transformation","display_name":"Model transformation","score":0.45161229372024536},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.41490650177001953},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.40837907791137695},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.3814488351345062},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.318788081407547},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.1081908643245697}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8084826469421387},{"id":"https://openalex.org/C77019957","wikidata":"https://www.wikidata.org/wiki/Q2689057","display_name":"Dependability","level":2,"score":0.7863811254501343},{"id":"https://openalex.org/C15792166","wikidata":"https://www.wikidata.org/wiki/Q221329","display_name":"Avionics","level":2,"score":0.5758256316184998},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.5407621264457703},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5058121681213379},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.45915666222572327},{"id":"https://openalex.org/C2779791154","wikidata":"https://www.wikidata.org/wiki/Q258040","display_name":"Model transformation","level":3,"score":0.45161229372024536},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.41490650177001953},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.40837907791137695},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.3814488351345062},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.318788081407547},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1081908643245697},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/s10617-009-9041-7","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10617-009-9041-7","pdf_url":null,"source":{"id":"https://openalex.org/S85498321","display_name":"Design Automation for Embedded Systems","issn_l":"0929-5585","issn":["0929-5585","1572-8080"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Design Automation for Embedded Systems","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.158.5930","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.158.5930","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.deeds.informatik.tu-darmstadt.de/publications/journal/daem88_20090526.pdf","raw_type":"text"},{"id":"pmh:oai:eprints.lancs.ac.uk:137572","is_oa":false,"landing_page_url":"https://eprints.lancs.ac.uk/id/eprint/137572/","pdf_url":null,"source":{"id":"https://openalex.org/S4306401916","display_name":"Lancaster EPrints (Lancaster University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67415387","host_organization_name":"Lancaster University","host_organization_lineage":["https://openalex.org/I67415387"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Journal Article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":56,"referenced_works":["https://openalex.org/W128180137","https://openalex.org/W309097416","https://openalex.org/W597502782","https://openalex.org/W1487571871","https://openalex.org/W1487672899","https://openalex.org/W1488202922","https://openalex.org/W1500284698","https://openalex.org/W1512394060","https://openalex.org/W1514835576","https://openalex.org/W1515180939","https://openalex.org/W1519405745","https://openalex.org/W1539163926","https://openalex.org/W1545238651","https://openalex.org/W1573649504","https://openalex.org/W1574980596","https://openalex.org/W1576087595","https://openalex.org/W1692732447","https://openalex.org/W1826753560","https://openalex.org/W1832476719","https://openalex.org/W1886800870","https://openalex.org/W1913757809","https://openalex.org/W1980310053","https://openalex.org/W2011039300","https://openalex.org/W2038066525","https://openalex.org/W2051737087","https://openalex.org/W2074531961","https://openalex.org/W2080061895","https://openalex.org/W2109195895","https://openalex.org/W2112064040","https://openalex.org/W2112837736","https://openalex.org/W2114606347","https://openalex.org/W2119699246","https://openalex.org/W2121172217","https://openalex.org/W2123654501","https://openalex.org/W2124074131","https://openalex.org/W2134666085","https://openalex.org/W2138276907","https://openalex.org/W2143109153","https://openalex.org/W2145071552","https://openalex.org/W2146534700","https://openalex.org/W2148147784","https://openalex.org/W2149065651","https://openalex.org/W2149272340","https://openalex.org/W2155768537","https://openalex.org/W2162356895","https://openalex.org/W2162778049","https://openalex.org/W2163300309","https://openalex.org/W2164357820","https://openalex.org/W2166883710","https://openalex.org/W2168088772","https://openalex.org/W2169415644","https://openalex.org/W2170194695","https://openalex.org/W3000135916","https://openalex.org/W3139548954","https://openalex.org/W4255721092","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2169628522","https://openalex.org/W4252527915","https://openalex.org/W2409287660","https://openalex.org/W2233357156","https://openalex.org/W1976489385","https://openalex.org/W4256317220","https://openalex.org/W2141672647","https://openalex.org/W2164976164","https://openalex.org/W2035415495","https://openalex.org/W1483115820"],"abstract_inverted_index":null,"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2026-06-16T07:32:37.131356","created_date":"2025-10-10T00:00:00"}