-
Path: news-archive.icm.edu.pl!news.icm.edu.pl!news.nask.pl!news.nask.org.pl!news.unit
0.net!news.bbs-scene.org!border4.nntp.dca.giganews.com!border2.nntp.dca.giganew
s.com!nntp.giganews.com!nx01.iad01.newshosting.com!newshosting.com!newsfeed.neo
strada.pl!unt-exc-01.news.neostrada.pl!unt-spo-b-01.news.neostrada.pl!news.neos
trada.pl.POSTED!not-for-mail
Date: Tue, 10 Apr 2012 00:09:15 +0200
From: mk <reverse_lp.pw@myzskm>
User-Agent: Mozilla/5.0 (Windows NT 5.1; rv:11.0) Gecko/20120327 Thunderbird/11.0.1
MIME-Version: 1.0
Newsgroups: pl.misc.elektronika
Subject: Re: jak nazywają się te testy
References: <jla0au$2js$1@node2.news.atman.pl> <jlab1p$ljq$3@news.dialog.net.pl>
<jlafs0$k3a$1@node2.news.atman.pl> <4...@n...gazeta.pl>
<jlbu66$hta$1@node2.news.atman.pl> <4f797edf$1@news.home.net.pl>
<jlbvbp$psj$1@node2.news.atman.pl> <4f79a1de$1@news.home.net.pl>
<4f79c1e6$0$26691$65785112@news.neostrada.pl>
<4f79ca9c$1@news.home.net.pl>
<4f7a0007$0$1300$65785112@news.neostrada.pl>
<4f7a9e1b$1@news.home.net.pl>
<4f7b5ee2$0$26701$65785112@news.neostrada.pl>
<p...@n...chmurka.net>
In-Reply-To: <p...@n...chmurka.net>
Content-Type: text/plain; charset=ISO-8859-2; format=flowed
Content-Transfer-Encoding: 8bit
Lines: 46
Message-ID: <4f835dff$0$1220$65785112@news.neostrada.pl>
Organization: Telekomunikacja Polska
NNTP-Posting-Host: 83.22.63.217
X-Trace: 1334009343 unt-rea-b-01.news.neostrada.pl 1220 83.22.63.217:3424
X-Complaints-To: a...@n...neostrada.pl
Xref: news-archive.icm.edu.pl pl.misc.elektronika:629159
[ ukryj nagłówki ]W dniu 2012-04-06 09:40, Adam Wysocki pisze:
> mk<reverse_lp.pw@myzskm> wrote:
>
>> Czy chcemy tego, czy nie, nasze życie i zdrowie zależy od poprawnej
>> pracy systemów mikroprocesorowych -- pewnie jeszcze częściej niż nawet
>> nam, elektronikom, się to wydaje.
>
> Zależy - i w takich zastosowaniach stosuje się rozwiązania takie jak np.
> MISRA - ale nie znam szczegółów, słyszałem o tym tylko
Owszem stosuje się. Koderzy przeklinają, a hakerzy to już nie wiem co ;-)
Ot taki nadwrażliwy dodatek do kompilatora sprawiający, że gęsto sypią
się warningi (błędy MISRA).
Mam nadzieję, że nikt nie wierzy w to, że dzięki tworzeniu kodu zgodnego
z MISRĄ dostajemy bezbłędne i bezpieczne oprogramowanie.
> (i chętnie poczytałbym
> więcej, ale wygląda na to, że dostęp jest płatny).
http://supp.iar.com/FilesPublic/UPDINFO/004916/arm/d
oc/EW_MisraC2004Reference.ENU.pdf
(patrz rozdział "MIRSA C:2004 rules reference")
Istnieją i inne automatyczne sprawdzacze kodu -- chociażby w Eclipse/CDT
dostępna jest taki sprawdzacz wywoływany przez wybranie z menu "Run
C/C++ Code Analysis".
> A z drugiej strony przeraża mnie komplikowanie prostych systemów. Rzeczy
> takie jak np. hamulce, czy sterowanie przepustnicą, powinny być proste,
> mechaniczne, niezależne od elektroniki ani jakiegokolwiek softu,
No i dochodzimy do istoty sprawy. Przy takim postawieniu spraw
natychmiast nasuwa się pytanie: czy to będzie w ogólnym rozrachunku
bezpieczniejsze? Bez ABS, ASR? Skąd taka dysproporcja zaufania do
mechaniki i elektroniki?
Poduszkę powietrzną też należy odpalać czysto mechanicznie? Potrafi zabić...
> a do
> tego failsafe powinien być zrealizowany by design (np. hamulce w pociągu,
> pozwalające kręcić się kołom, gdy jest ciśnienie w przewodach - gdy wagon
> się odczepi lub przewód hamulcowy uszkodzi, to hamulce zakleszczają się
> na kołach i wyhamowują skład).
Warto zaaplikować w polityce.
pzdr
mk
Następne wpisy z tego wątku
- 11.04.12 16:36 Adam Wysocki
- 15.04.12 20:45 mk
- 16.04.12 15:39 Wmak
Najnowsze wątki z tej grupy
- "ogrodowa linia napowietrzna"
- jaki zasilacz laboratoryjny
- jaki zasilacz laboratoryjny
- Puszka w ziemię
- T-1000 was here
- Ściąganie hasła frezem
- Koszyk okrągły, walec 3x AA, na duże paluszki R6
- Brak bolca ochronnego ładowarki oznacza pożar
- AMS spalony szybkim zasilaczem USB
- stalowe bezpieczniki
- Wyświtlacz ramki cyfrowej
- bateria na żądanie
- pradnica krokowa
- Nieustający podziw...
- Coś dusi.
Najnowsze wątki
- 2025-02-04 podpisywanie umów z datą wsteczną
- 2025-02-04 Radio internetowe do starego Androida
- 2025-02-04 "ogrodowa linia napowietrzna"
- 2025-02-04 Warszawa => Senior Account Manager <=
- 2025-02-03 Awaria BNP Paribas
- 2025-02-03 kryminalni i dochodzeniowcy
- 2025-02-03 Szczecin => Senior Field Sales (system ERP) <=
- 2025-02-03 Bydgoszcz => Specjalista ds. Sprzedaży (transport drogowy) <=
- 2025-02-03 jaki zasilacz laboratoryjny
- 2025-02-03 jaki zasilacz laboratoryjny
- 2025-02-03 Puszka w ziemię
- 2025-02-03 Białystok => Full Stack web developer (obszar .Net Core, Angular6+) <
- 2025-02-03 Kraków => Programista Full Stack .Net <=
- 2025-02-03 Kraków => MS Dynamics 365BC/NAV Developer <=
- 2025-02-03 Bez żadnego trybu