Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950585616> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2950585616 abstract "Standards play the key role in safety-critical systems. Errors in standards could mislead system developer's understanding and introduce bugs into system implementations. In this paper, we present an Event-B formalization and verification for the ARINC 653 standard, which provides a standardized interface between safety-critical real-time operating systems and application software, as well as a set of functionalities aimed to improve the safety and certification process of such safety-critical systems. The formalization is a complete model of ARINC 653, and provides a necessary foundation for the formal development and verification of ARINC 653 compliant operating systems and applications. Six hidden errors were discovered from the verification using the Event-B formal reasoning approach." @default.
- W2950585616 created "2019-06-27" @default.
- W2950585616 creator A5023363049 @default.
- W2950585616 creator A5043515198 @default.
- W2950585616 creator A5056222500 @default.
- W2950585616 creator A5067813217 @default.
- W2950585616 date "2015-08-26" @default.
- W2950585616 modified "2023-09-27" @default.
- W2950585616 title "Event-based Formalization of Safety-critical Operating System Standards: An Experience Report on ARINC 653 using Event-B" @default.
- W2950585616 cites W1556900989 @default.
- W2950585616 cites W1573649504 @default.
- W2950585616 cites W1601418559 @default.
- W2950585616 cites W1970995135 @default.
- W2950585616 cites W1971486022 @default.
- W2950585616 cites W2106943575 @default.
- W2950585616 cites W2135278105 @default.
- W2950585616 cites W2150189917 @default.
- W2950585616 cites W2169611117 @default.
- W2950585616 cites W2182675218 @default.
- W2950585616 cites W2411386103 @default.
- W2950585616 cites W2953248896 @default.
- W2950585616 cites W46221314 @default.
- W2950585616 doi "https://doi.org/10.48550/arxiv.1508.06479" @default.
- W2950585616 hasPublicationYear "2015" @default.
- W2950585616 type Work @default.
- W2950585616 sameAs 2950585616 @default.
- W2950585616 citedByCount "4" @default.
- W2950585616 countsByYear W29505856162015 @default.
- W2950585616 countsByYear W29505856162017 @default.
- W2950585616 countsByYear W29505856162018 @default.
- W2950585616 crossrefType "posted-content" @default.
- W2950585616 hasAuthorship W2950585616A5023363049 @default.
- W2950585616 hasAuthorship W2950585616A5043515198 @default.
- W2950585616 hasAuthorship W2950585616A5056222500 @default.
- W2950585616 hasAuthorship W2950585616A5067813217 @default.
- W2950585616 hasBestOaLocation W29505856161 @default.
- W2950585616 hasConcept C111498074 @default.
- W2950585616 hasConcept C111919701 @default.
- W2950585616 hasConcept C113843644 @default.
- W2950585616 hasConcept C115903868 @default.
- W2950585616 hasConcept C121332964 @default.
- W2950585616 hasConcept C129307140 @default.
- W2950585616 hasConcept C149635348 @default.
- W2950585616 hasConcept C157915830 @default.
- W2950585616 hasConcept C163707989 @default.
- W2950585616 hasConcept C177264268 @default.
- W2950585616 hasConcept C17744445 @default.
- W2950585616 hasConcept C199360897 @default.
- W2950585616 hasConcept C199539241 @default.
- W2950585616 hasConcept C26517878 @default.
- W2950585616 hasConcept C26713055 @default.
- W2950585616 hasConcept C2777904410 @default.
- W2950585616 hasConcept C2779662365 @default.
- W2950585616 hasConcept C41008148 @default.
- W2950585616 hasConcept C46304622 @default.
- W2950585616 hasConcept C62520636 @default.
- W2950585616 hasConcept C98045186 @default.
- W2950585616 hasConceptScore W2950585616C111498074 @default.
- W2950585616 hasConceptScore W2950585616C111919701 @default.
- W2950585616 hasConceptScore W2950585616C113843644 @default.
- W2950585616 hasConceptScore W2950585616C115903868 @default.
- W2950585616 hasConceptScore W2950585616C121332964 @default.
- W2950585616 hasConceptScore W2950585616C129307140 @default.
- W2950585616 hasConceptScore W2950585616C149635348 @default.
- W2950585616 hasConceptScore W2950585616C157915830 @default.
- W2950585616 hasConceptScore W2950585616C163707989 @default.
- W2950585616 hasConceptScore W2950585616C177264268 @default.
- W2950585616 hasConceptScore W2950585616C17744445 @default.
- W2950585616 hasConceptScore W2950585616C199360897 @default.
- W2950585616 hasConceptScore W2950585616C199539241 @default.
- W2950585616 hasConceptScore W2950585616C26517878 @default.
- W2950585616 hasConceptScore W2950585616C26713055 @default.
- W2950585616 hasConceptScore W2950585616C2777904410 @default.
- W2950585616 hasConceptScore W2950585616C2779662365 @default.
- W2950585616 hasConceptScore W2950585616C41008148 @default.
- W2950585616 hasConceptScore W2950585616C46304622 @default.
- W2950585616 hasConceptScore W2950585616C62520636 @default.
- W2950585616 hasConceptScore W2950585616C98045186 @default.
- W2950585616 hasLocation W29505856161 @default.
- W2950585616 hasOpenAccess W2950585616 @default.
- W2950585616 hasPrimaryLocation W29505856161 @default.
- W2950585616 hasRelatedWork W1524361563 @default.
- W2950585616 hasRelatedWork W2077629733 @default.
- W2950585616 hasRelatedWork W2295057953 @default.
- W2950585616 hasRelatedWork W2355839849 @default.
- W2950585616 hasRelatedWork W2381045379 @default.
- W2950585616 hasRelatedWork W2392910191 @default.
- W2950585616 hasRelatedWork W2978757589 @default.
- W2950585616 hasRelatedWork W3037877393 @default.
- W2950585616 hasRelatedWork W754947516 @default.
- W2950585616 hasRelatedWork W1575305464 @default.
- W2950585616 isParatext "false" @default.
- W2950585616 isRetracted "false" @default.
- W2950585616 magId "2950585616" @default.
- W2950585616 workType "article" @default.