Matches in SemOpenAlex for { <https://semopenalex.org/work/W2955278181> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2955278181 endingPage "37" @default.
- W2955278181 startingPage "15" @default.
- W2955278181 abstract "Robotic systems are becoming more safety critical systems as they are deployed in unstructured human-centered environments. These software intensive systems are composed of distributed, heterogeneous software components interacting in a highly dynamic, uncertain environment. However, no systematic software development process is followed in robotics research. This is a real barrier for system level performance analysis and reasoning, which are in turn required for scalable bench-marking methods and reusing existing software. This chapter provides an end-to-end overview on how robotic software systems can be formally specified from requirement modeling, through solution space exploration, and architecture modeling, and finally to generate executable code. The process is based on SafeRobots framework—a model-driven toolchain for designing software for robotics. Several domain-specific modeling languages that are developed as a part of this integrated approach are also discussed." @default.
- W2955278181 created "2019-07-12" @default.
- W2955278181 creator A5019355024 @default.
- W2955278181 creator A5054052901 @default.
- W2955278181 creator A5066791819 @default.
- W2955278181 date "2019-03-24" @default.
- W2955278181 modified "2023-10-16" @default.
- W2955278181 title "Formal Specification of Robotic Architectures for Experimental Robotics" @default.
- W2955278181 cites W115800640 @default.
- W2955278181 cites W120583406 @default.
- W2955278181 cites W1975596341 @default.
- W2955278181 cites W1987250353 @default.
- W2955278181 cites W1988727059 @default.
- W2955278181 cites W1998057498 @default.
- W2955278181 cites W2004646308 @default.
- W2955278181 cites W2023037746 @default.
- W2955278181 cites W2027653328 @default.
- W2955278181 cites W2039918963 @default.
- W2955278181 cites W2042666345 @default.
- W2955278181 cites W2082496272 @default.
- W2955278181 cites W2090161303 @default.
- W2955278181 cites W2097856935 @default.
- W2955278181 cites W2103123037 @default.
- W2955278181 cites W2105539612 @default.
- W2955278181 cites W2107810727 @default.
- W2955278181 cites W2110156285 @default.
- W2955278181 cites W2124942057 @default.
- W2955278181 cites W2150724001 @default.
- W2955278181 cites W2153738822 @default.
- W2955278181 cites W2165203881 @default.
- W2955278181 cites W2169180789 @default.
- W2955278181 cites W2250180543 @default.
- W2955278181 cites W2258770051 @default.
- W2955278181 cites W2501061730 @default.
- W2955278181 cites W4253041212 @default.
- W2955278181 doi "https://doi.org/10.1007/978-3-030-14126-4_2" @default.
- W2955278181 hasPublicationYear "2019" @default.
- W2955278181 type Work @default.
- W2955278181 sameAs 2955278181 @default.
- W2955278181 citedByCount "1" @default.
- W2955278181 countsByYear W29552781812020 @default.
- W2955278181 crossrefType "book-chapter" @default.
- W2955278181 hasAuthorship W2955278181A5019355024 @default.
- W2955278181 hasAuthorship W2955278181A5054052901 @default.
- W2955278181 hasAuthorship W2955278181A5066791819 @default.
- W2955278181 hasConcept C127413603 @default.
- W2955278181 hasConcept C154945302 @default.
- W2955278181 hasConcept C201995342 @default.
- W2955278181 hasConcept C34413123 @default.
- W2955278181 hasConcept C41008148 @default.
- W2955278181 hasConcept C90509273 @default.
- W2955278181 hasConceptScore W2955278181C127413603 @default.
- W2955278181 hasConceptScore W2955278181C154945302 @default.
- W2955278181 hasConceptScore W2955278181C201995342 @default.
- W2955278181 hasConceptScore W2955278181C34413123 @default.
- W2955278181 hasConceptScore W2955278181C41008148 @default.
- W2955278181 hasConceptScore W2955278181C90509273 @default.
- W2955278181 hasLocation W29552781811 @default.
- W2955278181 hasOpenAccess W2955278181 @default.
- W2955278181 hasPrimaryLocation W29552781811 @default.
- W2955278181 hasRelatedWork W2116013011 @default.
- W2955278181 hasRelatedWork W2131444840 @default.
- W2955278181 hasRelatedWork W2295066246 @default.
- W2955278181 hasRelatedWork W2398963826 @default.
- W2955278181 hasRelatedWork W2414929284 @default.
- W2955278181 hasRelatedWork W2470235696 @default.
- W2955278181 hasRelatedWork W2962829499 @default.
- W2955278181 hasRelatedWork W3022044590 @default.
- W2955278181 hasRelatedWork W405964254 @default.
- W2955278181 hasRelatedWork W4250956039 @default.
- W2955278181 isParatext "false" @default.
- W2955278181 isRetracted "false" @default.
- W2955278181 magId "2955278181" @default.
- W2955278181 workType "book-chapter" @default.