A modeling and verification approach to the design of distributed IMA architectures using TTEthernet
Abstract Integrated Modular Avionics (IMA) architectures complemented with Time-Triggered
Ethernet (TTEthernet) provides a strong platform to support the design and deployment of …
Ethernet (TTEthernet) provides a strong platform to support the design and deployment of …
TTE 网络混合关键性通信的仿真与性能分析
贾琪明， 李峭， 熊华钢 - Electronics Optics & Control, 2015 - opticsjournal.net
摘要时间触发以太网(Time Triggered Ethernet, TTE) 扩展定义了以太网的MAC 层,
为包含时间触发通信在内的分布式混合关键性实时系统提供了支持. 用面向对象的方法对网络 …
为包含时间触发通信在内的分布式混合关键性实时系统提供了支持. 用面向对象的方法对网络 …
Simulation-based verification of avionic systems deployed on IMA architectures
To build reliable avionic applications, we interconnect Integrated Modular Avionics (IMA)
architectures with Time-Triggered Ethernet (TT-Ethernet). These systems have direct …
architectures with Time-Triggered Ethernet (TT-Ethernet). These systems have direct …
Safety analysis of integrated modular avionics system based on FTGPN method
H Yang, Y Sun, L Li, Y Guo, S Su… - International Journal of …, 2020 - Wiley Online Library
Compared with federated avionic architecture, the integrated modular avionic (IMA) system
architecture in the aircraft can provide more sophisticated and powerful avionic functionality …
architecture in the aircraft can provide more sophisticated and powerful avionic functionality …
Modular Spacecraft Architectures
I Chechile, I Chechile - NewSpace Systems Engineering, 2021 - Springer
Designers will claim by default that their designs are modular. But experience shows they
tend to create largely integral architectures, often under the pretense of vertical integration …
tend to create largely integral architectures, often under the pretense of vertical integration …
Specifying avionic embedded systems by denotations of the time-triggered constraint-based calculus
The Integrated Modular Avionics (IMA) architecture and the Time-Triggered Ethernet
(TTEthernet) network have emerged as the key components of a typical architecture model …
(TTEthernet) network have emerged as the key components of a typical architecture model …
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 …
Non-functional Attribute Modeling and Verification Method for Integrated Modular Avionics System
P Guo, F Liu, N Wu, Y Li, N Hu - … & Management: Proceedings of the 4th …, 2021 - Springer
Aiming at the shortcomings of standardized design and early verification of integrated
modular avionics systems, this paper proposes a non-functional attribute modeling and …
modular avionics systems, this paper proposes a non-functional attribute modeling and …
Resource Management and Performance Analysis of Model-Based Control System Software Engineering Using AADL
KS Kushal, M Nanda, J Jayanthi - … Intelligence in Data Mining—Volume 2 …, 2016 - Springer
The key principles involved in abstraction, encapsulation, design and development phases
of the software structures of a system is, management of their complexities. These structures …
of the software structures of a system is, management of their complexities. These structures …