Synthesis of communication schedules for TTEthernet-based mixed-criticality systems
In this paper we are interested in safety-critical distributed systems, composed of
heterogeneous processing elements interconnected using the TTEthernet protocol. We …
heterogeneous processing elements interconnected using the TTEthernet protocol. We …
Modeling and validating launch vehicle onboard software using the spin model checker
R Krishnan, VR Lalithambika - Journal of Aerospace Information …, 2020 - arc.aiaa.org
IN SAFETY-CRITICAL aerospace systems like launch vehicles, satellites, missiles, and
aircraft, the avionics system forms one of the most crucial constituents. The avionics system …
aircraft, the avionics system forms one of the most crucial constituents. The avionics system …
Timeout and calendar based finite state modeling and verification of real-time systems
To overcome the complexity of verification of real-time systems with dense time dynamics,
Dutertre and Sorea proposed timeout and calender based transition systems to model real …
Dutertre and Sorea proposed timeout and calender based transition systems to model real …
Optimal configuration of virtual links for avionics network systems
D An, KH Kim, KI Kim - International journal of aerospace …, 2015 - Wiley Online Library
As the bandwidth and scalability constraints become important design concerns in airborne
networks, a new technology, called Avionics Full Duplex Switched Ethernet (AFDX), has …
networks, a new technology, called Avionics Full Duplex Switched Ethernet (AFDX), has …
Formal verification of PKMv3 protocol using DT-spin
X Zhu, Y Xu, J Guo, X Wu, H Zhu… - … on Theoretical Aspects …, 2015 - ieeexplore.ieee.org
WiMax (Worldwide Interoperability for Microwave Access, IEEE 802.16) is a standard-based
wireless technology, which uses Privacy Key Management (PKM) protocol to provide …
wireless technology, which uses Privacy Key Management (PKM) protocol to provide …
A comparison of AFDX and 1553B protocols using formal verification
R Krishnan, VR Lalithambika - 2018 International Conference …, 2018 - ieeexplore.ieee.org
Safety critical systems like aircrafts, launch vehicles and satellites require a reliable
communication protocol to guarantee their functioning without errors. Equally important is …
communication protocol to guarantee their functioning without errors. Equally important is …
[PDF][PDF] A Feasible Configuration of AFDX Networks for Real-Time Flows in Avionics Systems.
D An, KH Kim, KI Kim - REACTION, 2013 - core.ac.uk
Networks have been proposed to meet unique ADN (Aircraft Data Networks) characteristics
and then standardized as a Part 7 in ARNIC 664. As for this new communication technology …
and then standardized as a Part 7 in ARNIC 664. As for this new communication technology …
Formal analysis of the PKMv3 protocol
X Zhu, Y Xu, X Li, J Guo, H Zhu… - Mobile Networks and …, 2018 - Springer
Abstract WiMax (Worldwide Interoperability for Microwave Access, IEEE 802.16) is a
standard-based wireless technology, which uses Privacy Key Management (PKM) protocol …
standard-based wireless technology, which uses Privacy Key Management (PKM) protocol …
Modelling and validating 1553B protocol using the SPIN model checker
R Krishnan, VR Lalithambika - 2018 10th International …, 2018 - ieeexplore.ieee.org
The goal of this work is to validate a communication protocol used in safety critical systems
using formal verification. The 1553B protocol, a widely used communication standard in …
using formal verification. The 1553B protocol, a widely used communication standard in …
A real-time concurrent constraint calculus for analyzing avionic systems embedded in the ima connected through ttethernet
Abstract The Integrated Modular Avionics (IMA) architecture and the Time-Triggered
Ethernet (TTEthernet) network have emerged as the key components of a typical …
Ethernet (TTEthernet) network have emerged as the key components of a typical …