Matches in SemOpenAlex for { <https://semopenalex.org/work/W2103738870> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2103738870 abstract "The aviation industry is gradually moving toward the use of integrated modular avionics (IMA) for civilian transport aircraft. An important concern for IMA is ensuring that applications are safely partitioned so they cannot interfere with one another. We have investigated the problem of ensuring safe partitioning and logical noninterference among separate applications running on a shared Avionics Computer Resource (ACR). This research was performed in the context of ongoing standardization efforts, in particular, the work of RTCA committee SC-182, and the recently completed ARINC 653 application executive (APEX) interface standard. We have developed a formal model of partitioning suitable for evaluating the design of an ACR. The model draws from the mathematical modeling techniques developed by the computer security community. This report presents a formulation of partitioning requirements expressed first using conventional mathematical notation, then formalized using the language of SRI''s Prototype Verification System (PVS). The approach is demonstrated on three candidate designs, each an abstraction of features found in real systems." @default.
- W2103738870 created "2016-06-24" @default.
- W2103738870 creator A5047582976 @default.
- W2103738870 date "1998-08-19" @default.
- W2103738870 modified "2023-09-25" @default.
- W2103738870 title "A Formal Model of Partitioning for Integrated Modular Avionics" @default.
- W2103738870 cites W1955947159 @default.
- W2103738870 cites W1977764760 @default.
- W2103738870 cites W2048500751 @default.
- W2103738870 cites W2080914957 @default.
- W2103738870 cites W2113486906 @default.
- W2103738870 cites W2916979590 @default.
- W2103738870 cites W64466485 @default.
- W2103738870 hasPublicationYear "1998" @default.
- W2103738870 type Work @default.
- W2103738870 sameAs 2103738870 @default.
- W2103738870 citedByCount "7" @default.
- W2103738870 countsByYear W21037388702012 @default.
- W2103738870 crossrefType "journal-article" @default.
- W2103738870 hasAuthorship W2103738870A5047582976 @default.
- W2103738870 hasConcept C101468663 @default.
- W2103738870 hasConcept C110251889 @default.
- W2103738870 hasConcept C111498074 @default.
- W2103738870 hasConcept C111919701 @default.
- W2103738870 hasConcept C115903868 @default.
- W2103738870 hasConcept C127413603 @default.
- W2103738870 hasConcept C146978453 @default.
- W2103738870 hasConcept C151730666 @default.
- W2103738870 hasConcept C15792166 @default.
- W2103738870 hasConcept C188087704 @default.
- W2103738870 hasConcept C189956118 @default.
- W2103738870 hasConcept C199360897 @default.
- W2103738870 hasConcept C201995342 @default.
- W2103738870 hasConcept C2777904410 @default.
- W2103738870 hasConcept C2779343474 @default.
- W2103738870 hasConcept C33923547 @default.
- W2103738870 hasConcept C41008148 @default.
- W2103738870 hasConcept C45357846 @default.
- W2103738870 hasConcept C74448152 @default.
- W2103738870 hasConcept C75606506 @default.
- W2103738870 hasConcept C86803240 @default.
- W2103738870 hasConcept C94375191 @default.
- W2103738870 hasConceptScore W2103738870C101468663 @default.
- W2103738870 hasConceptScore W2103738870C110251889 @default.
- W2103738870 hasConceptScore W2103738870C111498074 @default.
- W2103738870 hasConceptScore W2103738870C111919701 @default.
- W2103738870 hasConceptScore W2103738870C115903868 @default.
- W2103738870 hasConceptScore W2103738870C127413603 @default.
- W2103738870 hasConceptScore W2103738870C146978453 @default.
- W2103738870 hasConceptScore W2103738870C151730666 @default.
- W2103738870 hasConceptScore W2103738870C15792166 @default.
- W2103738870 hasConceptScore W2103738870C188087704 @default.
- W2103738870 hasConceptScore W2103738870C189956118 @default.
- W2103738870 hasConceptScore W2103738870C199360897 @default.
- W2103738870 hasConceptScore W2103738870C201995342 @default.
- W2103738870 hasConceptScore W2103738870C2777904410 @default.
- W2103738870 hasConceptScore W2103738870C2779343474 @default.
- W2103738870 hasConceptScore W2103738870C33923547 @default.
- W2103738870 hasConceptScore W2103738870C41008148 @default.
- W2103738870 hasConceptScore W2103738870C45357846 @default.
- W2103738870 hasConceptScore W2103738870C74448152 @default.
- W2103738870 hasConceptScore W2103738870C75606506 @default.
- W2103738870 hasConceptScore W2103738870C86803240 @default.
- W2103738870 hasConceptScore W2103738870C94375191 @default.
- W2103738870 hasLocation W21037388701 @default.
- W2103738870 hasOpenAccess W2103738870 @default.
- W2103738870 hasPrimaryLocation W21037388701 @default.
- W2103738870 hasRelatedWork W134459656 @default.
- W2103738870 hasRelatedWork W1498782709 @default.
- W2103738870 hasRelatedWork W1557405201 @default.
- W2103738870 hasRelatedWork W1581526118 @default.
- W2103738870 hasRelatedWork W1604467198 @default.
- W2103738870 hasRelatedWork W1931552714 @default.
- W2103738870 hasRelatedWork W2020968148 @default.
- W2103738870 hasRelatedWork W2118823527 @default.
- W2103738870 hasRelatedWork W2127249717 @default.
- W2103738870 hasRelatedWork W2146957995 @default.
- W2103738870 hasRelatedWork W25288640 @default.
- W2103738870 hasRelatedWork W2556100906 @default.
- W2103738870 hasRelatedWork W2589441347 @default.
- W2103738870 hasRelatedWork W3048040568 @default.
- W2103738870 hasRelatedWork W3049745638 @default.
- W2103738870 hasRelatedWork W3190744146 @default.
- W2103738870 hasRelatedWork W3207537580 @default.
- W2103738870 hasRelatedWork W349686528 @default.
- W2103738870 hasRelatedWork W47665713 @default.
- W2103738870 hasRelatedWork W79733723 @default.
- W2103738870 isParatext "false" @default.
- W2103738870 isRetracted "false" @default.
- W2103738870 magId "2103738870" @default.
- W2103738870 workType "article" @default.