FRINK Linked Data Fragments server

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

• W22811518 abstract "The work presented in the thesis must be considered in the context of a more general project, which proposes an unified method, based on the use of the Time Petri Nets formalism (TPN), to deal with the development of Real Time Systems (RTS). This project's objective is to cover the whole development cycle of a RTS with Time Petri Nets, from the requirement specification to the testing phase, including the properties analysis an the implementation.The thesis tackles two aspects of the RTS life cycle: the modelling and the implementation, or code generation. After introducing of the RTS modelling concepts using TPN, and the analysis techniques fundamentals, the work focuses on the code generation, taking the Petri Nets implementation techniques as a base and extending them in order to make the techniques able to deal with the special temporal requirements of the RTS.The centralized technique is presented in first place. Based on the separation of the functional and control parts of the RTS, the technique proposes the use of a coordinator, which holds the control of the system execution and the supervision of the deadline meeting. This technique has several drawbacks, such as the impact in the performance of the coordinator presence.In order to cope with these evidenced drawbacks, the thesis proposes the decentralized implementation technique. Its main aim is to split the net into a set of concurrent subnets, mono-marked p-invariants, which communicate between each other through synchronous or asynchronous primitives. These subnets are called protoprocesses. After this net partition, the technique proposes the identification of a set of execution units (specific place-transition structures) that can be directly translated into Ada-95 statements. This strategy leads to the generation of the skeleton of the code that implements the control part of the RTS. As an additional result, the thesis proposes Time Petri Net based models for the real time Ada-95 statements.Finally, in cases where it is not possible to apply the decentralized techniques, the work proposes mixed implementation techniques." @default.
• W22811518 created "2016-06-24" @default.
• W22811518 creator A5020428592 @default.
• W22811518 date "1999-01-01" @default.
• W22811518 modified "2023-09-24" @default.
• W22811518 title "Modelado e implementación de Sistemas de Tiempo Real mediante Redes de Petri con Tiempo" @default.
• W22811518 cites W106198731 @default.
• W22811518 cites W1484386590 @default.
• W22811518 cites W1511703676 @default.
• W22811518 cites W1524254874 @default.
• W22811518 cites W1527132796 @default.
• W22811518 cites W1527654363 @default.
• W22811518 cites W1530066122 @default.
• W22811518 cites W1543527335 @default.
• W22811518 cites W1573956714 @default.
• W22811518 cites W1596932458 @default.
• W22811518 cites W1597113327 @default.
• W22811518 cites W167751234 @default.
• W22811518 cites W1738634031 @default.
• W22811518 cites W1811753873 @default.
• W22811518 cites W1872146477 @default.
• W22811518 cites W1903679624 @default.
• W22811518 cites W195587297 @default.
• W22811518 cites W1985125026 @default.
• W22811518 cites W1986332631 @default.
• W22811518 cites W1986755980 @default.
• W22811518 cites W1988923655 @default.
• W22811518 cites W1990357312 @default.
• W22811518 cites W1996109622 @default.
• W22811518 cites W1997422892 @default.
• W22811518 cites W1999127935 @default.
• W22811518 cites W2001673593 @default.
• W22811518 cites W2033839526 @default.
• W22811518 cites W2034833774 @default.
• W22811518 cites W2036230134 @default.
• W22811518 cites W2042801853 @default.
• W22811518 cites W204986521 @default.
• W22811518 cites W2050278738 @default.
• W22811518 cites W2056359803 @default.
• W22811518 cites W2064207294 @default.
• W22811518 cites W2074564037 @default.
• W22811518 cites W2078643445 @default.
• W22811518 cites W2083719008 @default.
• W22811518 cites W2099529102 @default.
• W22811518 cites W2109488193 @default.
• W22811518 cites W2117834984 @default.
• W22811518 cites W2120371353 @default.
• W22811518 cites W2120601740 @default.
• W22811518 cites W2122599912 @default.
• W22811518 cites W2125739093 @default.
• W22811518 cites W2128646711 @default.
• W22811518 cites W2131791649 @default.
• W22811518 cites W2137784941 @default.
• W22811518 cites W2137968059 @default.
• W22811518 cites W2150621030 @default.
• W22811518 cites W2158163902 @default.
• W22811518 cites W2160293203 @default.
• W22811518 cites W2163259707 @default.
• W22811518 cites W2164409988 @default.
• W22811518 cites W2166440675 @default.
• W22811518 cites W2167160342 @default.
• W22811518 cites W2170505350 @default.
• W22811518 cites W2174600948 @default.
• W22811518 cites W2177446030 @default.
• W22811518 cites W2342229093 @default.
• W22811518 cites W2495566846 @default.
• W22811518 cites W2570030068 @default.
• W22811518 cites W266225070 @default.
• W22811518 cites W2730651190 @default.
• W22811518 cites W36750305 @default.
• W22811518 cites W3820865 @default.
• W22811518 cites W42439154 @default.
• W22811518 cites W56708529 @default.
• W22811518 hasPublicationYear "1999" @default.
• W22811518 type Work @default.
• W22811518 sameAs 22811518 @default.
• W22811518 citedByCount "1" @default.
• W22811518 crossrefType "journal-article" @default.
• W22811518 hasAuthorship W22811518A5020428592 @default.
• W22811518 hasConcept C120314980 @default.
• W22811518 hasConcept C136155141 @default.
• W22811518 hasConcept C142362112 @default.
• W22811518 hasConcept C151319957 @default.
• W22811518 hasConcept C153349607 @default.
• W22811518 hasConcept C199360897 @default.
• W22811518 hasConcept C31258907 @default.
• W22811518 hasConcept C38677869 @default.
• W22811518 hasConcept C41008148 @default.
• W22811518 hasConcept C558565934 @default.
• W22811518 hasConcept C73301696 @default.
• W22811518 hasConcept C79403827 @default.
• W22811518 hasConceptScore W22811518C120314980 @default.
• W22811518 hasConceptScore W22811518C136155141 @default.
• W22811518 hasConceptScore W22811518C142362112 @default.
• W22811518 hasConceptScore W22811518C151319957 @default.
• W22811518 hasConceptScore W22811518C153349607 @default.
• W22811518 hasConceptScore W22811518C199360897 @default.
• W22811518 hasConceptScore W22811518C31258907 @default.
• W22811518 hasConceptScore W22811518C38677869 @default.
• W22811518 hasConceptScore W22811518C41008148 @default.

• next