{"id":"https://openalex.org/W2125458231","doi":"https://doi.org/10.1109/isorc.2003.1199242","title":"A systems engineering approach for constructing certifiable real-time distributed systems","display_name":"A systems engineering approach for constructing certifiable real-time distributed systems","publication_year":2004,"publication_date":"2004-06-22","ids":{"openalex":"https://openalex.org/W2125458231","doi":"https://doi.org/10.1109/isorc.2003.1199242","mag":"2125458231"},"language":"en","primary_location":{"id":"doi:10.1109/isorc.2003.1199242","is_oa":false,"landing_page_url":"https://doi.org/10.1109/isorc.2003.1199242","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003.","raw_type":"proceedings-article"},"type":"conference-paper","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/A5067528153","display_name":"Binoy Ravindran","orcid":"https://orcid.org/0000-0002-8663-739X"},"institutions":[{"id":"https://openalex.org/I859038795","display_name":"Virginia Tech","ror":"https://ror.org/02smfhw86","country_code":"US","type":"education","lineage":["https://openalex.org/I859038795"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"B. Ravindran","raw_affiliation_strings":["Real-Time Systems Laboratory, ECE Department, Virginia Polytechnic Institute and State University, Blacksburg, VA, USA","ECE Department, Virginia Tech, Blacksburg, VA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Real-Time Systems Laboratory, ECE Department, Virginia Polytechnic Institute and State University, Blacksburg, VA, USA","institution_ids":["https://openalex.org/I859038795"]},{"raw_affiliation_string":"ECE Department, Virginia Tech, Blacksburg, VA, USA","institution_ids":["https://openalex.org/I859038795"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079994261","display_name":"G\u00e9rard Le Lann","orcid":"https://orcid.org/0009-0004-0411-9073"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I859038795","display_name":"Virginia Tech","ror":"https://ror.org/02smfhw86","country_code":"US","type":"education","lineage":["https://openalex.org/I859038795"]}],"countries":["FR","US"],"is_corresponding":false,"raw_author_name":"G. Le Lann","raw_affiliation_strings":["Domaine de Voluceau, INRIA, Le Chesnay, France","Virginia Tech"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Domaine de Voluceau, INRIA, Le Chesnay, France","institution_ids":["https://openalex.org/I1326498283"]},{"raw_affiliation_string":"Virginia Tech","institution_ids":["https://openalex.org/I859038795"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110366470","display_name":"Jinggang Wang","orcid":null},"institutions":[{"id":"https://openalex.org/I859038795","display_name":"Virginia Tech","ror":"https://ror.org/02smfhw86","country_code":"US","type":"education","lineage":["https://openalex.org/I859038795"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jinggang Wang","raw_affiliation_strings":["Real-Time Systems Laboratory, ECE Department, Virginia Polytechnic Institute and State University, Blacksburg, VA, USA","Virginia Tech"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Real-Time Systems Laboratory, ECE Department, Virginia Polytechnic Institute and State University, Blacksburg, VA, USA","institution_ids":["https://openalex.org/I859038795"]},{"raw_affiliation_string":"Virginia Tech","institution_ids":["https://openalex.org/I859038795"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100432795","display_name":"Peng Li","orcid":"https://orcid.org/0000-0003-4981-0496"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I859038795","display_name":"Virginia Tech","ror":"https://ror.org/02smfhw86","country_code":"US","type":"education","lineage":["https://openalex.org/I859038795"]}],"countries":["FR","US"],"is_corresponding":false,"raw_author_name":"Peng Li","raw_affiliation_strings":["Real-Time Systems Laboratory, ECE Department, Virginia Polytechnic Institute and State University, Blacksburg, VA, USA","French Institute for Research in Computer Science and Automation"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Real-Time Systems Laboratory, ECE Department, Virginia Polytechnic Institute and State University, Blacksburg, VA, USA","institution_ids":["https://openalex.org/I859038795"]},{"raw_affiliation_string":"French Institute for Research in Computer Science and Automation","institution_ids":["https://openalex.org/I1326498283"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.14845315,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"1586","issue":null,"first_page":"105","last_page":"112"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9997000098228455,"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.9997000098228455,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.9987000226974487,"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/computer-science","display_name":"Computer science","score":0.8115012645721436},{"id":"https://openalex.org/keywords/asynchronous-communication","display_name":"Asynchronous communication","score":0.6205434799194336},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.48853835463523865},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.48561492562294006},{"id":"https://openalex.org/keywords/network-packet","display_name":"Network packet","score":0.4797757565975189},{"id":"https://openalex.org/keywords/ethernet","display_name":"Ethernet","score":0.46044763922691345},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4235858619213104},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2652609348297119},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.2366628348827362},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.17165392637252808}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8115012645721436},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.6205434799194336},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.48853835463523865},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.48561492562294006},{"id":"https://openalex.org/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.4797757565975189},{"id":"https://openalex.org/C172173386","wikidata":"https://www.wikidata.org/wiki/Q79984","display_name":"Ethernet","level":2,"score":0.46044763922691345},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4235858619213104},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2652609348297119},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.2366628348827362},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.17165392637252808},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/isorc.2003.1199242","is_oa":false,"landing_page_url":"https://doi.org/10.1109/isorc.2003.1199242","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003.","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.103.1664","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.1664","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www-rocq.inria.fr/novaltis/publications/ISORC 2003.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.123.3676","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.123.3676","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://csdl.computer.org/comp/proceedings/isorc/2003/1928/00/19280105.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.44999998807907104}],"awards":[],"funders":[{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W1552845713","https://openalex.org/W1827066671","https://openalex.org/W1913997169","https://openalex.org/W1992275739","https://openalex.org/W2020953065","https://openalex.org/W2035362408","https://openalex.org/W2100282283","https://openalex.org/W2109488193","https://openalex.org/W2112429375","https://openalex.org/W2133943294","https://openalex.org/W2140665710","https://openalex.org/W2140758181","https://openalex.org/W2164438450","https://openalex.org/W2169689105","https://openalex.org/W2262960161","https://openalex.org/W2594525720","https://openalex.org/W2611515161","https://openalex.org/W3106753174","https://openalex.org/W6605356886","https://openalex.org/W6734255251"],"related_works":["https://openalex.org/W2116677773","https://openalex.org/W2155261584","https://openalex.org/W2584231425","https://openalex.org/W2150611273","https://openalex.org/W4207086172","https://openalex.org/W2042919702","https://openalex.org/W4225981436","https://openalex.org/W2156185805","https://openalex.org/W2070119082","https://openalex.org/W2002774445"],"abstract_inverted_index":{"In":[0,15],"this":[1,110],"paper,":[2],"we":[3],"present":[4,105],"a":[5,56,87,96,106,117],"systems":[6],"engineering":[7],"methodology":[8],"for":[9],"constructing":[10,66],"certifiable":[11,107],"realtime":[12],"distributed":[13],"systems.":[14],"the":[16,32,36,84,92],"proposed":[17],"approach,":[18],"an":[19,25],"architectural":[20],"and":[21,41,80,127],"algorithmic":[22],"solution":[23,58,108],"to":[24,82,109],"application":[26],"problem":[27,99,111],"is":[28,59],"designed":[29],"by":[30,65,94],"considering":[31,95],"\"weakest\"":[33],"models":[34],"including":[35],"weakest":[37],"asynchronous":[38],"computational":[39],"model":[40],"multimodal":[42],"arrival":[43],"model.":[44],"Furthermore,":[45],"timeliness":[46,61],"properties":[47,62],"are":[48,63,71,78],"described":[49],"using":[50],"Jensen's":[51],"benefit":[52],"accrual":[53],"predicates.":[54,75],"Once":[55],"system":[57],"designed,":[60],"established":[64],"necessary":[67],"feasibility":[68,128],"conditions":[69],"that":[70,100,112],"expressed":[72],"as":[73],"non-valued":[74],"The":[76],"predicates":[77],"quantified":[79],"verified":[81],"produce":[83],"specification":[85],"of":[86,114],"certified":[88],"solution.":[89],"We":[90,104],"illustrate":[91],"approach":[93],"packet":[97,120],"transmission":[98],"desire":[101],"soft":[102,118],"timeliness.":[103],"consists":[113],"switched":[115],"Ethernet,":[116],"real-time":[119],"scheduling":[121],"algorithm":[122],"(that":[123],"was":[124],"previously":[125],"developed),":[126],"conditions.":[129]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}