Matches in SemOpenAlex for { <https://semopenalex.org/work/W2564687925> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W2564687925 abstract "System relevant embedded software needs to be reliable and, therefore, well tested, especially for aerospace systems. A common technique to verify programs is the analysis of their abstract syntax tree (AST). Tree structures can be elegantly analyzed with the logic programming language Prolog. Moreover, Prolog offers further advantages for a thorough analysis: On the one hand, it natively provides versatile options to efficiently process tree or graph data structures. On the other hand, Prolog's non-determinism and backtracking eases tests of different variations of the program flow without big effort. A rule-based approach with Prolog allows to characterize the verification goals in a concise and declarative way. In this paper, we describe our approach to verify the source code of a flash file system with the help of Prolog. The flash file system is written in C++ and has been developed particularly for the use in satellites. We transform a given abstract syntax tree of C++ source code into Prolog facts and derive the call graph and the execution sequence (tree), which then are further tested against verification goals. The different program flow branching due to control structures is derived by backtracking as subtrees of the full execution sequence. Finally, these subtrees are verified in Prolog. We illustrate our approach with a case study, where we search for incorrect applications of semaphores in embedded software using the real-time operating system RODOS. We rely on computation tree logic (CTL) and have designed an embedded domain specific language (DSL) in Prolog to express the verification goals." @default.
- W2564687925 created "2017-01-06" @default.
- W2564687925 creator A5026247917 @default.
- W2564687925 creator A5036426011 @default.
- W2564687925 creator A5083430520 @default.
- W2564687925 creator A5084058235 @default.
- W2564687925 date "2017-01-01" @default.
- W2564687925 modified "2023-09-23" @default.
- W2564687925 title "Source Code Verification for Embedded Systems using Prolog" @default.
- W2564687925 cites W1577656633 @default.
- W2564687925 cites W1587010832 @default.
- W2564687925 cites W1894829700 @default.
- W2564687925 cites W1980471701 @default.
- W2564687925 cites W1997520998 @default.
- W2564687925 cites W1998371662 @default.
- W2564687925 cites W2005915144 @default.
- W2564687925 cites W2131755133 @default.
- W2564687925 cites W2155996966 @default.
- W2564687925 cites W2542044437 @default.
- W2564687925 cites W4245577656 @default.
- W2564687925 doi "https://doi.org/10.4204/eptcs.234.7" @default.
- W2564687925 hasPublicationYear "2017" @default.
- W2564687925 type Work @default.
- W2564687925 sameAs 2564687925 @default.
- W2564687925 citedByCount "0" @default.
- W2564687925 crossrefType "journal-article" @default.
- W2564687925 hasAuthorship W2564687925A5026247917 @default.
- W2564687925 hasAuthorship W2564687925A5036426011 @default.
- W2564687925 hasAuthorship W2564687925A5083430520 @default.
- W2564687925 hasAuthorship W2564687925A5084058235 @default.
- W2564687925 hasBestOaLocation W25646879251 @default.
- W2564687925 hasConcept C128838566 @default.
- W2564687925 hasConcept C156884757 @default.
- W2564687925 hasConcept C199360897 @default.
- W2564687925 hasConcept C41008148 @default.
- W2564687925 hasConcept C80444323 @default.
- W2564687925 hasConcept C81721847 @default.
- W2564687925 hasConceptScore W2564687925C128838566 @default.
- W2564687925 hasConceptScore W2564687925C156884757 @default.
- W2564687925 hasConceptScore W2564687925C199360897 @default.
- W2564687925 hasConceptScore W2564687925C41008148 @default.
- W2564687925 hasConceptScore W2564687925C80444323 @default.
- W2564687925 hasConceptScore W2564687925C81721847 @default.
- W2564687925 hasLocation W25646879251 @default.
- W2564687925 hasLocation W25646879252 @default.
- W2564687925 hasLocation W25646879253 @default.
- W2564687925 hasOpenAccess W2564687925 @default.
- W2564687925 hasPrimaryLocation W25646879251 @default.
- W2564687925 hasRelatedWork W131260984 @default.
- W2564687925 hasRelatedWork W1553185554 @default.
- W2564687925 hasRelatedWork W1581259917 @default.
- W2564687925 hasRelatedWork W1973582361 @default.
- W2564687925 hasRelatedWork W1985334734 @default.
- W2564687925 hasRelatedWork W2118792740 @default.
- W2564687925 hasRelatedWork W2162388678 @default.
- W2564687925 hasRelatedWork W2232268713 @default.
- W2564687925 hasRelatedWork W2892586265 @default.
- W2564687925 hasRelatedWork W4255908260 @default.
- W2564687925 isParatext "false" @default.
- W2564687925 isRetracted "false" @default.
- W2564687925 magId "2564687925" @default.
- W2564687925 workType "article" @default.