NDLI: Autonomous real time requirements tracing

Content Provider	IEEE Xplore Digital Library
Author	Plattsmier, G. Stetson, H.
Copyright Year	2014
Description	Author affiliation: Teledyne Brown Eng., Huntsville, AL, USA (Stetson, H.) \|\| Marshall Space Flight Center, Huntsville, AL, USA (Plattsmier, G.)
Abstract	One of the more challenging aspects of software development is the ability to verify and validate the functional software requirements dictated by the Software Requirements Specification (SRS) and the Software Detail Design (SDD). Insuring the software has achieved the intended requirements is the responsibility of the Software Quality team and the Software Test team. The utilization of Timeliner-TLX™ Auto-Procedures for relocating ground operations positions to ISS automated on-board operations has begun the transition that would be required for manned deep space missions with minimal crew requirements. [1] This transition also moves the auto-procedures from the procedure realm into the flight software arena and as such the operational requirements and testing will be more structured and rigorous. The auto-procedures would be required to meet NASA software standards as specified in the Software Safety Standard (NASA-STD-8719), the Software Engineering Requirements (NPR 7150), the Software Assurance Standard (NASA-STD-8739) and also the Human Rating Requirements (NPR-8705). The Autonomous Fluid Transfer System (AFTS) test-bed utilizes the Timeliner-TLX™ Language for development of autonomous command and control software. The Timeliner-TLX™ system has the unique feature of providing the current line of the statement in execution during real-time execution of the software. The feature of execution line number internal reporting unlocks the capability of monitoring the execution autonomously by use of a companion Timeliner-TLX™ sequence as the line number reporting is embedded inside the Timeliner-TLX™ execution engine. This negates I/O processing of this type data as the line number status of executing sequences is built-in as a function reference. This paper will outline the design and capabilities of the AFTS Autonomous Requirements Tracker, which traces and logs SRS requirements as they are being met during real-time execution of the targeted system. It is envisioned that real time requirements tracing will greatly assist the movement of auto-procedures to flight software enhancing the software assurance of auto-procedures and also their acceptance as reliable commanders.
Sponsorship	IEEE Aerosp. Electron. Syst. Soc.
Starting Page	1
Ending Page	9
File Size	236860
Page Count	9
File Format	PDF
e-ISBN	9781479916221
DOI	10.1109/AERO.2014.6836215
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2014-03-01
Publisher Place	USA
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Fluids Software systems Real-time systems Valves Standards Encoding
Content Type	Text
Resource Type	Article

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

Software engineering for distributed autonomous real-time systems

A metamodel for tracing requirements of real-time systems

Tracing interrupts in embedded software

Real-time feedback for Jawi characters tracing activity

The pretreatment of Chinese character database based on IS010646

Requirements for holonic manufacturing systems control

Autonomous real time requirements tracing

Key role of value-oriented requirements to develop real-time database systems

Behavioral Specification of Real-Time Requirements

Autonomous real time requirements tracing

Similar Documents

Software engineering for distributed autonomous real-time systems

A metamodel for tracing requirements of real-time systems

Tracing interrupts in embedded software

Real-time feedback for Jawi characters tracing activity

The pretreatment of Chinese character database based on IS010646

Requirements for holonic manufacturing systems control

Autonomous real time requirements tracing

Key role of value-oriented requirements to develop real-time database systems

Behavioral Specification of Real-Time Requirements

Autonomous real time requirements tracing