Matches in SemOpenAlex for { <https://semopenalex.org/work/W1520233069> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W1520233069 abstract "This experience was lead at the Laboratoire Informatique de Besancon and its aim was the modeling and verification of the RUBIS kernel, a multitasking multiprocessor operating system. An other aim of this study was to find out a method to formalize and to verify such systems. The first results are given. A modeling approach is used and we formalize the of the system, the scenarios and the properties in Promela and linear temporal logic. Two kinds of are produced, the so-called abstract models and detailed models which are model-checked with the SPIN tool. An exhaustive verification of the intertask communication features of RUBIS was carried out. It revealed several problems in the management of error return codes. This paper gives hints of a method to construct and formalize the of an operating system such as RUBIS." @default.
- W1520233069 created "2016-06-24" @default.
- W1520233069 creator A5005578206 @default.
- W1520233069 creator A5088104020 @default.
- W1520233069 date "2002-01-01" @default.
- W1520233069 modified "2023-09-27" @default.
- W1520233069 title "Modeling and Verification of the RUBIS μ−Kernel with SPIN" @default.
- W1520233069 cites W1506588809 @default.
- W1520233069 cites W1517173520 @default.
- W1520233069 cites W1554850964 @default.
- W1520233069 cites W2061438988 @default.
- W1520233069 cites W2986375905 @default.
- W1520233069 hasPublicationYear "2002" @default.
- W1520233069 type Work @default.
- W1520233069 sameAs 1520233069 @default.
- W1520233069 citedByCount "7" @default.
- W1520233069 crossrefType "journal-article" @default.
- W1520233069 hasAuthorship W1520233069A5005578206 @default.
- W1520233069 hasAuthorship W1520233069A5088104020 @default.
- W1520233069 hasConcept C110251889 @default.
- W1520233069 hasConcept C111919701 @default.
- W1520233069 hasConcept C114614502 @default.
- W1520233069 hasConcept C115903868 @default.
- W1520233069 hasConcept C199360897 @default.
- W1520233069 hasConcept C2776329536 @default.
- W1520233069 hasConcept C2780801425 @default.
- W1520233069 hasConcept C33923547 @default.
- W1520233069 hasConcept C41008148 @default.
- W1520233069 hasConcept C74193536 @default.
- W1520233069 hasConceptScore W1520233069C110251889 @default.
- W1520233069 hasConceptScore W1520233069C111919701 @default.
- W1520233069 hasConceptScore W1520233069C114614502 @default.
- W1520233069 hasConceptScore W1520233069C115903868 @default.
- W1520233069 hasConceptScore W1520233069C199360897 @default.
- W1520233069 hasConceptScore W1520233069C2776329536 @default.
- W1520233069 hasConceptScore W1520233069C2780801425 @default.
- W1520233069 hasConceptScore W1520233069C33923547 @default.
- W1520233069 hasConceptScore W1520233069C41008148 @default.
- W1520233069 hasConceptScore W1520233069C74193536 @default.
- W1520233069 hasLocation W15202330691 @default.
- W1520233069 hasOpenAccess W1520233069 @default.
- W1520233069 hasPrimaryLocation W15202330691 @default.
- W1520233069 hasRelatedWork W1494141276 @default.
- W1520233069 hasRelatedWork W1494546726 @default.
- W1520233069 hasRelatedWork W1978208568 @default.
- W1520233069 hasRelatedWork W2013805271 @default.
- W1520233069 hasRelatedWork W2014942166 @default.
- W1520233069 hasRelatedWork W2017320285 @default.
- W1520233069 hasRelatedWork W2082003625 @default.
- W1520233069 hasRelatedWork W2093852121 @default.
- W1520233069 hasRelatedWork W2114672617 @default.
- W1520233069 hasRelatedWork W2124517056 @default.
- W1520233069 hasRelatedWork W2140597298 @default.
- W1520233069 hasRelatedWork W2236496050 @default.
- W1520233069 hasRelatedWork W2266686799 @default.
- W1520233069 hasRelatedWork W2347703582 @default.
- W1520233069 hasRelatedWork W2402778996 @default.
- W1520233069 hasRelatedWork W2604673637 @default.
- W1520233069 hasRelatedWork W2619922413 @default.
- W1520233069 hasRelatedWork W3148397960 @default.
- W1520233069 hasRelatedWork W60903422 @default.
- W1520233069 hasRelatedWork W82548191 @default.
- W1520233069 isParatext "false" @default.
- W1520233069 isRetracted "false" @default.
- W1520233069 magId "1520233069" @default.
- W1520233069 workType "article" @default.