Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
16
Analysis of Regulatory Guidance for Health Monitoring
, 2000
"... This report summarizes the results of the ARINC analysis of regulatory issues on the implementation of HM systems. 1.2. SCOPE AND APPROACH ..."
Abstract
-
Cited by 2 (1 self)
- Add to MetaCart
This report summarizes the results of the ARINC analysis of regulatory issues on the implementation of HM systems. 1.2. SCOPE AND APPROACH
Analysis of Regulatory Guidance for Health Monitoring
, 2000
"... This report summarizes the results of the ARINC analysis of regulatory issues on the implementation of HM systems. 1.2. SCOPE AND APPROACH ..."
Abstract
- Add to MetaCart
This report summarizes the results of the ARINC analysis of regulatory issues on the implementation of HM systems. 1.2. SCOPE AND APPROACH
A compositional framework for avionics (ARINC653) systems
, 2009
"... A Compositional Framework for Avionics (ARINC-653) Systems Cyber-physical systems (CPSs) are becoming all-pervasive, and due to increasing complexity they are designed using component-based approaches. Temporal constraints of such complex CPSs can then be modeled using hierarchical scheduling framew ..."
Abstract
-
Cited by 6 (4 self)
- Add to MetaCart
A Compositional Framework for Avionics (ARINC-653) Systems Cyber-physical systems (CPSs) are becoming all-pervasive, and due to increasing complexity they are designed using component-based approaches. Temporal constraints of such complex CPSs can then be modeled using hierarchical scheduling
Validate, simulate and implement ARINC653 systems using the AADL
"... Safety-critical systems are widely used in different domains and lead to an increasing complexity. Such systems rely on specific ser-vices such space and time isolation as in the ARINC653 avionics standard. Their criticality requires a carefully driven design based on an appropriate development proc ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
Safety-critical systems are widely used in different domains and lead to an increasing complexity. Such systems rely on specific ser-vices such space and time isolation as in the ARINC653 avionics standard. Their criticality requires a carefully driven design based on an appropriate development
A component model for hard-real time systems: Ccm with arinc-653. Software: Practice and Experience
"... Size and complexity of software in safety critical system is increasing at a rapid pace. One technology that can be used to mitigate this complexity is component-based software devel-opment. However, in spite of the apparent benefits of a component-based approach to devel-opment, little work has bee ..."
Abstract
-
Cited by 2 (2 self)
- Add to MetaCart
of a middleware that supports this component model. This middleware combines an open source CORBA Component Model (CCM) imple-mentation (MICO) with ARINC-653: a state of the art RTOS standard, (3) finally; we describe a modeling environment that enables design, analysis, and deployment of component
AADL Modeling and Analysis of Hierarchical Schedulers
"... A system based on a hierarchical scheduler is a system in which the processor is shared between several collaborative schedulers. Such schedulers exist since 1960 and they are becoming more and more investigated and proposed in reallife applications. For example, the ARINC 653 international standard ..."
Abstract
-
Cited by 12 (3 self)
- Add to MetaCart
simulator. With these Ada packages, Cheddar is able to perform analysis by scheduling simulation of AADL systems composed of hierarchical schedulers. An AADL model of the ARINC 653 hierarchical scheduling is described as an illustration.
Response time analysis in AFDX networks
"... The ARINC-664, Part 7 (AFDX) standard defines a communications network based on Ethernet and the UDP/ IP protocols. Contrary to general-purpose Ethernet, the timing behavior in AFDX is deterministic due to the use of special network switches and end-systems with static routing tables and traffic reg ..."
Abstract
- Add to MetaCart
The ARINC-664, Part 7 (AFDX) standard defines a communications network based on Ethernet and the UDP/ IP protocols. Contrary to general-purpose Ethernet, the timing behavior in AFDX is deterministic due to the use of special network switches and end-systems with static routing tables and traffic
Synchronous modeling of avionics applications using the Signal language
- In Proc of the 9th IEEE Real-time/Embedded technology and Applications symposium (RTAS’2003), May 2003, IEEE
"... In this paper, we discuss a synchronous, component-based approach to the modeling of avionics applications. The specification of the components relies on the avion-ics standard ARINC 653 and the synchronous language SIGNAL is considered as modeling formalism. The POLY-CHRONY tool-set allows for a se ..."
Abstract
-
Cited by 23 (7 self)
- Add to MetaCart
In this paper, we discuss a synchronous, component-based approach to the modeling of avionics applications. The specification of the components relies on the avion-ics standard ARINC 653 and the synchronous language SIGNAL is considered as modeling formalism. The POLY-CHRONY tool-set allows for a
A probabilistic analysis of end-to-end delays on an AFDX avionic network
- IEEE Trans. Ind. Informat
, 2009
"... AFDX (Avionics Full Duplex Switched Ethernet, AR-INC 664) developed for the Airbus A380 represents a ma-jor upgrade in both bandwidth and capability. Its reliance on Ethernet technology helps to lower some implementa-tion costs, but guaranteed service presents challenges for system designers. An ana ..."
Abstract
-
Cited by 15 (4 self)
- Add to MetaCart
AFDX (Avionics Full Duplex Switched Ethernet, AR-INC 664) developed for the Airbus A380 represents a ma-jor upgrade in both bandwidth and capability. Its reliance on Ethernet technology helps to lower some implementa-tion costs, but guaranteed service presents challenges for system designers
Impact of Dependable Software Development Guidelines on Timing Analysis
"... Abstract — The knowledge of the worst-case execution time (WCET) of real-time tasks is mandatory to ensure correct timing behavior of real-time systems. However, in practice an exact WCET analysis is often intractable due to limitations in computability and analysis complexity of real-size programs. ..."
Abstract
- Add to MetaCart
Guidelines include C programming guidelines that improve the WCET analyzability of software. Finally, ARINC 653, a standard for software architectures of avionic systems, provides examples on how to simplify timing analysis already at the design level as early as in system design. The argument of this paper
Results 1 - 10
of
16
