IEEE - Institute of Electrical and Electronics Engineers, Inc. - Formal Specification and Analysis of Partitioning Operating Systems by Integrating Ontology and Refinement

Author(s): Yongwang Zhao ; David Sanan ; Fuyuan Zhang ; Yang Liu
Sponsor(s): IEEE Industrial Electronics Society
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 August 2016
Volume: 12
Page(s): 1,321 - 1,331
ISSN (Electronic): 1941-0050
ISSN (Paper): 1551-3203
DOI: 10.1109/TII.2016.2569414
Regular:

Partitioning operating systems (POSs) have been widely applied in safety-critical domains from aerospace to automotive. In order to improve the safety and the certification process of POSs, the... View More

Advertisement