Zobrazeno 1 - 10
of 1 496
pro vyhledávání: '"ARINC 653"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Cheptsov, Vitaly, Khoroshilov, Alexey
Modern airborne operating systems implement the concept of robust time and resource partitioning imposed by the standards for aerospace and airborne-embedded software systems, such as ARINC 653. While these standards do provide a considerable amount
Externí odkaz:
http://arxiv.org/abs/2312.01436
Publikováno v:
Aerospace, Vol 11, Iss 11, p 915 (2024)
ARINC 653 Part 1 Supplement 5 (ARINC 653P1-5) provides temporal partitioning capabilities for real-time applications running on the multicore processors in Integrated Modular Avionics (IMAs) systems. However, it is difficult to schedule a set of ARIN
Externí odkaz:
https://doaj.org/article/8d4c2b640ddc4415a91dbab26b1d09bd
Autor:
Wang, Ziyan, Zhang, Yan
In this paper, by using the formal language \emph{Circus}, we give a formal specification of an operating system based on ARINC 653 standard. Our specification includes interrupt handling, time and memory management, partition and process scheduling,
Externí odkaz:
http://arxiv.org/abs/2206.14189
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Cheptsov, Vitaly, Khoroshilov, Alexey
Publikováno v:
2018 Ivannikov Ispras Open Conference (ISPRAS), 2018, pp. 9-15
Existing standards for airborne-embedded software systems impose a number of requirements applicable to the software development cycle of hard real-time operating systems found in modern aircraft. The measures taken are meant to reduce the risks of u
Externí odkaz:
http://arxiv.org/abs/2106.01766
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
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 ARI
Externí odkaz:
http://arxiv.org/abs/1508.06479
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.