NDLI: Retrospective exploration of safety properties in real-time concurrent systems

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)

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

Volume 2 - 1997

Volume 1 - 1997

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

Digital beam forming for tactical airborne radars

The new vision for modeling and simulation in the DoD acquisition process

JSF affordable avionics study

Shaping the National Airspace System for the 21st century

The Flight 2000 avionics suite: paving the way to Free Flight

Cots initiative and cost of S/W for aging avionics upgrades

Ada 95 and software reuse

Designing for determinism: lessons learned from modern real-time avionics applications

A comparison of computer-assisted software reengineering approaches

Automated reengineering for legacy weapon system software

Retrospective exploration of safety properties in real-time concurrent systems

Reconciling avionics database management with security

Experience of applying CORBA middleware to air traffic control automation systems

Have the 1990's changed the "software surgical team"?

A performance study of the concurrency control algorithms for real-time avionics databases

Advanced real-time embedded system tools for intelligent architectures (ARTESIA)

Leveraging an avionics support environment for shared application to multiple platforms

Why engineers should consider formal methods

Integrating system engineering software tools

Real-time checkers: built-in-test for mission-critical software

Application of some explicit formulas for the matrix exponential in linear systems software validation

Fast and flexible development of multichip modules for space and other high-reliability applications

Recent progress in space-based micro-controller design

Employing radiation hardness by design techniques with commercial integrated circuit processes

Design and fabrication of a tri-C30 multichip module building block

Developing plug-and-play spacecraft systems: NASA Goddard Space Flight Center's (GSFC) Essential Services Node (ESN)

Single chip fault tolerant clock for integrated modular avionics

A distributed spacecraft thermal control architecture using the Dallas Semiconductor MicroLan products

Space mission applications of chemical microsensors

Miniature magnetic resonance spectrometers

Design and development of high capacity spaceborn memory modules in the high density interconnect (HDI) technology for the tropical rainfall measuring mission (TRMM)

Multifunctional structures technology experiment on Deep Space 1 mission

Towards an ultra-high density interconnect (UHDI) technology

Efficient heterogeneous three-dimensional packaging at a system level

Low profile DC-DC power converter for 3-D electronics assembly

Controlled flight into terrain and the enhanced ground proximity warning system

The next step toward enhanced situational awareness

Boeing 777 airplane information management system operational experience

ADS-B/CDTI capabilities for near-term deployment: some early results

MEMS application in tactical aircraft systems

Avionics architecture study for air mobility command aircraft

Phenomenology of integrated avionics and the currently fielded aircraft market

Incremental avionics upgrades for legacy aircraft

Structured definition of modular avionics architectures using blueprints

Enhanced fault management for future IMA systems

The ACE family of MIL-STD-1553 terminals gets smaller

Trade study report for commercial candidates in an embedded avionics unified network

Optical communication for advanced avionics systems

Open systems ADA technology demonstration program

Open systems architecture for integrated RF electronics

Further analysis of the CV-580 and B-727 aircraft RF coupling experiment data

EMI from sources in the cargo bay

Electromagnetic susceptibility of installed avionics

Using a decision analysis tool for assessing tradeoffs of hardening commercial aircraft against new E/sup 3/ threats

Open-loop HIRF experiments performed on a fault tolerant flight control computer

Closed-loop HIRF experiments performed on a fault tolerant flight control computer

Wide band modulation of conducted susceptibility signals

On field-to-wire coupling versus conducted injection techniques

The NASA High Intensity Radiated Fields Laboratory

A proposed HIRF test facility for aircraft testing

Recent developments relevant to implementation of a hybrid TEM cell/reverberation chamber HIRF test facility

Statistical study of the distance of closest approach of aircraft to ground based emitters

Computing platform architectures for robust operation in the presence of lightning and other electromagnetic threats

Assessment of analytical codes for use in modeling aircraft onboard EMI threats

Fiber optic backplane for reducing HIRF effects in fault tolerant computing platforms

Boeing's safety assessment processes for commercial airplane designs

The application of failure mode and effect analysis for software in digital fly control systems

Data analysis system for the F-16

Deep space one basebody control: validating the data path from computer to thruster

The TSTAR autonomy test tool

Automated computer aided diagnosis and simulation [airborne secondary mirror assembly]

An open system architecture for integrated RF systems

Electro-optical sensors overview

Processing requirements for the first electro-optic system of the twenty-first century

Passive millimeter wave imaging sensor enhanced vision system

Future NASA spaceborne SAR missions

Design and implementation of network services that provide end-to-end QoS in ATM-based real-time environments

Scalable open architecture project (SOAP) avionics evolution from Federated to Open Systems

Object request broker software technology: applications in an advanced open systems avionics architecture

A minimalist hardware architecture for using commercial microcontrollers in space

Learning attributes for situational awareness in the landing of an autonomous airplane

Fusion of IFF and radar data

Adaptive interacting multiple model tracking of manuevering targets

3D object to 2D image invariance technology for visualization problems

Airborne tactical information management system synthetic environment demonstration

Maritime avionics subsystems and technologies: advanced graphics and data fusion

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

Retrospective exploration of safety properties in real-time concurrent systems

Content Provider	IEEE Xplore Digital Library
Author	Prywes, N. Rehmet, P. Sokolsky, O. Lee, I.
Copyright Year	1997
Description	Author affiliation: Comput. Command & Control Co., Philadelphia, PA, USA (Prywes, N.)
Abstract	Describes using cascading of two existing tools: Hyperbook for source code analysis to facilitate software understanding, and PARAGON, for static analysis of safety-critical real-time systems. The goal is to provide an efficient and scalable toolset that minimizes human interaction during analysis. The toolset operates directly on source code without the need for the user to come up with initial or intermediate specification. Such a specification is constructed automatically during the analysis. The toolset is applicable to analysis of legacy software as well as to validation of new software. It is oriented towards exhaustive static analysis of software, without resorting to simulation. The source code together with the description of its architecture and environment are presented as input. Hyperbook produces a set of state machines that represent the static view of the code. The state machines serve as input to PARAGON. PARAGON reports interleaved events, which are used for software understanding and testing. It can detect flaws such as whether deadlocks are possible or if any catastrophic events may occur. PARAGON can produce diagnostic information that is used to identify the source of the problem. A major concern in software reengineering is the size of the source software. Hyperbook partitions the source code into software units that conform with the given architectural view. PARAGON's formal analysis is performed in a modular and hierarchical fashion.
File Size	725729
File Format	PDF
ISBN	0780341503
DOI	10.1109/DASC.1997.635010
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	1997-10-30
Publisher Place	USA
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Software tools Software safety Real time systems Humans Analytical models Computer architecture Software testing Event detection System recovery Performance analysis
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