NDLI: Research on test requirement modeling for software-intensive avionics and the tool implementation

Please wait, while we are loading the content...

2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC)

2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC)

2013 IEEE/AIAA 32nd Digital Avionics Systems Conference (DASC)

2012 IEEE/AIAA 31st Digital Avionics Systems Conference (DASC)

2011 IEEE/AIAA 30th Digital Avionics Systems Conference

29th Digital Avionics Systems Conference

2009 IEEE/AIAA 28th Digital Avionics Systems Conference

2008 IEEE/AIAA 27th Digital Avionics Systems Conference

2007 IEEE/AIAA 26th Digital Avionics Systems Conference

Table of contents

Automation tools for high-precision taxiing

4D trajectory departure traffic flow management concepts utilizing user-preferred trajectories

ERASMUS: a new path for 4d trajectory-based enablers to reduce the traffic complexity

Time based metering as a component of performance-based air traffic management

Designing 4-D trajectories for super-dense operations given weather constraints

Bringing the 4D trajectory concept to an operational reality

Green trajectories in high traffic TMAs

Using 4DT FMS data for green approach, A-CDA, at Stockholm Arlanda airport

Advantages of area navigation and 4 dimensional ATM by avoidance of solutions to 3 dimensional problems

Performance analysis of arrival management with 3D paths and speed control

Analysis of FMS-generated trajectory prediction accuracy and sensitivity

A model to 4D descent trajectory guidance

Use of a high precision tma weather model in time-based operations

Trajectory computation Infrastructure based on BADA Aircraft Performance Model

Preliminary results for a robust trajectory prediction method using advanced flight data

4D Trajectories: A functional data perspective

Flight validation of downlinked flight management system 4D trajectory

Use of aircraft intent data for Performance-based ATM operations

Ground and flight deck alternatives for terminal merging, sequencing, and spacing for arrivals

The Aircraft Intent Description Language: A key enabler for air-ground synchronization in Trajectory-Based Operations

Study of the required time of arrival function of current FMS in an ATM context

Evaluation of the national airspace system aggregate performance sensitivity

Aircraft trajectory based network centric applications

NEO (NextGen TBOs) Provided by Multi-Agency Surveillance SOA (SDN)

Air Traffic Management system configuration with Kolona™ Mobile Object Technology

Transitioning from federated avionics architectures to Integrated Modular Avionics

Integrating Modular Avionics: A new role emerges

General aviation Light Transport Aircraft avionics: Integration and system tests

Application of a civil Integrated Modular Architecture to military transport aircraft

Constraint-based design and allocation of shared avionics resources

Future generation military avionics fiber optics photonics packaging challenges

Advancing open standards in Integrated Modular Avionics: An industry analysis

High assurance middleware across GPPS, DSPS and FPGAS for avionics

Self-adaptive component-based interoperability framework for real-time systems

Obsolescence management outlook with time-triggered architecture (TTA)

IRIG 106 Chapter 10 standardizes MIL-STD-1553B data recording

Open standards for airport databases — ARINC 816

Formal safety analysis of mode transitions in aircraft flight control system

Derating concerns for microprocessors used in safety critical applications

Improved availability using re-configuration algorithm in a flight critical system

Aircraft health management tool: A comprehensive user interface

Fault detection identification and reconfiguration of flight control system using IMM estimator

Portable electronic devices (PEDS) interference path coupling with aircraft mounted antennae test optimization

Cell phone/w-lan emissions interference with narrow body aircraft communication and navigation systems

Assessing the interference of transmitting portable electronic devices to distance measurement equipment

Prediction of interference pathloss inside b-737 and b-757 using modulated fuzzy logic and neural networks

An analysis of the effects of RFID tags on narrowband instrument landing systems

Network topology and device discovery for flight test systems

Design of distributed IMA using time-triggered architecture (TTA): middleware and design tools

Development of Time Triggered hybrid data bus System for small aircraft digital avionic system

Avionics systems integration using avionics full duplex swithched ethernet

Partitioning Communciations System for safe and secure distributed systems

Assessment of data optical networking architecture using wavelength division multiplexing method for optical sensors

Optimizing continuous descent arrival profiles for implementation in airspace with vertical restrictions

Continuous descent approaches for maximum predictability

Descent profile options for continuous descent arrival procedures within 3d path concept

En-route flight deck-based merging and spacing impact on flight crew operations

Analysis of RNAV arrival operations with descend via clearances at phoenix airport

