Margaret Hamilton

Margaret Heafield Hamilton (; 1936-yil 17-avgust, Paoli, Indiana, AQSh) — amerikalik kompyuter olimi, tizim muhandisi va biznes egasi. U Massachusets Texnologiya Instituti (MIT) qoshidagi oʻlchov tizimlari laboratoriyasining dasturiy taʼminotni ishlab chiqish boʻlimi boshligʻi edi. Boʻlim NASAning Apollon kosmik dasturi uchun bortda dasturiy taʼminotni ishlab chiqdi. U 1976-yilda Higher Order Software kompaniyasiga, 1986-yilda Kembrijda, Massachusets shtatida Hamilton Technologies, Inc.ga asos solgan.

Hamilton oltmishta loyiha va oltita asosiy dastur boʻyicha 130 dan ortiq ilmiy maqolalar va hisobotlarni nashr etgan. U „dasturiy taʼminotni ishlab chiqish“ atamasi bilan bogʻliq boʻlgan mutaxassislardan biridir.

2016-yil 22-noyabrda Xemilton NASAning Oy dasturi uchun bortli dasturiy taʼminotni ishlab chiqishga olib borgan faoliyati uchun Barak Obamadan Prezidentning Ozodlik medalini oldi.

Dastlabki yillar 
Margaret Xeyfild 1936-yil 17-avgustda Indiana shtatining Paoli shahrida Kennet va Rut Ester Xeyfild oilasida tugʻilgan. 1954-yilda Xankok oʻrta maktabini tugatgandan soʻng u Michigan universitetida matematika boʻyicha tahsil oldi. 1958-yilda u Earlham kollejida matematika va falsafa (mutaxassislik boʻlmagan) boʻyicha bakalavr darajasini oldi.

Oʻqishni tamomlagandan soʻng, Margaret qisqa vaqt davomida oʻrta maktabda matematika va fransuz tilidan dars berdi, Garvard universitetida bakalavr darajasida ishlagan eri oilasini boqdi. Keyin u Brandeys universitetida abstrakt matematika boʻyicha aspiranturani tamomlash uchun Bostonga koʻchib oʻtdi. Hamilton Erlxem kollejining matematika boʻlimi boshligʻi Florens Longning yordami bilan mavhum matematika boʻyicha professor boʻlganini taʼkidlaydi. Boshqa ilhomlar qatorida, hozir texnologiya olamidan tashqarida, u faylasuf va shoir boʻlgan otasi hamda maktab direktori va Kvaker vaziri boʻlgan bobosi falsafa boʻyicha ilmiy darajaga ega boʻlishda taʼsirli boʻlgan deb hisoblaydi.

Karyera 
1959-yilning yozida Hamilton Edvard Lorenz uchun MIT meteorologiya boʻlimida ishlay boshladi. U Marvin Minskining MAC loyihasida LGP-30 va PDP-1 kompyuterlari uchun ob-havo prognozi dasturlarini ishlab chiqishda ishtirok etgan. U Lorentzning xaos nazariyasi boʻyicha ishiga hissa qoʻshgan. Oʻsha paytda kompyuter fanlari va dasturiy taʼminotni ishlab chiqish hali yoʻlga qoʻyilmagan va dasturchilar ish joyida oʻzlarining amaliy tajribalaridan oʻrganganlar. 1961-yil yozida u boshqa loyihaga oʻtdi, oʻrniga ni yolladi va tayyorladi.

