Matches in SemOpenAlex for { <https://semopenalex.org/work/W2258731633> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2258731633 endingPage "169" @default.
- W2258731633 startingPage "169" @default.
- W2258731633 abstract "Despite significant progress in real-time systems design in recent years, most research has concentrated on some specific areas such as scheduling, timing analysis or specification. This thesis focuses on the proper definition of the global structure of a real-time system, what it is and how to integrate all its aspects towards obtaining a complete design that satisfies the specification. In this thesis, we consider the problem of providing a general, integrated, and highly automated framework for the design of distributed hard-real-time systems which combines and exploits analytical techniques from individual areas of research. We propose such a framework, which may be thought of as providing a design methodology for the domain of real-time systems. Our proposed methodology is based on three fundamental principles: automation, formalization and generality. We propose a specification language based on these notions and developed from insight on the semantics and experience of the Modechart language (a specification language for real-time systems), also included in this dissertation. Current practice in the design and implementation real-time systems is a largely ad hoc process of trial and error. Our design methodology, separates the concerns involved and provides an environment which allows a designer to systematically meet the design constraints. This is achieved by providing language support to capture high-level designs and to generate code automatically from them, that, together with the methodology presented and the application specific code, is designed to satisfy the real-time requirements. We present Modechart++, which supports the design methodology introduced and it is used to specify, verify, and synthesize code for distributed hard-real-time applications." @default.
- W2258731633 created "2016-06-24" @default.
- W2258731633 creator A5028305433 @default.
- W2258731633 creator A5050988105 @default.
- W2258731633 date "1998-01-01" @default.
- W2258731633 modified "2023-09-27" @default.
- W2258731633 title "An automation-based design methodology for distributed, hard real-time systems" @default.
- W2258731633 hasPublicationYear "1998" @default.
- W2258731633 type Work @default.
- W2258731633 sameAs 2258731633 @default.
- W2258731633 citedByCount "0" @default.
- W2258731633 crossrefType "journal-article" @default.
- W2258731633 hasAuthorship W2258731633A5028305433 @default.
- W2258731633 hasAuthorship W2258731633A5050988105 @default.
- W2258731633 hasConcept C115901376 @default.
- W2258731633 hasConcept C115903868 @default.
- W2258731633 hasConcept C120314980 @default.
- W2258731633 hasConcept C127413603 @default.
- W2258731633 hasConcept C15744967 @default.
- W2258731633 hasConcept C199360897 @default.
- W2258731633 hasConcept C201677973 @default.
- W2258731633 hasConcept C2780767217 @default.
- W2258731633 hasConcept C31352089 @default.
- W2258731633 hasConcept C41008148 @default.
- W2258731633 hasConcept C49777639 @default.
- W2258731633 hasConcept C542102704 @default.
- W2258731633 hasConcept C78519656 @default.
- W2258731633 hasConcept C84651959 @default.
- W2258731633 hasConceptScore W2258731633C115901376 @default.
- W2258731633 hasConceptScore W2258731633C115903868 @default.
- W2258731633 hasConceptScore W2258731633C120314980 @default.
- W2258731633 hasConceptScore W2258731633C127413603 @default.
- W2258731633 hasConceptScore W2258731633C15744967 @default.
- W2258731633 hasConceptScore W2258731633C199360897 @default.
- W2258731633 hasConceptScore W2258731633C201677973 @default.
- W2258731633 hasConceptScore W2258731633C2780767217 @default.
- W2258731633 hasConceptScore W2258731633C31352089 @default.
- W2258731633 hasConceptScore W2258731633C41008148 @default.
- W2258731633 hasConceptScore W2258731633C49777639 @default.
- W2258731633 hasConceptScore W2258731633C542102704 @default.
- W2258731633 hasConceptScore W2258731633C78519656 @default.
- W2258731633 hasConceptScore W2258731633C84651959 @default.
- W2258731633 hasLocation W22587316331 @default.
- W2258731633 hasOpenAccess W2258731633 @default.
- W2258731633 hasPrimaryLocation W22587316331 @default.
- W2258731633 hasRelatedWork W129766367 @default.
- W2258731633 hasRelatedWork W14164684 @default.
- W2258731633 hasRelatedWork W143597826 @default.
- W2258731633 hasRelatedWork W1502015607 @default.
- W2258731633 hasRelatedWork W1529236381 @default.
- W2258731633 hasRelatedWork W1543012390 @default.
- W2258731633 hasRelatedWork W2027173693 @default.
- W2258731633 hasRelatedWork W2034003394 @default.
- W2258731633 hasRelatedWork W2067038195 @default.
- W2258731633 hasRelatedWork W2079202788 @default.
- W2258731633 hasRelatedWork W2101531624 @default.
- W2258731633 hasRelatedWork W2144869013 @default.
- W2258731633 hasRelatedWork W2145968859 @default.
- W2258731633 hasRelatedWork W2471467496 @default.
- W2258731633 hasRelatedWork W2752870552 @default.
- W2258731633 hasRelatedWork W2771793975 @default.
- W2258731633 hasRelatedWork W2780458569 @default.
- W2258731633 hasRelatedWork W2893328258 @default.
- W2258731633 hasRelatedWork W304881923 @default.
- W2258731633 hasRelatedWork W2121687518 @default.
- W2258731633 isParatext "false" @default.
- W2258731633 isRetracted "false" @default.
- W2258731633 magId "2258731633" @default.
- W2258731633 workType "article" @default.