[OT] Re: Asfaleia in Practice

[Evangelos Tripolitakis]

Νικόλαος Κ. Διονυσόπουλος wrote:

> Tsoukas Evangelos wrote:
>
>> Geia sas,
>>
>> Kalh h episthmh ton ypologiston GIA thn episthmh, alla: 1) Tha
>> empiseuosastan na epikoinonhsete mystika meso Internet, to opoio
>> perilambanei >7 levels epikoinonias,
>>
>>> 100 epiloges programmaton, xiliades kombous, anarithmitous experts
>>
>>
>> (see crackers) anamesa pou kaneis den kserei pou krybontai kai tosa
>> alla, eno eseis eiste enas aplos kataskeuasths... px mystikon oplon?
>> 2) Tha empisteuosastan thn ektelesh mias efarmoghs prosomoioshs ths
>> kardiakhs leitourgias kata th diarkeia exgeirhshs by-pass sto Linux
>> kai se opoio OS, pou exei alles 1000 efarmoges, ekatontades entoles se
>> polles glosses, adynata shmeia kai pou lathos se ena bit mporei na
>> odhghsei sthn katareush?
>> 3) Tha empisteuosastan thn katathesh tou ethsiou misthou sas meso
>> Internet-banking? Thn metadosh plhroforion ston egkefalo tou
>> autokinhtou sas otan trexete me 160 km/h?
>>
>
> Ξεχνάς κάτι: Απαίτηση Realtime εκτέλεσης. Ακόμα το linux δεν το έχει 
> επιτύχει αυτό (κάτι πάει κι έρχεται με τα multimedia patches), τα 
> Windows αρκετά (αλλά κρεμάνε πολύ συχνά για να τους εμπιστευτώ το 
> αμάξι μου και μάλιστα στους ελληνικούς καρόδρομους) και ορισμένα άλλα 
> OSes (π.χ. QNX) σχεδόν απόλυτα.
>
> Επίσης, σε ένα ζωτικής σημασίας σύστημα δεν βάζεις 1000000 εφαρμογές, 
> γιατί απλά προκαλείς την ατυχία σου. Αν και ξέρω μερικές εταιρίες στην 
> Ελλάδα που σε πολύ πιο απλά πράγματα παίρνουν μηδέν (π.χ. η γραμματέας 
> δουλεύει πάνω στον υπολογιστή server που κρατάει ολόκληρη την 
> επιχείρηση, πετάει μια μπλε οθόνη κι όλη η εταιρία ψάχνεται...).
>

a) oson afora thn sta8erothta tou linux oles oi megales etairies kanoun 
strofh pros ta embedded realtime OS opws  rtlinux , uclinux, versions 
tou NetBSD
kai milame mono gia thn arxh mias xionostibadas sta embedded systhmata 
opws egw toulaxiston thn diablepw.... ri3te mia matia sto 
http://www.embeddedx86.com
sta boardakia me ARM gia dynatothtes...kai as mhn milhsoume gia hybrid 
boards me POWER PC h NIOS mazi me FPGAs twn ekatommyriwn pylwn gia 
entelws custom
efarmoges ta opoia KAI PALI douleyoun kapoio OS opws ta parapanw... 
(http://www.xilinx.com , http://www.altera.com)

b) oson afora thn a3iopistia prepei na kanoume diaxwrismo tou 
ylikou+logismikou to opoio paei se real world efarmoges
apo ayto to opoio xrhsimopoioume gia na eleg3oume ena robotaki sto 
panepisthmio h ena projectaki sto garaz tou spitiou...
o kyklos tou testing kai documentation sta "real world" proionta einai 
terastios kai sygrisimos me ayton tou arxikou sxediasmou
kai ths ylopoihshs... opws den diakyndineyoun megales etairies na 
bgaloun elattwmatikous egefalous sta aytokinhta tous giati to
kostos apo pi8ana atyxhmata h-kai prolhptikes aposyrseis se periptwsh 
astoxias yliko 8a einai to ligotero dysbastaxto etsi kai h
GE h h PHILIPS den tis pairnei na bgaloun magnhtikous tomografous kai 
life support systhmata ta opoia na prokalesoun pi8anh estw
blabh sthn ygeia tou as8enh..... ara h apanthsh einai: "NAI, safws kai 
ta empisteyomaste"...kai profanws prwtoi apo olous oi filoi mas oi
giatroi...... profanws to oti ena tetoio proion mporei na xrhsimopoiei 
linux einai entelws asxeto to oti to xrhsimopoiei  ... den pauei na
einai ena emporiko proion to opoio ypokeitai stis idies me ta ypoloipa 
emporika proionta prodiagrafes...

oi epiloges bebaia einai edw kai anoixtes se olous ...opoios 8elei 
mporei na phgainei me ena aytokinhto ths dekaetias tou 80'
h arxwn 90' xwris hlektronika kai systhmata asfaleias opou sthn prwth  
proskroush (epeidh einai kai kalh h lamarina)
den pa8ainei tipote to aytokinhto alla o odhgos paei sto KAT me pollapla 
katagmata, epishs mporei na siderwnei h gynaika tou
me sidero me karbouna zesta epeidh to hlektriko mporei na 
braxykyklwsei... :P :P :P

c) oson afora to internet banking kai genikotera to internet commerce... 
ta deigmata einai akrws en8arryntika ! oi trapezes
einai akoma arketa "psarwmenes" kai skizontai na e3yphrethsoun tous 
pelates tou web banking ... synepws se opoiadhpote
periptwsh einai diate8imenes oxi mono na kalypsoun alla kai na 
yperkalypsoun th zhmia tou pelath... outws h allws to skeptiko
einai idio me thn periptwsh aplhs trapezikhs apaths oi opoies shmeiwtewn 
kaluptoun to 95+% twn periptwsewn apaths se
trapezes (aka plastes epitages,akalyptes epitages, kloph cashcard ktl 
ktl ktl)....