Realistic generation of input traffic and weather conditions for air traffic simulations

Kinematics-based model for stochastic simulation of aircraft operating in the national airspace system

A tool for visualizing future traffic flow complexity

Future airline schedules for air traffic management concept analysis

An approach to improve ground time predictions for ETMS

Distributed traffic complexity management by preserving trajectory flexibility

Tradeoffs in high density trajectory based operations

Super density operations: identifying the operational limitations to overcome

Self-separation corridors

Atm initiatives on reduced separation minima

Traffic flow management strategies to support super-dense operations in the terminal area

Consistent rendering of air traffic control clearance message sets

Aircraft conflict probe sensitivity to weather forecasts errors

Airspace design process for dynamic sectorisation

A data clustering approach to identify Logical Functional ATFCM Areas

Complexity analysis in the next generation of air traffic management system

System analysis of flight and passenger trip delays in the National Airspace System (NAS)

A methodology to assess the market potential of VLJ-based air taxi services

Safety assessment of Chinese RVSM airspace with Multi- agent based simulation

Improving cooperation between Air Traffic Controllers: a design issue

Error analysis of initial alignment method for inertial platform using kalman filter based fusion algorithm

Nextgen ATS Communications, Navigation, And Surveillance Test Bed

The fleet readiness analysis tool performance based navigation operational forecast

Assessing the extent of avionics changes needed to achieve nextgen”s air traffic management operational improvements

Analysis of advanced flight management systems (FMS), flight management computer (FMC) field observations trials, vertical path

An example of horizontal conflict alert resolution using symbolic reasoning

Assessment of navigation errors on airborne state-based conflict resolution

Aeronautical information and meteorological data-link services

Improvement of atn network over diffserv

Applying service orientation principles in integrated communication environments

Newsky - building a simulation environment for an integrated aeronautical network architecture

Gnss: a balance between most reliable technologies and lowest possible costs

A collisi on avoidance concept for VDL mode 2

Localizer receiver proximity and capture

Nextgen satellite navigation back up study

Kalman filter based schem for calibrating accelerometers of sdins

Real time simulation of strapdown inetial navigation system based on dual quaternion,error estimation and correction

Improving air navigation service for general aviation by using data-link

Providing link-16 on disadvantaged platforms using the multi-role advanced tranceiver

B-AMC a system for future broadband aeronautical multi- carrier communications in the L-BAND

The power of recorded flight data analysis to support ILS sustainment studies

Researcgh on performance of thr air-ground IP/VDLM2 communications system

The ADS-B operational test using VDL mode 4 and UAT surveillance data

An independent technology assessmentfor a future aeronautical communication system based on potential systems like B-VHF

Role of the flight object and 4DT in airspace security

Global control mecahinisms

SVSS: an intelligent video surveillance system for aircraft

Voice services and aviation data networks

An onboard pilot and remote copilot for aviation safety, security & savings

Secure wireless collection and distribution of commercial airplane health data

Exploring an alternative concept for coping with unknown terrain database integrity in an SVS

Real time runway incursion cockpit advisory

EVS: head up or head down

Augemnted reality for tower: using scenarios for describing tower activities

Hover guidance display using perspective objects

Direct alerting to the cockpit for runway incursions

Integrated conflict resolution for efficient autonomous hazard avoidance

Concensus on development approaches for intelligent UAVS

Route (Re-)planning through a hostile, dynamic environment: human biases and heuristics

A display concept for UAV autoland monitoring: rationale, design and evaluation

Increasing UAV capabilities through autopilot and flight plan abstraction

Experiemntal platforms for evaluating sensor technology for UAS collision avoidance

Implementation of autopilot test platform for small aircrafts with reference design of a 2-axis autopilot

Calculation of minimum operational range of GPS-tracker for UAV

Development and testing of a low-cost high-performance navigation solution for UAV applications

Vision based navigation for an unmanned aerial vehicle

Integration of vision and inertial navigation system for landing of an unmanned aerial vehicle

Design of sliding mode control for three axis stabilization of magnetic actuated satellite

Cajun advanced picosatellite experiment

Simulation of attitude control of 3-axis stabilised satellite using thruster system

Fuzzy supervised optimal controller for spacecraft formation flying

Optimization of fuzzy based spin axis orientation control for microsatellite

Techniques for building excellent Operator Machine Interfaces (OMI)

Thrust director evaluation technical report

Attention allocation in Tunnel-in-the-Sky on HUD and HDD for visual flight

