-
Path: news-archive.icm.edu.pl!agh.edu.pl!news.agh.edu.pl!newsfeed2.atman.pl!newsfeed.
atman.pl!news.supermedia.pl!news.nask.pl!news.nask.org.pl!news.internetia.pl!no
t-for-mail
From: Edek Pienkowski <e...@g...com>
Newsgroups: pl.comp.programming
Subject: Re: Dlaczego software to F35 jest pisany w C++ a nie w Ada
Date: Fri, 21 Sep 2012 13:32:58 +0000 (UTC)
Organization: Netia S.A.
Lines: 50
Message-ID: <k3hqaa$7le$1@mx1.internetia.pl>
References: <3...@g...com>
NNTP-Posting-Host: 213-241-60-96.ip.netia.com.pl
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-2
Content-Transfer-Encoding: 8bit
X-Trace: mx1.internetia.pl 1348234378 7854 213.241.60.96 (21 Sep 2012 13:32:58 GMT)
X-Complaints-To: a...@i...pl
NNTP-Posting-Date: Fri, 21 Sep 2012 13:32:58 +0000 (UTC)
X-Tech-Contact: u...@i...pl
User-Agent: Pan/0.135 (Tomorrow I'll Wake Up and Scald Myself with Tea; GIT 30dc37b
master)
X-Server-Info: http://www.internetia.pl/
Xref: news-archive.icm.edu.pl pl.comp.programming:199507
[ ukryj nagłówki ]Dnia Fri, 21 Sep 2012 05:29:50 -0700, Roman W napisal:
> http://journal.thedacs.com/issue/53/158
>
> "With the F-35 Joint Strike Fighter both C and C++ have been used in the
> safety critical systems developed by the team of Lockheed Martin
> Aeronautics, Northrop Grumman Aerospace, and BAE Systems. This is also
> true for the F-35 supplier team. Ada was seen as the technically
> superior and more robust language, but concern over the ability to
> successfully staff the software engineers required to develop the
> massive amounts of safety critical software caused the F-35 team to
> carefully look and finally to choose C and C++ for the implementation of
> safety critical software."
"Carefully look": wypadałoby zrobić to samo. Powierzchownie, C/C++/Java
kojarzy się z łebkami z działów "R&D", ale to nie jest jedyny rodzaj
zastosowania.
> "Massive amounts" to nie przesada: "The total size of air vehicle
> software for the F-35 will grow to approximately 19 million Source Lines
> of Code (SLOC) by 2011." (moze w ADA byloby tych linii kodu mniej?)
17 MLOC to jest sporo. 17 MLOC kodu mission critical wg. mnie jest
ogromem pracy do wykonania.
> Napelnia mnie to pewna filozoficzna zaduma, ze najpierw inzynierowie
> generuja detaliczne specyfikacje "bezpiecznego jezyka programowania",
> projektuja dla Pentagonu jezyk komputerowy spelniajacy te specyfikacje,
> urzednicy z DoD wpisuja ten jezyk we wszystkie standardy, a potem...
> wzgledy "rynkowe" powoduja ze to wszystko idzie do kosza. Ale pewnie
> zysk Lockheed-Martin byl wiekszy :)
Nieuwzględniasz jednego "drobiazgu": z tego 19 MLOC jakieś 1900 KLOC
mogło odpowiadać za bezpieczeństwo reszty kodu. Widziałem coś takiego
w akcji, chociaż nie aż tak mission critical. Ma się ze 20 deweloperów,
którzy mają głowy wielkości szafy i oni piszą ten niewielki fragment,
ktory z kolei zapewnia bezpieczne środowisko programistyczne dla
pozostałych. Pozostali mają inne rzeczy na głowie typu odpalanie
rakiet w odpowiednim kierunku, ale mają jasno napisane pod groźbą
kija, że a) mają używać tylko zabezpieczającego kodu do wszystkiego
b) kilka zasad typu "nie rób tego, bo zapoznasz się z kijem". To pozwala
wyeliminować statystycznie z 99,9% błędów, nawet jeżeli większość
programistów to łebki z "R&D czyli klepalnia kodu".
C++ to tylko język, da się nim tworzyć nieistniejące w języku abstrakcje,
tworzące coś w rodzaju EL (Embedded Language).
PS. Ja w sumie jestem "łebkiem z działu R&D", bez urazy dla kogokolwiek
--
Edek
Następne wpisy z tego wątku
- 21.09.12 15:31 Maciej Sobczak
- 21.09.12 20:30 kenobi
- 21.09.12 21:02 Sebastian Biały
- 21.09.12 21:35 Edek Pienkowski
- 21.09.12 21:52 kenobi
- 21.09.12 23:55 Andrzej Jarzabek
- 22.09.12 10:42 Kviat
- 22.09.12 22:47 Maciej Sobczak
- 22.09.12 23:03 Maciej Sobczak
- 23.09.12 08:50 Roman W
- 23.09.12 11:24 kenobi
- 23.09.12 11:38 kenobi
- 23.09.12 12:37 Kviat
- 23.09.12 13:27 kenobi
- 24.09.12 15:48 slawek
Najnowsze wątki z tej grupy
- Do czego nadaje się QDockWidget z bibl. Qt?
- Bibl. Qt jest sztucznie ograniczona - jest nieprzydatna do celów komercyjnych
- Co sciaga kretynow
- AEiC 2024 - Ada-Europe conference - Deadlines Approaching
- Jakie są dobre zasady programowania programów opartych na wtyczkach?
- sprawdzanie słów kluczowych dot. zła
- Re: W czym sie teraz pisze programy??
- Re: (PDF) Surgical Pathology of Non-neoplastic Gastrointestinal Diseases by Lizhi Zhang
- CfC 28th Ada-Europe Int. Conf. Reliable Software Technologies
- Młodzi programiści i tajna policja
- Ada 2022 Language Reference Manual to be Published by Springer
- Press Release - AEiC 2023, Ada-Europe Reliable Softw. Technol.
- Ada-Europe - AEiC 2023 early registration deadline approaching
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2023
- Ile cykli zajmuje mnożenie liczb 64-bitowych?
Najnowsze wątki
- 2024-05-26 O co chodzi?
- 2024-05-26 PJ autobus-tramwaj
- 2024-05-26 Renault Trafic i lampka z czerwonym STOP
- 2024-05-26 cena pięciocyfrowa
- 2024-05-26 Re: Jak dobra KE "okrada" złą Rosję "dla Ukrainy"
- 2024-05-25 supercap
- 2024-05-25 Sulzbach => Technischer Rollouter (d/m/w) <=
- 2024-05-25 Warszawa => Senior Account Manager <=
- 2024-05-25 Warszawa => Mid PHP Developer (Laravel) <=
- 2024-05-25 Warszawa => Mid PHP Developer (Laravel) <=
- 2024-05-25 Warszawa => Interactive/Experience Designer <=
- 2024-05-25 Warszawa => Key Account Manager <=
- 2024-05-25 Warszawa => SAP WM Consultant / Execution <=
- 2024-05-25 Warszawa => Key Account Manager <=
- 2024-05-25 Re: znów ten wrocław