NDLI: Formal analysis for real-time scheduling

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

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)

Volume 2 - 2000

Volume 1 - 2000

The 19th Digital Avionics Systems Conference Proceedings

A case-study application of RTCA DO-254: design assurance guidance for airborne electronic hardware

WinSURE: a new Windows interface to the SURE program

Functional failure path analysis of airborne electronic hardware

Executable formal models for validation and specless verification

Verifying a pipelined microprocessor

A systematic process for changing safety-critical software

Making formal methods practical

Modeling and marshaling: making tests from model checker counterexamples

Software reliability prediction of digital fly control system

Self-checking software for information assurance in the 21st century

An empirical evaluation of the MC/DC coverage criterion on the HETE-2 satellite software

A COTS-based solution for reliable upgrade of legacy systems

Scheduling tool and algorithm for integrated modular avionics systems

Redundancy management system for the X-33 vehicle and mission computer

Integrated flight control systems-a new paradigm for an old art

Developing high assurance avionics systems with the SCR requirements method

Using model checking for verification of partitioning properties in integrated modular avionics

Specification based prototyping of control systems

Formal analysis for real-time scheduling

Analysis of real-time code by model checking

Formal analysis of parallel landing scenarios

Software-enabled adaptive mode transition control for autonomous unmanned vehicles

Avionics system for a small unmanned helicopter performing aggressive maneuvers

Technologies for reliable autonomous control (TRAC) of UAVs

Hybrid control for aggressive maneuvering of autonomous aerial vehicles

Synthetic vision versus the pilot's existing view

Synthetic vision displays for instrument landings and traffic awareness-development and flight testing

High performance projection displays for avionics cockpits

Synthetic vision information system

Flight simulation in synthetic environments

Coordinated flight control along a complex flight-path

Real time passive millimeter-wave imaging from a helicopter platform

Peripheral scan hazard detection system

Enhanced/synthetic vision test and evaluation

Aeronautical database as a critical system element

Description of a database server architecture for synthetic vision system applications

A terrain database integrity monitor for synthetic vision systems

Evaluation of collision alerting system requirements for paired approach

Computing provably safe aircraft to aircraft spacing for closely spaced parallel approaches

Multilateration system development history and performance at Dallas/Ft. Worth Airport

Runway incursion prevention using an advanced surface movement guidance and control system (A-SMGCS)

Flight test experience with an electromechanical actuator on the F-18 Systems Research Aircraft

Party-line communications in a data link environment

Integration of local area augmentation system and inertial navigation system for aircraft surface movement guidance

An investigation of EME as a potential cause of fuel tank ignition

Estimation of electromagnetic energy coupling to a wire residing inside a transport aircraft due to external radiating sources

The use of transmission line impedance measurements to determine electromagnetic comparability of FQIS wiring installations

RF coupling into the fuel tank of a large transport aircraft from intentionally transmitting PEDS in the passenger cabin

Shielding effectiveness, statistical characterization, and the simulation of a two-dimensional reverberation chamber using finite element techniques

Some implications of a single aspect angle electromagnetic compatibility test

High-power radiated susceptibility testing of rescue hoist systems in reverberation chambers

Path loss measurements on cylindrical sections. Determining path loss variations with distance and radius at VHF, L band, and GPS/SatCom

Comparison of cylindrical mock-up path loss data to operational aircraft data. Determining path loss variations with distance and radius at VHF, L band and GPS/Satcom

Managed aircraft wiring health directly relates to improved avionics performance

Concept for automatic reporting of Global Positioning System radio frequency interference

Protecting GPS availability from EMI

Electromagnetic interference evaluation of an intercommunications system on a Navy aircraft

Characterization of a flight control computer with rollback recovery

Analysis of memory bit errors induced by electromagnetic interference in closed-loop digital flight control systems

Reconfiguration of flight control systems for actuator failures

Integrated methods of diagnosing and forecasting aviation weather

Integrated turbulence forecasting algorithm meteorological evaluation

Cockpit integration of uplinked weather radar imagery

An evaluation of using lightning data to improve aviation oceanic convective forecasting for the Gulf of Mexico

National Convective Weather Forecast: airline dispatcher assessment

Integrated icing diagnostic algorithm assessment at regional airlines

Demonstration on the usability of the 1999 Terminal Convective Weather Forecast (TCWF) product for air traffic control managers

The safe zone for paired closely spaced parallel approaches: implications for procedures and automation

A statistical analysis of approach winds at capacity-restricted airports

Wake vortex transport in proximity to the ground

Development of a wake vortex spacing system for airport capacity enhancement and delay reduction

Safety enhancement of payload transfer operations employing wireless data communication

Storage technologies and issues for military suppliers

Rebuilding the requirements process for aging avionics

The cost of COTS

COTS Score: an acceptance methodology for COTS software

A systems engineering approach to behavioral predictions of an advanced air traffic management concept

Using OPNET to evaluate Fibre Channel as an avionics interconnection system

Systems engineering-(with a generic model)-a key to competitive advantage

Automating software specification, design and synthesis for computer aided control system design tools

Open systems architecture solutions for military avionics testing

An open control platform for reconfigurable, distributed, hierarchical control systems

A real-time Linux based system for flight testing of remotely piloted vehicles

Feasibility demonstration of an aircraft performance risk assessment model

Transition to an open system architecture [for weapon systems]

The feasibility of applying object-oriented technologies to operational flight software

Mission computer replacement prototype for Special Operations Forces aircraft: an application of commercial technology to avionics

Rotorcraft Open Systems Avionics (ROSA)

Quality of service management for real-time embedded information systems

Predicting the reliability and safety of commercial software in advanced avionic systems

Open systems avionics network to replace MIL-STD-1553

Digital messaging on the Comanche helicopter

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

Formal analysis for real-time scheduling

Content Provider	IEEE Xplore Digital Library
Author	Dutertre, B. Stavridou, V.
Copyright Year	2000
Description	Author affiliation: SRI Int., Menlo Park, CA, USA (Dutertre, B.)
Abstract	A sound theory of real-time scheduling is necessary to support the engineering of real-time software applications. Developing scheduling results using formal methods helps provide the high level of assurance required in safety-critical domains. We propose a formalization methodology relying on state-machine models and on a library of commonly applicable properties. A case study has shown that rigorous and a detailed verification of nontrivial scheduling results can be performed within reasonable time limits, using modern theorem-proving tools such as PVS. It is still necessary to develop and extend such verification efforts to the increasingly complex scheduling algorithms that may one day be used in safety-critical applications. Other aspects relevant to the avionics domain remain insufficiently explored by the formal methods community. For example, little has been done in the analysis of distributed real-time systems, where difficult problems mixing communication, processing, fault tolerance must be addressed. Formal methods are especially valuable in such complex settings, where informal proofs guided by intuition are insufficient and where other validation approaches such as testing are incomplete. Formal methods should become an essential tool for validating the most critical aspects of real-time systems, such as the partitioning mechanisms required for fault isolation in integrated avionics. Real-time scheduling problems are an ideal application area for formal methods since they are subtle and complex, must be certified to the highest degrees of assurance for supporting critical applications, and thus require very precise, detailed, and rigorous verification.
File Size	660407
File Format	PDF
ISBN	0780363957
DOI	10.1109/DASC.2000.886891
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2000-10-07
Publisher Place	USA
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Processor scheduling Real time systems Aerospace electronics Timing Application software Operating systems Hardware Computer architecture Kernel Protocols
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