Human factors studies evaluating synthetic and peripheral vision displays in general aviation

Cognitive Avionics Toolset For Operator State Classifacation Based On Physiological Signals

Design, integration and evaluation of an application for input of taxiroutes

Changes in roles/responsibilities of Air Traffic Control under precision taxiing

Assessment of controller situation awareness in future terminal RNAV operations

Effects of latency on flight information displays

Design and simulation of multi function up front control panel for low combat aircraft

Software assurance with samate reference dataset, tool standards, and studies

Application migration from linux prototype to deployable ima platform using arinc 653 and open gl

Resolving the algorithms-as-requirements versus algorithms-as-design conundrum

Software code base conversions

Categories for classification of aircraft flight model validation

Research on test requirement modeling for software-intensive avionics and the tool implementation

Approaches to improving real-time java performance and predictability

Research on software testing and evaluation frame

Legal and technical atm common solutions improve air navigation markets

Market aspects and legal framework for galileo programme

How a cots product satisfied an urgent military need

Design and simulation of fiber optic based smart actuation system

An automatic efficient image segmentation using split- merge technique

Estimation of optimum aircraft height above the target through multisensor data fusion

2006 ieee/aiaa 25TH Digital Avionics Systems Conference

[1993 Proceedings] AIAA/IEEE Digital Avionics Systems Conference

24th Digital Avionics Systems Conference

The 23rd Digital Avionics Systems Conference (IEEE Cat. No.04CH37576)

Digital Avionics Systems Conference, 2003. DASC '03. The 22nd

Proceedings. The 21st Digital Avionics Systems Conference

20th DASC. 20th Digital Avionics Systems Conference (Cat. No.01CH37219)

19th DASC. 19th Digital Avionics Systems Conference. Proceedings (Cat. No.00CH37126)

Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings (Cat. No.99CH37033)

17th DASC. AIAA/IEEE/SAE. Digital Avionics Systems Conference. Proceedings (Cat. No.98CH36267)

16th DASC. AIAA/IEEE Digital Avionics Systems Conference. Reflections to the Future. Proceedings

15th DASC. AIAA/IEEE Digital Avionics Systems Conference

Proceedings of 14th Digital Avionics Systems Conference

AIAA/IEEE Digital Avionics Systems Conference. 13th DASC

[1992] Proceedings IEEE/AIAA 11th Digital Avionics Systems Conference

IEEE/AIAA 10th Digital Avionics Systems Conference

9th IEEE/AIAA/NASA Conference on Digital Avionics Systems

Research on test requirement modeling for software-intensive avionics and the tool implementation

Content Provider	IEEE Xplore Digital Library
Author	Meng Gao Deming Zhong Minyan Lu Yongfeng Yin
Copyright Year	2007
Description	Author affiliation: Beijing Univ. of Aeronaut. & Astronaut., Beijing (Meng Gao; Deming Zhong; Minyan Lu; Yongfeng Yin)
Abstract	System-testing is an effective way to improve the quality and reliability of avionic software. Using formalized languages to establish the requirement model is facilitated to increase the automatization degree of system-testing. The quality characteristics of software are demonstrated by system behaviors. UML state chart has formal features, and overcomes drawbacks of the traditional finite state machines, retains the advantages of the finite-state modeling, including the marking of nesting and subsequent states; therefore, state-chart is very suitable for detailed behaviors modeling of realtime software. In this paper, based on object-oriented thinking and using state-chart as the core technology, a modeling method is proposed that is suited to establish the requirement model for software-intensive avionics. The method makes abstraction for avionic system common characters, including data, receiving, sending, scenes, events, conditions and period. Using the requirement model generated from the method, and combining with a certain test case generation strategy, test cases and the surrounding environment simulation models of system under test (SUT) can be automatically generated. As an example, the model for the control function of a missile of an aircraft avionics is established by using the method and the model has succinct, intuitive and user-friendly features. And it is also able to support test data generation for different types of testing. Finally, a brief introduction for the implementation of the test requirement modeling (TRM) tool is made. Index Terms: system testing; avionics; dynamic behaviors; requirement modeling; state chart.
File Size	867934
File Format	PDF
ISBN	9781424411078
DOI	10.1109/DASC.2007.4391962
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2007-10-21
Publisher Place	USA
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Software testing Aerospace electronics Object oriented modeling System testing Automatic testing Software quality Unified modeling language Automata Layout Automatic control state chart system testing avionics dynamic behaviors requirement modeling
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in