Aug 4, 2016 · The refinement of formal specifications eases the formalization of complex systems, provides the certifi- able assurance and safety of POSs, and ...
For the purpose of reusability and efficiency, a novel methodology by integrating ontology and refinement is proposed to formally specify and analyze POSs in ...
May 17, 2016 · For the purpose of reusability and efficiency, a novel methodology by integrating ontology and refinement is proposed to formally specify and ...
Bibliographic details on Formal Specification and Analysis of Partitioning Operating Systems by Integrating Ontology and Refinement.
Formal Specification and Analysis of Partitioning Operating Systems by Integrating Ontology and Refinement. https://doi.org/10.1109/tii.2016.2569414 ·.
A Comprehensive Formal Specification of ARINC 653 With ...
www.researchgate.net › publication › 38...
Oct 3, 2024 · As the predominant standard for partitioning operating systems, ARINC 653 has been applied in many critical domains.
A Comprehensive Formal Specification of ARINC 653 With ...
onlinelibrary.wiley.com › doi › abs › stvr
Oct 1, 2024 · As the predominant standard for partitioning operating systems, ARINC 653 has been applied in many critical domains.
Formal specification and analysis of partitioning operating systems by integrating ontology and refinement. Y Zhao, D Sanán, F Zhang, Y Liu. IEEE Transactions ...
We have developed a full formal specification for ARINC 653 which is the de-facto standard for partitioning operating system in aerospace and avionics. We found ...
Nov 21, 2023 · This article proposes a specification method for concurrency on a multi-core platform using Event-B, and a refinement structure for the complicated ARINC 653 ...