Matches in SemOpenAlex for { <https://semopenalex.org/work/W207984271> ?p ?o ?g. }
- W207984271 endingPage "3033" @default.
- W207984271 startingPage "3027" @default.
- W207984271 abstract "This paper proposes a methodology for the development of distributed real-time (RT) systems using the Communicating Real-Time State Machines (CRSMs) formal specification language. The methodology is novel in that it addresses complex systems by extending CRSMs with concepts borrowed from Statecharts, and favours timing predictability through a holistic integration of an RT system and its operating software, i.e., message-based runtime executive. A full life cycle is established where all the development phases are unified by a common runtime representation based on actors used both for prototyping and temporal analysis and for final implementation. The paper describes the methodology and shows its practical use through examples. Java is the implementation language." @default.
- W207984271 created "2016-06-24" @default.
- W207984271 creator A5008194864 @default.
- W207984271 creator A5035646499 @default.
- W207984271 creator A5037490312 @default.
- W207984271 creator A5086764064 @default.
- W207984271 date "2000-01-01" @default.
- W207984271 modified "2023-09-25" @default.
- W207984271 title "Hierarchical Communicating Real-Time State Machines" @default.
- W207984271 cites W1501640954 @default.
- W207984271 cites W1582068322 @default.
- W207984271 cites W1585741938 @default.
- W207984271 cites W1604959559 @default.
- W207984271 cites W2029752508 @default.
- W207984271 cites W2049139227 @default.
- W207984271 cites W2056359803 @default.
- W207984271 cites W2099529102 @default.
- W207984271 cites W2100340106 @default.
- W207984271 cites W2162683787 @default.
- W207984271 cites W2617045569 @default.
- W207984271 cites W3144368627 @default.
- W207984271 hasPublicationYear "2000" @default.
- W207984271 type Work @default.
- W207984271 sameAs 207984271 @default.
- W207984271 citedByCount "2" @default.
- W207984271 countsByYear W2079842712017 @default.
- W207984271 crossrefType "proceedings-article" @default.
- W207984271 hasAuthorship W207984271A5008194864 @default.
- W207984271 hasAuthorship W207984271A5035646499 @default.
- W207984271 hasAuthorship W207984271A5037490312 @default.
- W207984271 hasAuthorship W207984271A5086764064 @default.
- W207984271 hasConcept C110251889 @default.
- W207984271 hasConcept C115903868 @default.
- W207984271 hasConcept C116253237 @default.
- W207984271 hasConcept C120314980 @default.
- W207984271 hasConcept C121332964 @default.
- W207984271 hasConcept C149635348 @default.
- W207984271 hasConcept C155214134 @default.
- W207984271 hasConcept C156325763 @default.
- W207984271 hasConcept C167822520 @default.
- W207984271 hasConcept C17744445 @default.
- W207984271 hasConcept C184337299 @default.
- W207984271 hasConcept C197640229 @default.
- W207984271 hasConcept C199360897 @default.
- W207984271 hasConcept C199539241 @default.
- W207984271 hasConcept C2776359362 @default.
- W207984271 hasConcept C2777904410 @default.
- W207984271 hasConcept C41008148 @default.
- W207984271 hasConcept C48103436 @default.
- W207984271 hasConcept C529173508 @default.
- W207984271 hasConcept C548217200 @default.
- W207984271 hasConcept C62520636 @default.
- W207984271 hasConcept C75606506 @default.
- W207984271 hasConcept C93682380 @default.
- W207984271 hasConcept C94625758 @default.
- W207984271 hasConceptScore W207984271C110251889 @default.
- W207984271 hasConceptScore W207984271C115903868 @default.
- W207984271 hasConceptScore W207984271C116253237 @default.
- W207984271 hasConceptScore W207984271C120314980 @default.
- W207984271 hasConceptScore W207984271C121332964 @default.
- W207984271 hasConceptScore W207984271C149635348 @default.
- W207984271 hasConceptScore W207984271C155214134 @default.
- W207984271 hasConceptScore W207984271C156325763 @default.
- W207984271 hasConceptScore W207984271C167822520 @default.
- W207984271 hasConceptScore W207984271C17744445 @default.
- W207984271 hasConceptScore W207984271C184337299 @default.
- W207984271 hasConceptScore W207984271C197640229 @default.
- W207984271 hasConceptScore W207984271C199360897 @default.
- W207984271 hasConceptScore W207984271C199539241 @default.
- W207984271 hasConceptScore W207984271C2776359362 @default.
- W207984271 hasConceptScore W207984271C2777904410 @default.
- W207984271 hasConceptScore W207984271C41008148 @default.
- W207984271 hasConceptScore W207984271C48103436 @default.
- W207984271 hasConceptScore W207984271C529173508 @default.
- W207984271 hasConceptScore W207984271C548217200 @default.
- W207984271 hasConceptScore W207984271C62520636 @default.
- W207984271 hasConceptScore W207984271C75606506 @default.
- W207984271 hasConceptScore W207984271C93682380 @default.
- W207984271 hasConceptScore W207984271C94625758 @default.
- W207984271 hasLocation W2079842711 @default.
- W207984271 hasOpenAccess W207984271 @default.
- W207984271 hasPrimaryLocation W2079842711 @default.
- W207984271 hasRelatedWork W1499117612 @default.
- W207984271 hasRelatedWork W1515360972 @default.
- W207984271 hasRelatedWork W1524314369 @default.
- W207984271 hasRelatedWork W1560127922 @default.
- W207984271 hasRelatedWork W1569814689 @default.
- W207984271 hasRelatedWork W1573515537 @default.
- W207984271 hasRelatedWork W1760235840 @default.
- W207984271 hasRelatedWork W1779985130 @default.
- W207984271 hasRelatedWork W1885037678 @default.
- W207984271 hasRelatedWork W2068543075 @default.
- W207984271 hasRelatedWork W2099374974 @default.
- W207984271 hasRelatedWork W2102854531 @default.
- W207984271 hasRelatedWork W2129883432 @default.
- W207984271 hasRelatedWork W2150570689 @default.
- W207984271 hasRelatedWork W2156795913 @default.
- W207984271 hasRelatedWork W2363166420 @default.