SAGE loyihasi 
1961-yildan 1963-yilgacha Hamilton Linkoln laboratoriyasining SAGE (Yarim avtomatik yer muhiti) loyihasida ishlagan, bu yerda u AN/FSQ-7 (XD-1) prototipini qidirish uchun dasturiy taʼminot yaratgan dasturchilardan biri boʻlgan. U, shuningdek , Kembrij tadqiqot laboratoriyalarida havo kuchlarining sunʼiy yoʻldoshlarini kuzatish loyihasi uchun dasturiy taʼminot yozgan. SAGE loyihasi MIT tomonidan ob-havo tizimlarini bashorat qilish va simulyatorlar yordamida ularning harakatini kuzatish uchun kompyuter tizimini yaratish uchun boshlangan Whirlwind loyihasining davomi edi. SAGE tez orada Sovuq urush davrida mumkin boʻlgan Sovet hujumiga qarshi havo mudofaasida harbiy foydalanish uchun ishlab chiqilgan.
„Ushbu tashkilotga kelganingizda, odatda sizga boshlangʻich sifatida hech kim tushuna olmagan yoki ishlay olmagan ushbu dastur beriladi; va men bilan ham xuddi shunday edi. Buni dasturlash qiyin ish boʻlib chiqdi va dastur kodini kim yozgan boʻlsa, u yunon va lotin tillarida sharh qoldirishdan zavq oldi. Va shuning uchun ular meni ushbu dasturga qoʻyishdi, lekin men uni baribir ishga tushiraman. Dastur hatto lotin va yunon tillarida javoblarni chop etdi. Men buni birinchi boʻlib ishga solganman“ degan edi u.
Aynan Hamiltonning ushbu loyihadagi saʼy-harakatlari uni NASAning Apollon dasturi uchun dasturiy taʼminotni ishlab chiqaruvchi etakchisiga nomzod qilib koʻrsatdi.

Draper laboratoriyasi 

Keyin Hamilton Apollon dasturida ishlagan MITdagi Draper Lab jamoasiga qoʻshildi. Oxir-oqibat, u Apollon kosmik kemasi va Skylab orbital stantsiyasi uchun dasturiy taʼminotni ishlab chiqish bilan shugʻullanadigan guruhga rahbarlik qildi. Hamilton jamoasi parvoz dasturi uchun mas’ul edi, unga Apollon qoʻmondon moduli, Oyga qoʻnuvchi va Skylab uchun bir nechta eng yaxshi olimlar tomonidan ishlab chiqilgan algoritmlar kiradi. Uning jamoasining yana bir qismi tizim dasturini ishlab chiqdi. U Gamilton ishlab chiqqan qayta ishga tushirish va „Indikatsiya interfeysi protseduralari“ (shuningdek, „Ustuvor koʻrsatkichlar“ deb nomlanuvchi) kabi xatolarni aniqlash va tuzatish dasturlarini oʻz ichiga oladi. U kompyuter fanlari kurslari kamdan-kam boʻlgan va dasturiy taʼminot muhandisligi kurslari hali mavjud boʻlmagan bir paytda amaliy tajriba orttirish uchun ishlagan. Hamilton dasturiy taʼminotni ishlab chiqish boʻlimi boshligʻi sifatida ham ishlagan.

Uning tajriba sohalariga tizimlar arxitekturasi va dasturiy taʼminotni ishlab chiqish, biznes-jarayonlarni modellashtirish va korporativ darajadagi biznes-jarayonlarni modellashtirish, rivojlanish paradigmasi, rasmiy tizimlarni modellashtirish tillari, tizimni modellashtirish va ishlab chiqish uchun tizimga yoʻnaltirilgan obyektlar, avtomatlashtirilgan hayot aylanishi muhiti va kodni qayta ishlatish stavkalari, ilovalar domenini tahlil qilish, oʻrnatilgan til vositalari bilan algoritm toʻgʻriligi, ishonchli tizimlar ochiq arxitektura texnikasi, toʻliq hayot aylanishini avtomatlashtirish, sifatni taʼminlash usullari, uzluksiz integratsiya, xatolarni aniqlash va tuzatish usullari, foydalanuvchi interfeyslari, operatsion tizimlar, yakuniy to-end sinovlari, hayot aylanishini boshqarish texnikasi dasturiy taʼminot sifatini oshirish usullari kiradi.

Apollon 11 
Apollon 11 dasturining muhim daqiqalaridan birida bort kompyuterining parvoz dasturi oyga qoʻnishni toʻxtatib qoʻyishning oldini oldi. Oy moduli oy yuzasiga yetib borishidan uch daqiqa oldin bir nechta signal signallari chalindi. Oy modulining radariga etkazib berilgan quvvatning notoʻgʻri fazasi tufayli kompyuter uzilishlar bilan haddan tashqari yuklangan. Dastur signallari „ijroiya tizimining toʻlib ketishi“ ni koʻrsatdi, yaʼni asosiy kompyuter real vaqtda barcha vazifalarni bajara olmadi va baʼzilarini keyinga qoldirdi. J Laning tomonidan ishlab chiqilgan asinxron ijro moduli Gamilton jamoasi tomonidan asinxron parvoz dasturini ishlab chiqish uchun ishlatilgan:

Hamiltonning ustuvor signallari astronavtlarni favqulodda vaziyat yuzaga kelganligi haqida ogohlantirish uchun oddiy displeylarini toʻxtatib, „kosmonavtlarga qoʻnish yoki qoʻnmaslikni tanlash imkoniyatini berdi“. NASA missiyasini boshqarish muhandisi Jek Garman astronavtlar ustuvor displeylarda koʻrgan xatolarning maʼnosini tushunib, baqirdi: „Kelinglar, kelinglar!“. Va ular qoʻnishni davom ettirdilar. Xemiltonni NASA kosmik qonuni mukofotiga nomzod qilib koʻrsatgan katta texnolog Pol Kurtauld uning ishini „oʻta ishonchli dasturiy taʼminot dizaynining asosi“ deb atadi.

1976-yilda Hamilton va uning hamkori MITdagi tajribalariga tayangan holda xatolarning oldini olish va dasturiy taʼminotning xatolarga chidamliligi haqidagi gʻoyalarni yanada rivojlantirish uchun Higher Order Software (HOS) nomli kompaniyaga asos soldi. Ular USE dasturiy mahsulotini yaratdilar. MITda ishlab chiqilgan HOS metodologiyasiga asoslangan IT. U koʻplab davlat loyihalarida muvaffaqiyatli qoʻllangan. Eʼtiborga molik loyihalardan biri IDEFning avtomatlashtirilgan versiyasi boʻlgan C-IDEF ni rasmiylashtirish va amalga oshirish boʻldi, bu AQSh Harbiy-havo kuchlari tomonidan Integratsiyalashgan kompyuter quvvatli ishlab chiqarish (ICAM) loyihasida ishlab chiqilgan modellashtirish tilidir.

Oʻz kompaniyalari 

Hamilton 1984-yilgacha HOS bosh direktori boʻlgan va 1985-yilda kompaniyani tark etgan. 1986-yil mart oyida u Massachusets shtatining Kembrij shahrida Hamilton Technologies kompaniyasiga asos solgan. Kompaniya USL tili va u bilan bogʻliq avtomatlashtirilgan muhit — 001 Tool Suite atrofida tizim dizayni va dasturiy taʼminotni ishlab chiqish uchun „Haqiqatdan oldin dizayn“ paradigmasi asosida qurilgan.

Merosi 

Hamilton, Entoni Ottinger va Barri Bom „dasturiy taʼminot muhandisligi“ intizomini yaratganlar. Hamiltonga koʻra:

Gamilton „dasturiy taʼminot muhandisligi“ atamasini Apollonning dastlabki dasturlari davrida qoʻllashni boshlaganida, boshqa rivojlanish turlari bilan solishtirganda, dasturiy taʼminot muhandisligi jiddiy qabul qilinmadi va fan hisoblanmadi. Vaqt oʻtishi bilan „dasturiy taʼminotni ishlab chiqish“ atamasi boshqa texnik fanlar kabi hurmatga sazovor boʻldi. IEEE Software jurnalining 2018-yil sentyabr-oktyabr sonida dasturiy taʼminot ishlab chiqilishining 50 yilligi nishonlandi. Hamilton „xatolar“, ular dasturiy taʼminotni ishlab chiqishga qanday taʼsir qilgani va tizimdagi aksariyat „xatolar“ ning oldini olish uchun USL dan qanday foydalanish mumkinligi haqida gapiradi. „ Wired“ jurnalida Robert Makmillan taʼkidlaganidek, „MITda Hamilton hamkasblari bilan birgalikda dunyodagi birinchi portativ kompyuter kodini yozish orqali dasturlash asoslarini oʻrnatishga yordam berdi“. Karen Tegan Padid Wired nashrida shunday deb yozgan edi: „U yana bir dasturlash kashshofi, COBOL tilini yaratuvchisi Greys Xopper bilan birga ayollarni dasturiy taʼminotning texnik sohasida muvaffaqiyatga erishishda katta xizmatlari bor“.

