Matches in SemOpenAlex for { <https://semopenalex.org/work/W2100870193> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2100870193 abstract "In computer-based control systems, embedded software is taking over what mechanical and dedicated electronic systems used to do, that is, to engage and control the physical world, interacting directly with sensors and actuators. Therefore, software running on a digital processor is tightly-coupled with its surrounding physical environment. We propose an integrated approach based on Timed Petri-Nets for modeling and analysis of embedded real-time systems where real-time scheduling behavior of the controller software is explicitly represented at the model-level, together with the physical environment that it interacts with. This enables the designer to have an integrated view of the entire system while analyzing the system and making design decisions. We also describe a syntax-directed, automated translation procedure from Timed Petri-Nets to Timed Automata, thus enabling the use of model checkers such as UPPAAL for analysis purposes. We consider the railroad crossing problem as an application example, and evaluate alternatives for controller implementation on either single-processor or distributed multi-processor platforms based on the integrated approach." @default.
- W2100870193 created "2016-06-24" @default.
- W2100870193 creator A5029808393 @default.
- W2100870193 creator A5053541912 @default.
- W2100870193 date "2004-06-22" @default.
- W2100870193 modified "2023-09-26" @default.
- W2100870193 title "An integrated approach to modeling and analysis of embedded real-time systems based on timed petri nets" @default.
- W2100870193 cites W113754791 @default.
- W2100870193 cites W1557363488 @default.
- W2100870193 cites W1919698623 @default.
- W2100870193 cites W2014019774 @default.
- W2100870193 cites W2023499821 @default.
- W2100870193 cites W2033839526 @default.
- W2100870193 cites W2034833774 @default.
- W2100870193 cites W2042801853 @default.
- W2100870193 cites W2060095702 @default.
- W2100870193 cites W2098009157 @default.
- W2100870193 cites W2101508170 @default.
- W2100870193 cites W2105316244 @default.
- W2100870193 cites W2118898228 @default.
- W2100870193 cites W2121130295 @default.
- W2100870193 cites W2130561017 @default.
- W2100870193 cites W2132411556 @default.
- W2100870193 cites W2135320702 @default.
- W2100870193 cites W2136315358 @default.
- W2100870193 cites W2151392307 @default.
- W2100870193 cites W2153275071 @default.
- W2100870193 cites W2155524361 @default.
- W2100870193 cites W2160883697 @default.
- W2100870193 cites W2259629664 @default.
- W2100870193 doi "https://doi.org/10.1109/icdcs.2003.1203484" @default.
- W2100870193 hasPublicationYear "2004" @default.
- W2100870193 type Work @default.
- W2100870193 sameAs 2100870193 @default.
- W2100870193 citedByCount "3" @default.
- W2100870193 countsByYear W21008701932014 @default.
- W2100870193 crossrefType "proceedings-article" @default.
- W2100870193 hasAuthorship W2100870193A5029808393 @default.
- W2100870193 hasAuthorship W2100870193A5053541912 @default.
- W2100870193 hasConcept C112505250 @default.
- W2100870193 hasConcept C120314980 @default.
- W2100870193 hasConcept C149635348 @default.
- W2100870193 hasConcept C154488198 @default.
- W2100870193 hasConcept C162324750 @default.
- W2100870193 hasConcept C199360897 @default.
- W2100870193 hasConcept C203479927 @default.
- W2100870193 hasConcept C206729178 @default.
- W2100870193 hasConcept C21547014 @default.
- W2100870193 hasConcept C2777904410 @default.
- W2100870193 hasConcept C38677869 @default.
- W2100870193 hasConcept C41008148 @default.
- W2100870193 hasConcept C6557445 @default.
- W2100870193 hasConcept C79403827 @default.
- W2100870193 hasConcept C80444323 @default.
- W2100870193 hasConcept C86803240 @default.
- W2100870193 hasConceptScore W2100870193C112505250 @default.
- W2100870193 hasConceptScore W2100870193C120314980 @default.
- W2100870193 hasConceptScore W2100870193C149635348 @default.
- W2100870193 hasConceptScore W2100870193C154488198 @default.
- W2100870193 hasConceptScore W2100870193C162324750 @default.
- W2100870193 hasConceptScore W2100870193C199360897 @default.
- W2100870193 hasConceptScore W2100870193C203479927 @default.
- W2100870193 hasConceptScore W2100870193C206729178 @default.
- W2100870193 hasConceptScore W2100870193C21547014 @default.
- W2100870193 hasConceptScore W2100870193C2777904410 @default.
- W2100870193 hasConceptScore W2100870193C38677869 @default.
- W2100870193 hasConceptScore W2100870193C41008148 @default.
- W2100870193 hasConceptScore W2100870193C6557445 @default.
- W2100870193 hasConceptScore W2100870193C79403827 @default.
- W2100870193 hasConceptScore W2100870193C80444323 @default.
- W2100870193 hasConceptScore W2100870193C86803240 @default.
- W2100870193 hasLocation W21008701931 @default.
- W2100870193 hasOpenAccess W2100870193 @default.
- W2100870193 hasPrimaryLocation W21008701931 @default.
- W2100870193 hasRelatedWork W1566671959 @default.
- W2100870193 hasRelatedWork W1571500269 @default.
- W2100870193 hasRelatedWork W1940915540 @default.
- W2100870193 hasRelatedWork W1963616994 @default.
- W2100870193 hasRelatedWork W1983022291 @default.
- W2100870193 hasRelatedWork W2000676299 @default.
- W2100870193 hasRelatedWork W2001069800 @default.
- W2100870193 hasRelatedWork W2029113194 @default.
- W2100870193 hasRelatedWork W2085886452 @default.
- W2100870193 hasRelatedWork W2101508170 @default.
- W2100870193 hasRelatedWork W2114001338 @default.
- W2100870193 hasRelatedWork W2134160774 @default.
- W2100870193 hasRelatedWork W2139419246 @default.
- W2100870193 hasRelatedWork W2141484360 @default.
- W2100870193 hasRelatedWork W2511008662 @default.
- W2100870193 hasRelatedWork W2545184784 @default.
- W2100870193 hasRelatedWork W3110780563 @default.
- W2100870193 hasRelatedWork W65219368 @default.
- W2100870193 hasRelatedWork W81510871 @default.
- W2100870193 hasRelatedWork W2131314426 @default.
- W2100870193 isParatext "false" @default.
- W2100870193 isRetracted "false" @default.
- W2100870193 magId "2100870193" @default.
- W2100870193 workType "article" @default.