{"id":"https://openalex.org/W2049139227","doi":"https://doi.org/10.1002/spe.4380240203","title":"A prototyping environment for specifying, executing and checking communicating real\u2010time state machines","display_name":"A prototyping environment for specifying, executing and checking communicating real\u2010time state machines","publication_year":1994,"publication_date":"1994-02-01","ids":{"openalex":"https://openalex.org/W2049139227","doi":"https://doi.org/10.1002/spe.4380240203","mag":"2049139227"},"language":"en","primary_location":{"id":"doi:10.1002/spe.4380240203","is_oa":false,"landing_page_url":"https://doi.org/10.1002/spe.4380240203","pdf_url":null,"source":{"id":"https://openalex.org/S122199241","display_name":"Software Practice and Experience","issn_l":"0038-0644","issn":["0038-0644","1097-024X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software: Practice and Experience","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/A5002559691","display_name":"Sitaram C. V. Raju","orcid":null},"institutions":[{"id":"https://openalex.org/I201448701","display_name":"University of Washington","ror":"https://ror.org/00cvxb145","country_code":"US","type":"education","lineage":["https://openalex.org/I201448701"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Sitaram C. V. Raju","raw_affiliation_strings":["Department of Computer Science and Engineering, FR-35, University of Washington, Seattle, WA 98195, U.S.A","Department of Computer Science & Engineering, FR\u201035, University of Washington, Seattle, WA 98195, U.S.A"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, FR-35, University of Washington, Seattle, WA 98195, U.S.A","institution_ids":["https://openalex.org/I201448701"]},{"raw_affiliation_string":"Department of Computer Science & Engineering, FR\u201035, University of Washington, Seattle, WA 98195, U.S.A","institution_ids":["https://openalex.org/I201448701"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5077330744","display_name":"Alan Shaw","orcid":null},"institutions":[{"id":"https://openalex.org/I201448701","display_name":"University of Washington","ror":"https://ror.org/00cvxb145","country_code":"US","type":"education","lineage":["https://openalex.org/I201448701"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alan C. Shaw","raw_affiliation_strings":["Department of Computer Science and Engineering, FR-35, University of Washington, Seattle, WA 98195, U.S.A","Department of Computer Science & Engineering, FR\u201035, University of Washington, Seattle, WA 98195, U.S.A"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, FR-35, University of Washington, Seattle, WA 98195, U.S.A","institution_ids":["https://openalex.org/I201448701"]},{"raw_affiliation_string":"Department of Computer Science & Engineering, FR\u201035, University of Washington, Seattle, WA 98195, U.S.A","institution_ids":["https://openalex.org/I201448701"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5002559691"],"corresponding_institution_ids":["https://openalex.org/I201448701"],"apc_list":{"value":4220,"currency":"USD","value_usd":4220},"apc_paid":null,"fwci":2.3179,"has_fulltext":false,"cited_by_count":27,"citation_normalized_percentile":{"value":0.89017341,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"24","issue":"2","first_page":"175","last_page":"195"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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.9998999834060669,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9994999766349792,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9976000189781189,"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.8337185382843018},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.7676430940628052},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.6791747212409973},{"id":"https://openalex.org/keywords/assertion","display_name":"Assertion","score":0.6642642617225647},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.6057478189468384},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5820602774620056},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5676258206367493},{"id":"https://openalex.org/keywords/rapid-prototyping","display_name":"Rapid prototyping","score":0.5420428514480591},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5078762173652649},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.4508313238620758},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3816446363925934}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8337185382843018},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.7676430940628052},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.6791747212409973},{"id":"https://openalex.org/C40422974","wikidata":"https://www.wikidata.org/wiki/Q741248","display_name":"Assertion","level":2,"score":0.6642642617225647},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.6057478189468384},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5820602774620056},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5676258206367493},{"id":"https://openalex.org/C2780395129","wikidata":"https://www.wikidata.org/wiki/Q1128971","display_name":"Rapid prototyping","level":2,"score":0.5420428514480591},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5078762173652649},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.4508313238620758},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3816446363925934},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"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.1002/spe.4380240203","is_oa":false,"landing_page_url":"https://doi.org/10.1002/spe.4380240203","pdf_url":null,"source":{"id":"https://openalex.org/S122199241","display_name":"Software Practice and Experience","issn_l":"0038-0644","issn":["0038-0644","1097-024X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software: Practice and Experience","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.14.8674","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.14.8674","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.ubc.ca/local/reading/proceedings/spe91-95/spe/./vol24/issue2/spe876.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.54.9928","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.54.9928","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ftp://ftp.cs.washington.edu/tr/1992/10/UW-CSE-92-10-03.PS.Z","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"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":18,"referenced_works":["https://openalex.org/W180202758","https://openalex.org/W1782171781","https://openalex.org/W1791175619","https://openalex.org/W1949244127","https://openalex.org/W2050887876","https://openalex.org/W2056359803","https://openalex.org/W2096039823","https://openalex.org/W2097146349","https://openalex.org/W2099529102","https://openalex.org/W2100340106","https://openalex.org/W2106085083","https://openalex.org/W2110425399","https://openalex.org/W2114767673","https://openalex.org/W2123985997","https://openalex.org/W2127380267","https://openalex.org/W2163228844","https://openalex.org/W2589217375","https://openalex.org/W4211008702"],"related_works":["https://openalex.org/W1551070491","https://openalex.org/W2034301573","https://openalex.org/W2103740034","https://openalex.org/W1592102986","https://openalex.org/W2350953867","https://openalex.org/W2166027622","https://openalex.org/W2612218842","https://openalex.org/W1513903619","https://openalex.org/W2203774400","https://openalex.org/W2157373800"],"abstract_inverted_index":{"Abstract":[0],"We":[1,73],"describe":[2],"a":[3,7,10,48,67,82,103,130],"toolset,":[4],"consisting":[5],"of":[6,43,51,61,105,114,135],"graphical":[8],"editor,":[9],"simulator,":[11],"and":[12,55,77,85,111,123,132,138,141],"an":[13],"assertion":[14,78],"checker,":[15],"for":[16],"prototyping":[17,99],"real\u2010time":[18,87],"systems":[19],"that":[20,34,118],"are":[21,30,64,90,121],"specified":[22],"as":[23,102],"Communicating":[24],"Real\u2010Time":[25,71],"State":[26],"machines":[27,33],"(CRSMs).":[28],"CRSMs":[29,44],"timed":[31],"state":[32],"communicate":[35],"synchronously":[36],"over":[37],"unidirectional":[38],"channels.":[39],"The":[40],"system":[41],"behavior":[42],"is":[45],"characterized":[46],"by":[47,80],"time\u2010stamped":[49],"trace":[50,60],"communication":[52,62],"events.":[53],"Safety":[54],"timing":[56,139],"assertions":[57],"on":[58,70],"the":[59,75,98,106,108,119,127],"events":[63],"expressed":[65],"in":[66,94],"notation":[68],"based":[69],"Logic.":[72],"illustrate":[74],"simulator":[76],"checker":[79],"specifying":[81,136],"traffic\u2010light":[83],"controller":[84],"other":[86],"systems.":[88],"There":[89],"two":[91],"main":[92],"contributions":[93],"this":[95],"work:":[96],"first,":[97],"environment":[100],"serves":[101],"validation":[104],"model,":[107],"execution":[109],"algorithm":[110],"paper":[112,128],"design":[113],"example":[115],"CRSMs,":[116],"demonstrating":[117],"ideas":[120],"realizable":[122],"potentially":[124],"useful.":[125],"Secondly,":[126],"presents":[129],"novel":[131],"useful":[133],"method":[134],"safety":[137],"properties,":[140],"checking":[142],"them":[143],"during":[144],"simulation.":[145]},"counts_by_year":[{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}