SCIENTIFIC AND TECHNICAL AEROSPACE REPORTS
A Biweekly Publication of the National Aeronautics and Space Administration
VOLUME 44, ISSUE 3 - February 10, 2006
06 AVIONICS AND AIRCRAFT INSTRUMENTATION
Includes all avionics systems, cockpit and cabin display devices, and flight instruments intended for use in aircraft.
For related information see also 04 Aircraft Communications and Navigation; 08 Aircraft Stability and Control; 19 Spacecraft Instrumentation and Astrionics; and 35 Instrumentation and Photography.
20060005097 Newcastle-upon-Tyne Univ., Newcastle, UK
Framework and Supporting Tool for the Model-Based Analysis for Dependable Interactive Systems in the Context of Industrial Design
Loer, K.; Harrison, M.; Nov. 2004; 30 pp.; In English Report No.(s): PB2006-102724; CS-TR-873; Copyright; Avail.: National Technical Information Service (NTIS)
This paper describes a tool to support model checking of interactive systems within an industrial environment. The paper introduces the proposed design framework and the tool that is designed to bridge between those familiar with company practice and the less familiar approach based on model checking. The tool was developed to be used in an avionics design setting. It is currently at a prototype stage. The paper describes the experience of a small sample of designers and the design implications arising from their comments. NTIS
Aerospace Engineering; Systems Engineering
Source: NASA
|
IHS sells products and services designed to meet the needs of today's aviation & aerospace engineers, including:
- Quick access to FAA, JAA, ICAO and UK-CAA information and regulations.
- Validated engineering methods, data, principles, worked examples, programs and related equations on over 1340 specific aerospace, process, structural and mechanical engineering topics.
- The IHS Fasteners eCatalog, providing decision support for the identification, specification and sourcing of aerospace & defense standard fasteners/hardware such as bolts, screws, nuts, washers, rivets, studs, etc.
- Standards documents and collections from the top aerospace & aviation standards development organizations, including SAE International, AIAA, AIA, FAA and NASA.
|