Programmiersprache für Avionik, AFC, FMC, FADEC usw.

[Toby-SRMD11]

Hallo

 

Weiss vielleicht jemand, nach welchen Methoden und in welchen Programmiersprachen üblicherweise die Software für Avionics, AFC und FMC und für das FADEC entwickelt worden sind bzw. entwickelt werden?

 

Ich weiss, dass z.B. für die Space Shuttles eine eigene Programmiersprache namens HAL/5 entwickelt wurde. In den USA schreibt das DOD für jegliche militärische Software ADA als Programmiersprache vor. Ich kenne selber Realtime Software Projekte, die in ADA entwickelt wurden, und ich kann mir durchaus vorstellen, dass auch sämtliche in Amerikanischen Kampfjets geladene Software in ADA programmiert ist. Vielleicht auch die Software der zivilen Airliners von Boeing und McDonnell Douglas? Insbesondere die Software in der MD-11?

 

Mit bestem Dank und vielen Grüssen, Toby

[Gast StuKa]

Airbus benutzt SPARK für ihre FACs welche nach Norm IEC 1508 das höchste von vier Levels fuer sicherheitskritische Software erfüllt, nämlich SIL4. SPARK ist ein subset der Programmiersprache Ada (SPADE Ada Kernel=SPARK). Ada wiederum ist ein enger Verwandter von Pascal. Die heutzutage eingesetzte Version ist meist Ada 95. Der Vorteil dieser Programmiersprache liegt in der Selbstanalyse, welche jedoch nicht perfekt ist wie der Absturz der Ariane 5 gezeigt hattte.Da SPARK auch die E6 Evaluation nach ITSEC erfüllt, (für krypto Sicherheitssoftware) wird diese Programmiersprache auch im militärischen Sektor angewandt. Was die Avionik betrifft, welche meist von allerseits bekannten Herstellern wie Honeywell, Collins, Raytheon oder L3Com etc. stammt, die in allen großen Airlinern zu finden sind gibt es keine großen Unterschiede von Boeing zu Airbus.

 

NACHTRÄGLICHES EDIT

 

diese Lfz benutzen SPARK:

 

Airbus 320, 330, 340

Beechjet 400A (US business jet)

Beech Starship I (US business turboprop)

Beriev BE-200 (Russian forest fire patrol plane)

Boeing 737-200, -400, -500, -600, -700, -800

Boeing 747-400

Boeing 757

Boeing 767

Boeing 777 (an "Ada plane" with nearly all software in Ada)

Canadair Regional Jet

Embraer CBA-123 and CBA-145 (Brazilian-made regional airliners)

Fokker F-100 (Dutch DC-9-size airliner - American Airlines flies these)

Ilyushin 96M (Russian jetliner)

Lockheed-Martin Hercules "hurricane chaser"

Saab 2000

Tupolev TU-204 (Russian jetliner)

BARCO Avionics Control Display Manager

Dassault Falcon 2000 (EFIS)

MD11 EIS von Honeywell ebenso (allerdings noch Ada 83)

 

diese Raketen:

 

Ariane 4 and 5

Atlas V

 

diese Sateliten:

 

Hughes 601 and 702 Series

INMARSAT - voice and data communications to ships and mobile communications

Intelsat VII

NSTAR (Nippon Telephone and Telegraph)

PanAmSat (South American Intelsat-like consortium)

 

diese wissenschaftlichen Weltraumvehikel ebenso:

 

Cassini command subsystem

Cassini Cosmic Dust Analyzer

Chandra X-ray Observatory

ENVISAT-1 - European Environmental Satellite

European Space Agency SOHO

European Space Agency Gravity and Ocean Circulation Explorer (GOCE)

European Space Agency Huygens

European Space Agency XMM - Newton

European Space Agency Infrared Space Telescope

European Space Agency Mars Express

European Space Agency Beagle2 Project

European Space Agency Gamma Ray Observatory

European Space Agency Rosetta "Comet Chaser"

ICESat - Ice, Cloud and Land Elevation Satellite

International Space Station

Mark IVB Meteorological Satellite Ground Station

EOS - NASA's Earth Observing System:

Aqua (Water Observations)

Aura (Atmospheric Observations)

Terra (Land Observations)

GOES

NASA Microwave Anisotropy Probe Hybrid Dynamic Simulator

NASA Space Shuttle Training Aircraft

NASA Space Station Training Facility

NASA/NOAA/USAF NPOESS Preparatory Project (NPP)

NASA QuikSCAT

NASA ICESat

Oersted - satellite to study Earth's magnetic fields

QuickBird

Roemer (Danish small satellite)

RadarSat (Canada)

Sandia Lab Multispectral Thermal Imager (MTI)

UK Space Technology Research Vehicle

 

Flugsicherungssoftware in:

 

Australia

Belgium

Brazil

Canada

China

Czech Republic

Denmark

Finland

France

Germany

Greece

Hong Kong

Hungary

India

Ireland

Kenya

Netherlands

New Zealand

Pakistan

Scotland

Singapore

South Africa

Spain

Sweden

Taiwan

United Kingdom

United States

Vietnam

 

ich hoffe man hängt mich nicht ;-) beim Militär:

 

Australian Air Force P3 Surveillance Aircraft

Australian Navy Frigate Command and Control System

Australian Jindalee Over-the-Horizon Radar

Australian WedgeTail - a 737 airborne early warning system

Gripen - European fighter aircraft flight control system

India Light Combat Aircraft

NATO Midterm Upgrade of AWACS (Airborne Warning and Control System)

NATO Artillery Ballistic Kernel

Swedish Air Force Air Defence Centre (STRIC)

Swedish Air Force Air Defence Centre Simulator (STRICS)

Swedish coastal artillery command and control platform Arte 740

Swiss Federal Aircraft Factory Automatic Landing System

UKCATT - United Kingdom Combined Arms Tactical Training Programme

UK RAF Nimrod MR2 maritime patrol aircraft (MPA)

UK Royal Navy Ship Helicopter Operating Limits Information System (SHOLIS)

US Air Force B1-B Bomber

US Air Force B2 Weapon System Trainer and Mission Trainer

US Air Force Digital Integrated Air Defense System (DIADS)

US Air Force C-17 Cargo Transport Plane

US Air Force F-16 Fighter

US Air Force Satellite Control Network

US Air Force Space-Based Infrared Systems (SBIRS)

US Army RAH-66 Comanche Helicopter

US Army Extended Air Defense Testbed (EADTB)

US Army Advanced Field Artillery Technical Data System (AFATDS)

US Army Standard Installation/Division Personnel System (SIDPERS3)

US Army Unit-Level Logistics System

US Army M1A2 (US Main Battle Tank)

US Army HAB - Heavy Assault Bridge

US Army Grizzly land-mine clearing device

US Army Apache helicopter

US Army Longbow Missile

US Army M299 missile launcher

US Army Land Vehicle Electronic Control Technology Testbed

US Army Crusader (self-propelled howitzer)

US Marine Corps Armored Assault Amphibious Vehicle

U.S. Marine Corps Portable Recording System

US Navy/Air Force Joint Standoff Weapon

US Navy/Air Force Jet TrainerJPATS Simulator/Training System

US Navy Mk41 Vertical Launching System

US Navy Submarine Combat System

US Navy SM2 and SM3 missiles

US Navy SH-60R helicopter

US Navy Close-In Weapon System

US Navy Tactical Tomahawk Weapon Control System (TTWCS)

US Navy Engine control systems for Arleigh Burke class guided missile destroyers (DDG-79 and later)

US/UK X-35 Joint Strike Fighter (first flight in 2000)

US/UK Advanced Tomahawk Weapon Control System (ATWCS)

F/A-18 AN/APX-111(V) Combined Interrogator/Transponder

F-16 AN/APX-113(V) Combined Interrogator/Transponder

F-22 Jet Fighter "Raptor"

Fire Support Automated Test System

Lockheed-Martin Advanced Gunnery Training System

Omnitech Robotic Vehicle Control System

Pratt-Whitney Aircraft Engines

SAIC Radar Simulator

Celsiustech Naval Command and Control Systems

PATRIOT ICC (command and control center)

Lockheed Hercules C130J Mission Computer

SMART-T (Army satellite tele-com terminal)

Mk-45 (light weight 5 inch 62 caliber shipboard-mounted gun)

Universal Modem System (UMS) System Planning Computer (SPC)

Standard Missile Block IVa IR Seeker

Standard Missile Block IVa Control Computer

AIM 9X Missile

Barco Avionics Control Display Management System

Joint Tactical Radio System (JTRS)

Extended Air Defense Test Bed

Mark IVB Meteorological Satellite Ground Station

Radar Warning Receiver

Local Management Device/Key Processor

Innocon Satellite-Based Atmospheric Measurement Instrument

THAAD - Theater High-Altitude Area Defense System

Joint Computer-Aided Acquisition and Logistics System (JCALS)

Satellite and Ground Environment Simulation (SAGES)

US Tri-Service Common Missile Warning System

Tornado - European jet fighter

 

 

 

Gruß

 

Dennis