Timed Model-Based Formal Analysis of a Scheduler of Qplus-Air, an ARINC-653 Compliance RTOS

IEICE Transactions on Information and Systems - Japan
doi 10.1587/transinf.2017edl8090
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Institute of Electronics, Information and Communications Engineers (IEICE)

Related search

Formal Testing of Timed and Probabilistic Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Scheduler of CNC-RGV System Based on STFF Model

2019English

A Comparative Analysis of RTOS and Linux Scalability on an Embedded Many-Core Processor

Journal of Information Processing
2018English

A Framework for Designing an Animated Simulation System Based on Model-Animator-Scheduler Paradigm

1992English

Developing a Formal Model of Argumentation-Based Dialogue

2016English

A Model-Based Privacy Compliance Checker

International Journal of e-Business Research
Computer Science ApplicationsManagement Information Systems
2009English

A Practical Formal Model for Safety Analysis in Capability-Based Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Timed Diagnosability Analysis Based on Chronicles

IFAC Proceedings Volumes
2012English

UVHM: Model Checking Based Formal Analysis Scheme for Hypervisors

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy