{"id":"https://openalex.org/W4251166607","doi":"https://doi.org/10.1017/cbo9780511619953","title":"Real-Time Systems","display_name":"Real-Time Systems","publication_year":2008,"publication_date":"2008-09-11","ids":{"openalex":"https://openalex.org/W4251166607","doi":"https://doi.org/10.1017/cbo9780511619953"},"language":"en","primary_location":{"id":"doi:10.1017/cbo9780511619953","is_oa":false,"landing_page_url":"https://doi.org/10.1017/cbo9780511619953","pdf_url":null,"source":{"id":"https://openalex.org/S4306462995","display_name":"Cambridge University Press eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"monograph"},"type":"book","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/A5084773409","display_name":"Ernst-R\u00fcdiger Olderog","orcid":"https://orcid.org/0000-0002-3600-2046"},"institutions":[{"id":"https://openalex.org/I129877168","display_name":"Carl von Ossietzky Universit\u00e4t Oldenburg","ror":"https://ror.org/033n9gh91","country_code":"DE","type":"education","lineage":["https://openalex.org/I129877168"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Ernst-R\u00fcdiger Olderog","raw_affiliation_strings":["Carl V. Ossietzky Universit\u00e4t Oldenburg, Germany"],"affiliations":[{"raw_affiliation_string":"Carl V. Ossietzky Universit\u00e4t Oldenburg, Germany","institution_ids":["https://openalex.org/I129877168"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5032208207","display_name":"Henning Dierks","orcid":null},"institutions":[{"id":"https://openalex.org/I202367325","display_name":"Oldenburger Institut f\u00fcr Informatik","ror":"https://ror.org/003sav189","country_code":"DE","type":"facility","lineage":["https://openalex.org/I202367325"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Henning Dierks","raw_affiliation_strings":["OFFIS, Research Institute, Oldenburg"],"affiliations":[{"raw_affiliation_string":"OFFIS, Research Institute, Oldenburg","institution_ids":["https://openalex.org/I202367325"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5084773409"],"corresponding_institution_ids":["https://openalex.org/I129877168"],"apc_list":null,"apc_paid":null,"fwci":2.0443,"has_fulltext":false,"cited_by_count":61,"citation_normalized_percentile":{"value":0.90555556,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":100},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9955000281333923,"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.9955000281333923,"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/T12810","display_name":"Real-time simulation and control systems","score":0.9821000099182129,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.7278211116790771},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.6918467283248901},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5751294493675232},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5231472253799438},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3543887734413147},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3310031592845917}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7278211116790771},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6918467283248901},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5751294493675232},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5231472253799438},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3543887734413147},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3310031592845917}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/cbo9780511619953","is_oa":false,"landing_page_url":"https://doi.org/10.1017/cbo9780511619953","pdf_url":null,"source":{"id":"https://openalex.org/S4306462995","display_name":"Cambridge University Press eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"monograph"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7599999904632568,"display_name":"Life below water","id":"https://metadata.un.org/sdg/14"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1587224678","https://openalex.org/W2244075056","https://openalex.org/W2991618286","https://openalex.org/W1513077802","https://openalex.org/W2196692106","https://openalex.org/W2151277984","https://openalex.org/W2123384876","https://openalex.org/W1506098152","https://openalex.org/W51650568","https://openalex.org/W1487652347"],"abstract_inverted_index":{"Real-time":[0],"systems":[1,130],"need":[2],"to":[3,5,21,64,142],"react":[4],"certain":[6],"input":[7],"stimuli":[8],"within":[9,23],"given":[10],"time":[11],"bounds.":[12],"For":[13],"example,":[14],"an":[15],"airbag":[16],"in":[17,26,74,146],"a":[18,27,66],"car":[19],"has":[20],"unfold":[22],"300":[24],"milliseconds":[25],"crash.":[28],"There":[29],"are":[30,61,103,109],"many":[31],"embedded":[32,91,132],"safety-critical":[33],"applications":[34],"and":[35,51,57,83,96,111,120,144,148],"each":[36,123],"requires":[37],"real-time":[38,71,129],"specification":[39,101],"techniques.":[40],"This":[41],"text":[42,135],"introduces":[43],"three":[44],"of":[45,90,99,128,139],"these":[46],"techniques,":[47],"based":[48],"on":[49],"logic":[50],"automata:":[52],"duration":[53,76],"calculus,":[54],"timed":[55],"automata,":[56],"PLC-automata.":[58],"The":[59,93],"techniques":[60,102],"brought":[62],"together":[63],"form":[65],"seamless":[67],"design":[68],"flow,":[69],"from":[70],"requirements":[72],"specified":[73,80],"the":[75,100],"calculus;":[77],"via":[78],"designs":[79],"by":[81],"PLC-automata;":[82],"into":[84],"source":[85],"code":[86],"for":[87,126],"hardware":[88],"platforms":[89],"systems.":[92],"syntax,":[94],"semantics,":[95],"proof":[97],"methods":[98],"introduced;":[104],"their":[105,115],"most":[106],"important":[107],"properties":[108],"established;":[110],"real-life":[112],"examples":[113],"illustrate":[114],"use.":[116],"Detailed":[117],"case":[118],"studies":[119],"exercises":[121],"conclude":[122],"chapter.":[124],"Ideal":[125],"students":[127],"or":[131],"systems,":[133],"this":[134],"will":[136],"also":[137],"be":[138],"great":[140],"interest":[141],"researchers":[143],"professionals":[145],"transportation":[147],"automation.":[149]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":3},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":6},{"year":2014,"cited_by_count":6},{"year":2013,"cited_by_count":6},{"year":2012,"cited_by_count":7}],"updated_date":"2026-03-25T14:56:36.534964","created_date":"2022-05-12T00:00:00"}