FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2183855686> ?p ?o ?g. }

• W2183855686 abstract "This thesis addresses two particular issues related to the design of embedded systems; namely, refinement of communication and refinement of states. The refinement of communication deals with the issue of implementing a synchronous system in an asynchronous way such that two systems are behaviourally equivalent. As a result, correctness of an asynchronous system can be achieved by establishing correctness on its synchronous version, which is computationally cheaper than analysing the latter. The research objective was to find conditions that ensure the addition of buffers do not modify the behaviour of a given synchronous system. We show that it is possible to obtain better desynchronisability conditions (even for finer equivalence like branching bisimulation) by changing the properties of the communication protocol. This is in contrast with the previous works where the focus was only on restricting the communicating components. The refinement of states deals with the stepwise development of hybrid systems. Such a concept was absent in the Compositional Interchange Format (CIF), a modelling language for embedded systems based on hybrid automata and some process algebraic operators. The research objective was to develop a compositional operational semantics of CIF with hierarchy (HCIF). We show that by referring only to the transition system of the substructures (not to their syntactic representation), the semantics of HCIF operators is almost unchanged with respect to their CIF versions. Furthermore, a definition to eliminate hierarchy in a HCIF model is presented. As a result, the existing simulation tools and the transformation tools to other timed or hybrid languages can be reused upon the elimination of hierarchy from a HCIF model." @default.
• W2183855686 created "2016-06-24" @default.
• W2183855686 creator A5062540784 @default.
• W2183855686 date "2013-01-01" @default.
• W2183855686 modified "2023-09-23" @default.
• W2183855686 title "Refinement of communication and states in models of embedded systems" @default.
• W2183855686 cites W105707553 @default.
• W2183855686 cites W1486492733 @default.
• W2183855686 cites W1493249179 @default.
• W2183855686 cites W1497879578 @default.
• W2183855686 cites W1498432697 @default.
• W2183855686 cites W1508008065 @default.
• W2183855686 cites W1511578719 @default.
• W2183855686 cites W1521107250 @default.
• W2183855686 cites W1530632793 @default.
• W2183855686 cites W1547562281 @default.
• W2183855686 cites W1548247611 @default.
• W2183855686 cites W1555661911 @default.
• W2183855686 cites W1558392573 @default.
• W2183855686 cites W1596404209 @default.
• W2183855686 cites W1600665217 @default.
• W2183855686 cites W1687944053 @default.
• W2183855686 cites W1758496109 @default.
• W2183855686 cites W1968539782 @default.
• W2183855686 cites W1979349468 @default.
• W2183855686 cites W1983779606 @default.
• W2183855686 cites W1985161650 @default.
• W2183855686 cites W1986736724 @default.
• W2183855686 cites W2000226932 @default.
• W2183855686 cites W2000947342 @default.
• W2183855686 cites W2011115295 @default.
• W2183855686 cites W2025970201 @default.
• W2183855686 cites W2033455284 @default.
• W2183855686 cites W2034232739 @default.
• W2183855686 cites W2040008220 @default.
• W2183855686 cites W2044667269 @default.
• W2183855686 cites W2044965190 @default.
• W2183855686 cites W2095786572 @default.
• W2183855686 cites W2098981343 @default.
• W2183855686 cites W2099529102 @default.
• W2183855686 cites W2099571597 @default.
• W2183855686 cites W2101206446 @default.
• W2183855686 cites W2102886900 @default.
• W2183855686 cites W2107144615 @default.
• W2183855686 cites W2114724402 @default.
• W2183855686 cites W2118229393 @default.
• W2183855686 cites W2121063006 @default.
• W2183855686 cites W2128804846 @default.
• W2183855686 cites W2129136797 @default.
• W2183855686 cites W2133153642 @default.
• W2183855686 cites W2136807189 @default.
• W2183855686 cites W2139289843 @default.
• W2183855686 cites W2147340401 @default.
• W2183855686 cites W2148973802 @default.
• W2183855686 cites W2161147774 @default.
• W2183855686 cites W2163135875 @default.
• W2183855686 cites W2165165000 @default.
• W2183855686 cites W2169180789 @default.
• W2183855686 cites W2172083724 @default.
• W2183855686 cites W2176215692 @default.
• W2183855686 cites W2185230585 @default.
• W2183855686 cites W2187993695 @default.
• W2183855686 cites W2252436646 @default.
• W2183855686 cites W2573066928 @default.
• W2183855686 cites W2768414092 @default.
• W2183855686 cites W2808132804 @default.
• W2183855686 cites W3144368627 @default.
• W2183855686 cites W623593394 @default.
• W2183855686 doi "https://doi.org/10.6100/ir748546" @default.
• W2183855686 hasPublicationYear "2013" @default.
• W2183855686 type Work @default.
• W2183855686 sameAs 2183855686 @default.
• W2183855686 citedByCount "14" @default.
• W2183855686 countsByYear W21838556862012 @default.
• W2183855686 countsByYear W21838556862013 @default.
• W2183855686 countsByYear W21838556862014 @default.
• W2183855686 countsByYear W21838556862015 @default.
• W2183855686 crossrefType "journal-article" @default.
• W2183855686 hasAuthorship W2183855686A5062540784 @default.
• W2183855686 hasConcept C110251889 @default.
• W2183855686 hasConcept C112505250 @default.
• W2183855686 hasConcept C118615104 @default.
• W2183855686 hasConcept C135315306 @default.
• W2183855686 hasConcept C146499914 @default.
• W2183855686 hasConcept C151319957 @default.
• W2183855686 hasConcept C155214134 @default.
• W2183855686 hasConcept C156325763 @default.
• W2183855686 hasConcept C161771561 @default.
• W2183855686 hasConcept C162324750 @default.
• W2183855686 hasConcept C184337299 @default.
• W2183855686 hasConcept C193702766 @default.
• W2183855686 hasConcept C199360897 @default.
• W2183855686 hasConcept C2779167558 @default.
• W2183855686 hasConcept C2780069185 @default.
• W2183855686 hasConcept C31170391 @default.
• W2183855686 hasConcept C31258907 @default.
• W2183855686 hasConcept C33923547 @default.
• W2183855686 hasConcept C34447519 @default.
• W2183855686 hasConcept C41008148 @default.
• W2183855686 hasConcept C55439883 @default.

• next