Matches in SemOpenAlex for { <https://semopenalex.org/work/W54823132> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W54823132 abstract "JVRB, 6(2009), no. 1. - Mixed Reality (MR) aims to link virtual entities withthe real world and has many applications such as militaryand medical domains [JBL+00, NFB07]. In manyMR systems and more precisely in augmented scenes,one needs the application to render the virtual part accuratelyat the right time. To achieve this, such systemsacquire data related to the real world from a setof sensors before rendering virtual entities. A suitablesystem architecture should minimize the delays tokeep the overall system delay (also called end-to-endlatency) within the requirements for real-time performance.In this context, we propose a compositionalmodeling framework for MR software architectures inorder to specify, simulate and validate formally thetime constraints of such systems. Our approach is firstbased on a functional decomposition of such systemsinto generic components. The obtained elements aswell as their typical interactions give rise to genericrepresentations in terms of timed automata. A wholesystem is then obtained as a composition of such defined components.To write specifications, a textual language namedMIRELA (MIxed REality LAnguage) is proposedalong with the corresponding compilation tools. Thegenerated output contains timed automata in UPPAALformat for simulation and verification of time constraints.These automata may also be used to generatesource code skeletons for an implementation on a MRplatform.The approach is illustrated first on a small example.A realistic case study is also developed. It is modeledby several timed automata synchronizing throughchannels and including a large number of time constraints.Both systems have been simulated in UPPAALand checked against the required behavioralproperties." @default.
- W54823132 created "2016-06-24" @default.
- W54823132 creator A5010761880 @default.
- W54823132 creator A5010775407 @default.
- W54823132 creator A5065505256 @default.
- W54823132 date "2008-04-09" @default.
- W54823132 modified "2023-10-10" @default.
- W54823132 title "The MIRELA Framework: modeling and analyzing mixed reality applications using timed automata" @default.
- W54823132 cites W1506588809 @default.
- W54823132 cites W1566549687 @default.
- W54823132 cites W1648167575 @default.
- W54823132 cites W2000947342 @default.
- W54823132 cites W2103124244 @default.
- W54823132 cites W2133250292 @default.
- W54823132 cites W2139202198 @default.
- W54823132 cites W2162547713 @default.
- W54823132 cites W2918028594 @default.
- W54823132 hasPublicationYear "2008" @default.
- W54823132 type Work @default.
- W54823132 sameAs 54823132 @default.
- W54823132 citedByCount "6" @default.
- W54823132 countsByYear W548231322012 @default.
- W54823132 countsByYear W548231322014 @default.
- W54823132 countsByYear W548231322015 @default.
- W54823132 crossrefType "proceedings-article" @default.
- W54823132 hasAuthorship W54823132A5010761880 @default.
- W54823132 hasAuthorship W54823132A5010775407 @default.
- W54823132 hasAuthorship W54823132A5065505256 @default.
- W54823132 hasConcept C107457646 @default.
- W54823132 hasConcept C112505250 @default.
- W54823132 hasConcept C153715457 @default.
- W54823132 hasConcept C206776904 @default.
- W54823132 hasConcept C41008148 @default.
- W54823132 hasConcept C80444323 @default.
- W54823132 hasConceptScore W54823132C107457646 @default.
- W54823132 hasConceptScore W54823132C112505250 @default.
- W54823132 hasConceptScore W54823132C153715457 @default.
- W54823132 hasConceptScore W54823132C206776904 @default.
- W54823132 hasConceptScore W54823132C41008148 @default.
- W54823132 hasConceptScore W54823132C80444323 @default.
- W54823132 hasLocation W548231321 @default.
- W54823132 hasLocation W548231322 @default.
- W54823132 hasLocation W548231323 @default.
- W54823132 hasOpenAccess W54823132 @default.
- W54823132 hasPrimaryLocation W548231321 @default.
- W54823132 hasRelatedWork W182856140 @default.
- W54823132 hasRelatedWork W2394424449 @default.
- W54823132 hasRelatedWork W2624249381 @default.
- W54823132 hasRelatedWork W2905138457 @default.
- W54823132 hasRelatedWork W2915381807 @default.
- W54823132 hasRelatedWork W2982120377 @default.
- W54823132 hasRelatedWork W4229456911 @default.
- W54823132 hasRelatedWork W4236000927 @default.
- W54823132 hasRelatedWork W4315498436 @default.
- W54823132 hasRelatedWork W4378228679 @default.
- W54823132 isParatext "false" @default.
- W54823132 isRetracted "false" @default.
- W54823132 magId "54823132" @default.
- W54823132 workType "article" @default.