Gamilton „dasturiy taʼminot muhandisligi“ atamasini Apollonning dastlabki dasturlari davrida qoʻllashni boshlaganida, boshqa rivojlanish turlari bilan solishtirganda, dasturiy taʼminot muhandisligi jiddiy qabul qilinmadi va fan hisoblanmadi. Vaqt oʻtishi bilan „dasturiy taʼminotni ishlab chiqish“ atamasi boshqa texnik fanlar kabi hurmatga sazovor boʻldi. IEEE Software jurnalining 2018-yil sentyabr-oktyabr sonida dasturiy taʼminot ishlab chiqilishining 50 yilligi nishonland. Hamilton „xatolar“, ular dasturiy taʼminotni ishlab chiqishga qanday taʼsir qilgani va tizimdagi aksariyat „xatolar“ ning oldini olish uchun USL dan qanday foydalanish mumkinligi haqida gapiradi. „ Wired“ jurnalida Robert Makmillan taʼkidlaganidek, „MITda Hamilton hamkasblari bilan birgalikda dunyodagi birinchi portativ kompyuter kodini yozish orqali dasturlash asoslarini oʻrnatishga yordam berdi“. Karen Tegan Padid Wired nashrida shunday deb yozgan edi: „U yana bir dasturlash kashshofi, COBOL tilini yaratuvchisi Greys Xopper bilan birga ayollarni dasturiy taʼminotning texnik sohasida muvaffaqiyatga erishishda katta xizmatlari bor“.

Mukofotlar 

 1986-yilda Hamilton kompyuter fanlaridagi ayollar assotsiatsiyasidan Ada Lavleys mukofotini oldi.
 2003-yilda u NASA Koinotning mukammalligi mukofotini oldi. Mukofot 37 200 dollardan iborat boʻlib, bu NASA tarixidagi eng katta mablagʻdir.
 2009-yilda u Earlham kollejining eng yaxshi bitiruvchilari mukofotiga sazovor boʻldi.
 2016-yilda u Barak Obamadan AQShning eng yuqori fuqarolik mukofoti boʻlgan Prezidentning Ozodlik medalini oldi.
 2017-yil 28-aprelda u kompyuter gʻoyalari dunyoni oʻzgartirgan taniqli erkaklar va ayollarni taqdirlaydigan Kompyuter tarixi muzeyi mukofotini oldi.
 2017-yilda Hamilton, Mey Jemison, Sally Ride va Nensi Romanning figuralari aks etgan NASA ayollari LEGO toʻplami sotuvga chiqdi.
 2018-yilda u Kataloniya Politexnika Universitetining faxriy doktori unvoniga sazovor boʻldi.

Shaxsiy hayoti 
Margaret eri James Koks Hamilton bilan Erlxem kollejida oʻqiyotganda tanishgan. Ular 1950-yillarning oxirida Hamilton bakalavr darajasini olganidan keyin turmush qurishdi. Ularning Loren ismli qizi bor edi. Er-xotin ajrashgan.

Nashrlar 

 M. Hamilton (1994), „Haqiqatdan oldin ichki rivojlanish“, muqova hikoyasi, Maxsus tahririyat qoʻshimchasi, 8ES-24ES. Elektron dizayn, aprel. 1994 yil.
 M. Hamilton (1994), „001: A Full Life Cycle Systems Engineering and Software Development Environment“, muqova hikoyasi, Maxsus tahririyat qoʻshimchasi, 22ES-30ES. Elektron dizayn iyun. 1994 yil.
 M. Hamilton, Hackler, WR. (2004), Deeply Integrated Guidance Navigation Unit (DI-GNU) Common Software Architecture Principles (qayta koʻrib chiqilgan 29-04-dekabr), DAAAE30-02-D-1020 va DAAB07-98-D-H502/0180, Arsenal, Picatinny, 2003-2004 yillar.
 M. Hamilton va WR Hackler (2007), " Profektiv tizimlar muhandisligi uchun universal tizimlar tili ", Proc. 5-Ann. Konf. Tizimlar Eng. Res. (CSER), Stivens Texnologiya Instituti, mart. 2007 yil, № 36 qogʻoz.
 M. Hamilton va WR Hackler (2007), " SysML uchun rasmiy universal tizimlar semantikasi ", 17 yillik xalqaro simpozium, INCOSE 2007, San-Diego, CA, iyun. 2007 yil.
 M. Hamilton va WR Hackler (2008), " Umumjahon tizimlar tili: Apollondan olingan saboqlar ", IEEE Computer, Dec. 2008 yil.

Manbalar

Havolalar 

 

Amerikalik informatiklar
Yashayotgan insonlar
1936-yilda tugʻilganlar
17-avgustda tugʻilganlar