>> Jyst asking (me).
>>
>> H apanthsh einai nai! Tha empisteuomoun to Linux/Unix (kai tou 
>> Internet). Giati:
>> 1) Mporei na ginoun pragmatika asfalh an kai thelei gnosh ki empeiria.
>
>
> Η ασφάλεια είναι ένα πολύ μικρό κομμάτι αυτού που ψάχνεις. Αν μιλάς 
> για network security, ναι, είναι αρκετά υλοποιήσιμο μέχρι την 
> ανακάλυψη του επόμενου exploit.
>
>> 2) Ena embedded systhma pou tha ylopoihthei apo mia etaireia san th
>> Hitachi h th GE den tha einai pio asfales apo to Linux se leitourgia
>> syntheton efarmogon opos h simulation. Kanena systhma alloste den
>> einai apolyta asfales.
>
>
> Ναι και όχι. Το embedded σύστημα κάνει ΜΟΝΟ την δουλεία που 
> προγραμματίστηκε να κάνει. Ένα λειτουργικό σύστημα αναλαμβάνει και 
> ολόκληρη την λειτουργία της πλατφόρμας στην οποία τρέχει, εξ ου και το 
> επίθετο "λειτουργικό".
>

ama to programma eixei ypostei ektetameno debugging kai testing tote 
einai "sxedon" ok, epishs an to hardware
einai a3iopisto to leitourgiko apla 8a kanei th douleia tou kai 8a thn 
kanei kai poly kala malista...



>> 3) To systhma Linux/Unix tha mporei na prosarostei se anages aurio, se
>> ena mhna, se 10 xronia.
>>
>

ta embedded systhmata ws monoli8ikes efarmoges 
mikroepe3ergasth/mikroelegth + logismikou se C/C++ kai assembly teinoun 
pros thn dysh tous.
ola odeyoun pros lyseis single board computer me arxitektonikes opws 
ARM7/9 kai kapoiou leitourgikou systhmatos me ay3hmenh a3iopistia opws
RT-Linux , uClinux kai NetBSD(to opoio einai e3airetika a3iopisto kai 
aplo)...


> Γιατί, το embedded σύστημα τι κάνει δηλαδή; Επειδή γράψαμε 100 γραμμές 
> κώδικα σήμερα δεν πάει να πει ότι τις πετάμε απ' το παράθυρο και σε 
> ένα μελλοντικό revision πάμε φτου κι απ' την αρχή. Δεν στέκει αυτό που 
> λες.
>
>> To symperasma-erothma: Pos eksasfalizetai h asfaleia (safety kai 
>> security)?
>> Mia apo tis protes (kai liges?) apanthseis einai KISS (keep it simple
>> stupid). Simple software, simple hardware (!), simple UserInteface ...
>>
>
> Μόνος σου το είπες! Τι είναι πιο απλό; Ένα PIC που κινεί ένα μηχανικό 
> βραχίονα με βάση inputs και έναν απλό αλγόριθμο, ή ένα PC με Linux, 
> κάρτες ADC και DAC και χιλιάδες γραμμές κώδικα από πίσω που κάνει την 
> ίδια δουλειά; Άσε με να μαντέψω, το σύστημα με το PIC, a.k.a. embedded 
> system. Πάμφθηνο, αξιόπιστο, γρήγορο.
>

makari ta pragmata na htan toso apla pou enas 8bit PIC na htan 
arketos... einai efarmoges oi opoies einai TROMAKTIKA periplokes (p.x. 
systhmata elegxou fly by wire se aeroplana,
systhmata elegxou poiothtas se systhmata paragwghs, bioiatrika systhmata 
k.a.)... to amesws epomeno logiko bhma se syndyasmo isxyos 
=polyplokothtas kai a3iopistias einai ta single
board computers me epe3ergasth (h kai FPGA) kai leitourgiko...


>> Evangelos
>>
>> PS Exo amfibolies iga to an ta erothmata mou tairiazoun sth lista. Tha
>> xairomoun an kapoios to epishmaine.
>>
>
> Θα έλεγα ότι είναι άσχετα, εφόσων δεν επικεντρώνωνται στον τρόπο 
> επίλυσης ενός συγκεκριμένου προβλήματος με χρήση του Linux, αλλά 
> αγγίζουν τη σφαίρα της φιλοσοφίας γύρω από την επιστήμη του λογισμικού.
>
> Νικόλαος Κ. Διονυσόπουλος
> Διπλ. Μηχανολόγος Μηχανικός
>
kalo einai na legontai gnwmes estw kai off topic sth lista... alla 
paidia milame gia to 2005 kai  xwris na 8elw na prosballw kanenan
h sysxetish xrhshs PIC se bioiatrikwn systhmatwn einai paromoia me th 
sysxetish xrhshs diplou minwikou peleky (double axe) gia egxeirhsh
anoixths kardias. An kai oi pro8eseis einai agnes kai oi idees ws 
ideologia swstes prepei na eimaste ligo prosektikoi sto pws katapianomaste
me aytes ...

Ayta apo emena

-- 
Evangelos Tripolitakis 		vaggelis at kegep.tuc.gr
Electronics And Computer Engineer,MSc, PhD Candidate

Systems Administrator                 +30-28210-37338
Language Research and Resource Centre (L.R.a.R.C.)
Technical University of Crete, GREECE