Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912806430> ?p ?o ?g. }
- W2912806430 endingPage "3149" @default.
- W2912806430 startingPage "3097" @default.
- W2912806430 abstract "Robots are becoming ubiquitous: from vacuum cleaners to driverless cars, there is a wide variety of applications, many with potential safety hazards. The work presented in this paper proposes a set of constructs suitable for both modelling robotic applications and supporting verification via model checking and theorem proving. Our goal is to support roboticists in writing models and applying modern verification techniques using a language familiar to them. To that end, we present RoboChart, a domain-specific modelling language based on UML, but with a restricted set of constructs to enable a simplified semantics and automated reasoning. We present the RoboChart metamodel, its well-formedness rules, and its process-algebraic semantics. We discuss verification based on these foundations using an implementation of RoboChart and its semantics as a set of Eclipse plug-ins called RoboTool." @default.
- W2912806430 created "2019-02-21" @default.
- W2912806430 creator A5006626759 @default.
- W2912806430 creator A5016094821 @default.
- W2912806430 creator A5073408099 @default.
- W2912806430 creator A5077565561 @default.
- W2912806430 creator A5080582720 @default.
- W2912806430 creator A5086724060 @default.
- W2912806430 date "2019-01-23" @default.
- W2912806430 modified "2023-10-12" @default.
- W2912806430 title "RoboChart: modelling and verification of the functional behaviour of robotic applications" @default.
- W2912806430 cites W105975728 @default.
- W2912806430 cites W1164721860 @default.
- W2912806430 cites W1256168905 @default.
- W2912806430 cites W1480909796 @default.
- W2912806430 cites W1489862800 @default.
- W2912806430 cites W1503029938 @default.
- W2912806430 cites W1515421996 @default.
- W2912806430 cites W1526844414 @default.
- W2912806430 cites W1544621933 @default.
- W2912806430 cites W1552435611 @default.
- W2912806430 cites W1579353247 @default.
- W2912806430 cites W1604959559 @default.
- W2912806430 cites W1607414258 @default.
- W2912806430 cites W1846093478 @default.
- W2912806430 cites W1858743739 @default.
- W2912806430 cites W1882160752 @default.
- W2912806430 cites W1966395415 @default.
- W2912806430 cites W1968483059 @default.
- W2912806430 cites W1969098526 @default.
- W2912806430 cites W1978347628 @default.
- W2912806430 cites W1998976523 @default.
- W2912806430 cites W2006607002 @default.
- W2912806430 cites W2010698657 @default.
- W2912806430 cites W2012203444 @default.
- W2912806430 cites W2032270529 @default.
- W2912806430 cites W2041701185 @default.
- W2912806430 cites W2044856809 @default.
- W2912806430 cites W2052957797 @default.
- W2912806430 cites W2053067910 @default.
- W2912806430 cites W2059769337 @default.
- W2912806430 cites W2060307524 @default.
- W2912806430 cites W2060794637 @default.
- W2912806430 cites W2062223562 @default.
- W2912806430 cites W2070528884 @default.
- W2912806430 cites W2085110954 @default.
- W2912806430 cites W2101508170 @default.
- W2912806430 cites W2116486164 @default.
- W2912806430 cites W2118471548 @default.
- W2912806430 cites W2127380267 @default.
- W2912806430 cites W2130402398 @default.
- W2912806430 cites W2136481787 @default.
- W2912806430 cites W2145136688 @default.
- W2912806430 cites W2147628469 @default.
- W2912806430 cites W2156027773 @default.
- W2912806430 cites W2160883697 @default.
- W2912806430 cites W2162943184 @default.
- W2912806430 cites W2258770051 @default.
- W2912806430 cites W2261578473 @default.
- W2912806430 cites W2284256543 @default.
- W2912806430 cites W233122475 @default.
- W2912806430 cites W2410933284 @default.
- W2912806430 cites W2506635712 @default.
- W2912806430 cites W2511574854 @default.
- W2912806430 cites W2521918545 @default.
- W2912806430 cites W2530189729 @default.
- W2912806430 cites W2562545901 @default.
- W2912806430 cites W2564273566 @default.
- W2912806430 cites W2569046096 @default.
- W2912806430 cites W2586539897 @default.
- W2912806430 cites W2749958572 @default.
- W2912806430 cites W2771849109 @default.
- W2912806430 cites W2808762350 @default.
- W2912806430 cites W2810327191 @default.
- W2912806430 cites W2811472820 @default.
- W2912806430 cites W3021850265 @default.
- W2912806430 cites W3101648496 @default.
- W2912806430 cites W3102912103 @default.
- W2912806430 cites W4246691913 @default.
- W2912806430 cites W4250846042 @default.
- W2912806430 cites W4302988087 @default.
- W2912806430 cites W69221180 @default.
- W2912806430 cites W942892594 @default.
- W2912806430 doi "https://doi.org/10.1007/s10270-018-00710-z" @default.
- W2912806430 hasPublicationYear "2019" @default.
- W2912806430 type Work @default.
- W2912806430 sameAs 2912806430 @default.
- W2912806430 citedByCount "59" @default.
- W2912806430 countsByYear W29128064302019 @default.
- W2912806430 countsByYear W29128064302020 @default.
- W2912806430 countsByYear W29128064302021 @default.
- W2912806430 countsByYear W29128064302022 @default.
- W2912806430 countsByYear W29128064302023 @default.
- W2912806430 crossrefType "journal-article" @default.
- W2912806430 hasAuthorship W2912806430A5006626759 @default.
- W2912806430 hasAuthorship W2912806430A5016094821 @default.
- W2912806430 hasAuthorship W2912806430A5073408099 @default.
- W2912806430 hasAuthorship W2912806430A5077565561 @default.