Гамильтон опубликовала более 130 научных работ, трудов и отчётов по шестидесяти проектам и шести крупным программам. Она — одна из тех специалистов, с кем связывают появление термина «разработка программного обеспечения».
22 ноября 2016 года Гамильтон получила Президентскую медаль Свободы от Барака Обамы за свою работу, приведшую к разработке бортового ПО для лунной программы НАСА.
Маргарет Хэфилд родилась 17 августа 1936 года в Пейоли, штат Индиана, в семье Кеннета и Рут Эстер Хэфилд[4][5]. После окончания средней школы Хэнкок в 1954 году[4] она изучала математику в Мичиганcком университете. В 1958 году она получает степень бакалавра по профилю математики и философии в колледже Эрлхэм[англ.][6][7].
По окончании учёбы Маргарет некоторое время преподаёт математику в средней школе и французский язык, обеспечивая семью, пока муж работал над дипломом бакалавра в Гарвардском университете. Затем переезжает в Бостон, чтобы окончить аспирантуру в области абстрактной математики в университете Брандейса. Гамильтон отмечает Флоренс Лонг, глава математического факультета в колледже Эрлхэм, благодаря помощи которой в абстрактной математике она становится профессором[8]. В числе других людей-вдохновителей, уже вне мира технологий, она отмечает своего отца, философа и поэта, и своего деда, директора школы и священника-квакера, повлиявших на получение ею учёной степени по философии[9].
Карьера
Летом 1959 года Гамильтон начала работать у Эдварда Лоренца в отделе метеорологии в MIT[10]. Она участвовала в разработке программного обеспечения для прогнозирования погоды для компьютеров LGP-30 и PDP-1 в проекте MAC[англ.]Марвина Мински[11][12][13]. Она внесла вклад в работы Лоренца по теории хаоса. В то время информатика и разработка программного обеспечения ещё не были устоявшимися дисциплинами, и программисты учились на работе, на собственном практическом опыте[14]. Летом 1961 года она перешла в другой проект, наняв и обучив Эллен Феттер[англ.] себе на замену[10].
Проект SAGE
С 1961 по 1963 год Гамильтон работала в проекте SAGEЛаборатории Линкольна[12], где была одной из программистов, создававших программное обеспечение для прототипа системы AN/FSQ-7 (XD-1)[англ.], занимавшейся поиском самолётов противника[15]. Она также написала программное обеспечение для проекта слежения со спутников в Кэмбриджском исследовательском центре ВВС США[англ.][12]. Проект SAGE был продолжением проекта Whirlwind, начатого MIT для создания компьютерной системы прогнозирования погоды и движения атмосферных вихрей. Вскоре SAGE был доработан для военного использования в противовоздушной обороне от возможного нападения СССР во время Холодной войны.
Когда вы приходите в данную организацию, то обычно вам, как новичку, дают эту программу, которую никто и никогда не мог ни понять, ни запустить; и со мной было так же. Программирование этого оказалось сложной задачей, а тот, кто писал код программы, получал кайф, оставляя комментарии на греческом и латыни. И вот меня сажают на эту программу, но я всё-таки заставляю её работать. Программа даже распечатывала ответы на латыни и греческом. Я стала первой, кто заставил её работать[16].
Именно усилия Гамильтон в этом проекте сделали её кандидатом на должность ведущего разработчика программного обеспечения НАСА для программы Apollo[4].
Лаборатория Дрейпера
Затем Гамильтон примкнула к команде Лаборатории Дрейпера[англ.] в MIT, которая работала для программы «Аполлон». В конце концов она возглавила команду, которой была поручена разработка программного обеспечения корабля «Аполлон» и орбитальной станции Скайлэб[19]. Команда Гамильтон отвечала за полётное программное обеспечение[20], которое включало алгоритмы, разработанные несколькими ведущими учёными для командного модуля «Аполлона», лунного посадочного модуля и «Скайлэб»[14][14][21]. Другая часть её команды спроектировала и разработала системное программное обеспечение[22]. Оно включало программное обеспечение для обнаружения и исправления ошибок, такие как перезапуски и «Процедуры интерфейса индикации» (также известные как «Приоритетные индикации»), которые спроектировала и разработала Гамильтон[23]. Она работала, чтобы получить практический опыт в то время, когда курсы информатики были редким явлением, а курсы разработки программного обеспечения ещё не существовали[14]. Гамильтон также занимала должность руководителя отдела разработки программного обеспечения[24].
В один из критических моментов программы «Аполлон-11» полётное программное обеспечение бортовой ЭВМ предотвратило срыв посадки на Луну. За три минуты до того, как лунный модуль достиг поверхности Луны, сработало несколько сигналов тревоги. Компьютер был перегружен прерываниями, вызванными неправильной фазой питания, подаваемого на радар обеспечения стыковки лунного модуля[25][26][27]. Аварийные сигналы программы указывали на «переполнение исполнительной системы», означающее, что управляющий компьютер не мог в режиме реального времени выполнить все задачи и вынужден был некоторые отложить[28]. Асинхронный исполнительный модуль, разработанный Дж. Холкомбом Лэйнингом[англ.][25][29], использовался командой Гамильтон для разработки асинхронного полётного программного обеспечения:
Благодаря методам обнаружения и восстановления ошибок системной части полетного программного обеспечения, которые включали в себя общесистемный подход «убить и заново вычислить» от подхода перезапуска из «безопасного места» до техник снимка системы и отката, стало возможным разработать процедуры интерфейса индикации (приоритетные индикации) вместе с функцией «человек в цикле[англ.]» для обеспечения возможности прервать штатную индикацию на дисплеях астронавтов приоритетной индикацией критических сигналов тревоги в случае чрезвычайной ситуации. Поведение зависело от назначенных нами в программном обеспечении уникальных приоритетов для каждого процесса — это гарантировало, что все события будут происходить в нужное время и в правильном порядке относительно других событий[30].
Приоритетные сигналы тревоги Гамильтон прерывали штатную индикацию на дисплеях астронавтов, чтобы предупредить их, что произошла чрезвычайная ситуация, «дающая астронавтам возможность выбора садиться или не садиться»[31]. Джек Гармэн[англ.], инженер НАСА по управлению полётами, понял смысл ошибок, которые увидели космонавты на приоритетных индикациях, выкрикнул: «давай, давай!», и они продолжили посадку[32]. Пол Курто, старший технолог, выдвинувший Гамильтон на премию NASA Space Act Award, назвал её работу «фундаментом сверхнадёжного проектирования программного обеспечения»[22].
Гамильтон позже писала об инциденте:
Компьютер (или, вернее, программное обеспечение в нём) был достаточно умён, чтобы понять, что его просят выполнить больше задач, чем следует. Затем он отправил сигнал тревоги, который означал: «Я перегружен большим количеством задач, чем должен был выполнять в это время, и оставлю только наиболее важные задачи»; то есть задачи, которые необходимы для посадки... На самом деле, компьютер был запрограммирован на большее, чем распознавать ошибки. В программном обеспечении был задействован полный набор процедур восстановления. В данном случае программное обеспечение сняло задачи с более низким приоритетом и восстановило более важные задачи... Если бы компьютер не распознал эту проблему и не предпринял действий по восстановлению, я сомневаюсь, что Аполлон-11 успешно сел на Луну[33].
Собственные компании
В 1976 году Гамильтон с компаньоном основали компанию под названием Higher Order Software (HOS)[34] для дальнейшего развития идей по предотвращению ошибок и отказоустойчивости ПО на основе опыта работы в MIT[35]. Они создали программный продукт USE.IT, основанный на методологии HOS, разработанной в MIT[36][37][38]. Он был успешно использован в многочисленных государственных проектах[39][40]. Один известный проект состоял в формализации и внедрении C-IDEF, автоматизированной версии IDEF, языка моделирования, разработанного ВВС США в проекте интегрированного автоматизированного производства (ICAM)[англ.][41].
Согласно одной критической оценке, проведённой консультантом ВМС США, утверждалось, что «книги по HOS скорее рекламируют свои идеи и продукты, чем вносят существенный вклад в область компьютерных наук»[42]. Эдсгер Дейкстра описал программное обеспечение USE.IT как «механические средства по применению устаревших методов»[43]. Теория HOS была использована Харелом[кто?] для разработки производного языка для более современной формы структурированного программирования, производного от HOS, называемого языком программирования «И/ИЛИ»[44]. Другие использовали HOS для формализации семантики лингвистических квантификаторов[45] и формализации проектирования надежных встроенных систем реального времени[46].
Гамильтон была генеральным директором HOS до 1984 года[35] и покинула компанию в 1985 году. В марте 1986 года она основала Hamilton Technologies в Кембридже (штат Массачусетс). Компания строилась вокруг языка USL[англ.] и связанной с ним автоматизированной среды, 001 Tool Suite, на основе парадигмы «Разработка перед фактом» для проектирования систем и разработки программного обеспечения[27][47][48].
Работая в MIT, она хотела дать своему программному обеспечению «легитимность», как и в случае с другими инженерными дисциплинами, чтобы и ПО, и тем, кто его разрабатывает, было уделено должное внимание. В результате она предложила термин «разработка программного обеспечения», чтобы отличать его от других видов разработки[15].
Гамильтон рассказывает, как она пришла к термину «разработка программного обеспечения»:
Когда я впервые придумала этот термин, никто о нем ранее не слышал, по крайней мере, в нашем мире. Над этим непрестанно шутили в течение долгого времени. Людям нравилось подкалывать меня по поводу моих радикальных идей. Не забуду тот день, когда один из наиболее уважаемых гуру-"аппаратчиков" на техническом совещании объяснил всем, что он согласен со мной, что процесс создания программного обеспечения также следует рассматривать как инженерную дисциплину, как и в случае с оборудованием. Не потому, что он принял новый «термин» как таковой, а потому, что мы заслужили одобрение с его стороны и со стороны других присутствующих, поскольку термин по полному праву принадлежит инженерной области[30].
Когда Гамильтон начала использовать термин «разработка программного обеспечения» во время первых программ «Аполлон»[51][52], по сравнению с другими видами разработок, разработка программного обеспечения всерьёз не воспринималась[53] и не рассматривалась как наука. Со временем термин «разработка программного обеспечения» приобрёл такое же уважение, как и любая другая техническая дисциплина[49][54]. В выпуске журнала IEEE Software за сентябрь-октябрь 2018 года отмечалось 50-летие разработки программного обеспечения[55]. Гамильтон рассказывает об «ошибках», о том, как они повлияли на разработку программного обеспечения, и о том, как язык USL можно использовать для предотвращения большинства «ошибок» в системе[56]. В журнале Wired Роберт Макмиллан отметил: «В MIT Гамильтон способствовала созданию основных принципов программирования, разрабатывая с коллегами код для первого в мире портативного компьютера»[57]. Инновации Гамильтон выходят за рамки участия в доставке людей на Луну. Карен Теган Падид писала в Wired: «Она, наряду с другим пионером программирования, Грейс Хоппер, создательницей языка COBOL, также имеет большие заслуги в том, что у женщин стало больше возможностей добиться успеха в такой технической области, как программное обеспечение»[58][59].
В 2003 году она получила награду НАСА за выдающиеся достижения в области космоса. К награде прилагалась сумма в 37 200 долларов США — самая большая сумма, присуждавшаяся в истории НАСА[22][61][62].
В 2009 году она получила премию, присуждаемую выдающимся выпускникам колледжа Эрлхэм[6].
28 апреля 2017 года она получила награду Музея компьютерной истории, которая вручается выдающимся мужчинам и женщинам, чьи идеи в области компьютеров изменили мир[24][66].
Маргарет познакомилась со своим мужем Джеймсом Коксом Гамильтоном во время учёбы в колледже Эрлхэм. Они поженились в конце 1950-х годов после того, как Гамильтон получила степень бакалавра. У них родилась дочь Лорен. Пара в разводе[69].
Публикации
M. Hamilton (1994), "Inside Development Before the Fact, " cover story, Special Editorial Supplement, 8ES-24ES. Electronic Design, Apr. 1994.
M. Hamilton (1994), "001: A Full Life Cycle Systems Engineering and Software Development Environment, " cover story, Special Editorial Supplement, 22ES-30ES. Electronic Design, Jun. 1994.
M. Hamilton, Hackler, W. R.. (2004), Deeply Integrated Guidance Navigation Unit (DI-GNU) Common Software Architecture Principles (revised dec-29-04), DAAAE30-02-D-1020 and DAAB07-98-D-H502/0180, Picatinny Arsenal, NJ, 2003—2004.
↑Blair-Smith, Hugh. System integration issues in Apollo 11 (англ.) // IEEE Aerospace and Electronic Systems Magazine. — 2011. — 7 November (vol. 26, no. 11). — P. 16—24. — doi:10.1109/MAES.2011.6065654.
↑ 12Hamilton, Margaret; Hackler, William. Universal Systems Language: Lessons Learned from Apollo (англ.) // IEEE Computer[англ.] : journal. — 2008. — 12 December (vol. 41, no. 12). — P. 34—43. — ISSN1558-0814. — doi:10.1109/MC.2008.541.
↑ 12AGC Biography – Margaret Hamilton(англ.). authors.library.caltech.edu. The Dibner Institute for the History of Science and Technology (9 мая 2002). Дата обращения: 26 июля 2019. Архивировано 25 июля 2011 года.
↑M. Hamilton, S. Zeldin (1976) "Higher order software—A methodology for defining software" IEEE Transactions on Software Engineering, vol. SE-2, no. 1, Mar. 1976.
↑M. Hamilton; S. Zeldin.Higher order software techniques applied to a space shuttle prototype program in Lecture Notes in Computer Science, vol. 19, G. Goos and J. Hartmanis, Ed. New York: Springer-Verlag, pp. 17–31, presented at Program Symp. Proc., Colloque sur la Programmation, Paris, France, April 9–11, 1974 (англ.).
↑Dijkstra, EdsgarJudging "HOS" From a Distance(англ.). Department of Computer Science - The University of Texas (7 апреля 1983). Дата обращения: 22 июля 2016. Архивировано 5 марта 2016 года.
↑Holland, Michael. A Constrained Interface Refinement Method for Embedded System Design (англ.) : journal. — Department of Computing, Macquarie University, 1997. — 1 June.
↑Ada Lovelace Awards(англ.). Association for Women in Computing. Association for Women in Computing. Дата обращения: 17 сентября 2019. Архивировано 14 апреля 2016 года.
↑NASA Administrator Sean O'Keefe has commented saying: "The concepts she and her team created became the building blocks for modern software engineering. It's an honor to recognize Ms. Hamilton for her extraordinary contributions to NASA."
Untuk satuan yang dinamakan menurut tokoh ini, lihat Angka Mach. Ernst Mach Ernst Mach (diucapkan [max]) (18 Februari 1838 - 19 Februari 1916) adalah seorang fisikawan dan filsuf Austria. Ernst Mach lahir di Chrlice, Moravia, Austria. Keluarga Mach hidup di daerah terpencil. Ayahnya, Johan mendalami sastra klasik dan tinggal dalam atmosfer keluarga yang sangat tertutup. Meski seorang individualis ekstrem, ayahnya sangat berpendidikan. Ayahnya beternak ulat sutera. Beda dengan ayahnya, ibu Mac...
Dr Hussain Al Baharna, salah seorang yang terkenal dari etnis ini. Baharna (Arab: بحراني ، بحارنةcode: ar is deprecated ) adalah sebuah ethnoreligious group yang merupakan penduduk utama di Arabia Timur. Mereka dihormati oleh beberapa sarjana karena mereka adalah penduduk asli Kepulauan Bahrain.[1] Kebanyakan penduduk Syi'ah Bahraini berasal dari etnik Bahrana. Wilayah dengan populasi Baharna yang terbilang banyak yaitu Arabia Timur, Bahrain, Qatif, al-Hasa, Qatar, Uni Em...
هذه المقالة يتيمة إذ تصل إليها مقالات أخرى قليلة جدًا. فضلًا، ساعد بإضافة وصلة إليها في مقالات متعلقة بها. (مارس 2021) سا ساسوكا (فيلم)معلومات عامةاللغة الأصلية اللغة المراثيةالبلد الهند الطاقمالمخرج Kishor Pandurang Belekar (en) القصة Kishor Pandurang Belekarتعديل - تعديل مصدري - تعديل ويكي بيان�...
Marshal Surya RachmanInformasi latar belakangNama lahirMarshal Surya RachmanLahir7 Maret 1971 (umur 53)Jakarta, IndonesiaGenre Pop Rock Hard rock Pop rock Klasik PekerjaanMusisiInstrumen Gitar Tahun aktif1997–sekarangLabel Warner Music Indonesia (1998–2002) EMI Music Indonesia (2003–2010) Universal Music Indonesia (2010–2015) Groovy Records (2015–sekarang) Artis terkait Dr. PM ADA Band Marshal Surya Rachman (lahir 7 Maret 1971) adalah gitaris grup musik ADA Band dan Dr.PM. Mars...
Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus. Cet article ne cite pas suffisamment ses sources (janvier 2022). Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de compléter l'article en donnant les références utiles à sa vérifiabilité et en les liant à la section « Notes et références ». En pratique : Quelles sources sont attendues ? C...
Cet article est une ébauche concernant une commune du Puy-de-Dôme. Vous pouvez partager vos connaissances en l’améliorant (comment ?). Le bandeau {{ébauche}} peut être enlevé et l’article évalué comme étant au stade « Bon début » quand il comporte assez de renseignements encyclopédiques concernant la commune. Si vous avez un doute, l’atelier de lecture du projet Communes de France est à votre disposition pour vous aider. Consultez également la page d’aid...
Consequences of the COVID-19 pandemic on sport in the Republic of Ireland Part of a series on theCOVID-19 pandemicScientifically accurate atomic model of the external structure of SARS-CoV-2. Each ball is an atom. COVID-19 (disease) SARS-CoV-2 (virus) Cases Deaths Timeline 2019 2020 January responses February responses March responses April responses May responses June responses July responses August responses September responses October responses November responses December responses 2021 Ja...
هذه المقالة يتيمة إذ تصل إليها مقالات أخرى قليلة جدًا. فضلًا، ساعد بإضافة وصلة إليها في مقالات متعلقة بها. (أغسطس 2020) قمة الرياض العالمية للصحة الرقمية هي مؤتمر دولي استضافته المملكة العربية السعودية عن بعد في أغسطس 2020 على هامش عام الرئاسة السعودية لمجموعة العشرين، ونظمته �...
Artikel ini tidak memiliki referensi atau sumber tepercaya sehingga isinya tidak bisa dipastikan. Tolong bantu perbaiki artikel ini dengan menambahkan referensi yang layak. Tulisan tanpa sumber dapat dipertanyakan dan dihapus sewaktu-waktu.Cari sumber: Sekolah Tinggi Pastoral Tahasak Danum Pambelum – berita · surat kabar · buku · cendekiawan · JSTOR Sekolah Tinggi Pastoral Tahasak Danum PambelumMotoPencetak Tenaga Pastoral Yang HandalJenisPerguruan Tin...
Person in charge of a boat, particularly its navigation and steering The coxswain (/ˈkɒksən/ KOK-sən, or /ˈkɒksweɪn/ KOK-swayn[1]) is the person in charge of a boat, particularly its navigation and steering. The etymology of the word gives a literal meaning of boat servant since it comes from cock, referring to the cockboat, a type of ship's boat, and swain, an Old English term derived from the Old Norse sveinn meaning boy or servant.[2] In 1724, a cockswain was defined...
Not to be confused with 2022 United States House of Representatives elections in Rhode Island. 2022 Rhode Island House of Representatives election ← 2020 November 8, 2022 (2022-11-08) 2024 → All 75 seats in the Rhode Island House of Representatives38 seats needed for a majority Majority party Minority party Third party Leader Joe Shekarchi Michael Chippendale Jon D. Brien Party Democratic Republican Independent Leader since January 5, 2...
Supreme Court of the United States38°53′26″N 77°00′16″W / 38.89056°N 77.00444°W / 38.89056; -77.00444EstablishedMarch 4, 1789; 235 years ago (1789-03-04)LocationWashington, D.C.Coordinates38°53′26″N 77°00′16″W / 38.89056°N 77.00444°W / 38.89056; -77.00444Composition methodPresidential nomination with Senate confirmationAuthorized byConstitution of the United States, Art. III, § 1Judge term lengthl...
Para pemain kostum di Yukicon 2014, sebuah konvensi penggemar di Finlandia Tiga pemain kostum di Comic Con di Long Beach 2014, mewakili tokoh dalam Star Trek, pahlawan super Wonder Woman (semesta komik DC) dan penjahat super Loki (semesta komik Marvel) Bermain kostum dari tokoh dalam Final Fantasy XIII Main kostum atau lakon kostum (bahasa Inggris: cosplay; gabungan dari costume play), adalah aktivitas dan pertunjukan seni di mana para peserta yang disebut cosplayer (pemain kostum) mengenakan...
Athénée royal Isabelle Gatti de Gamond Histoire et statut Fondation 1864 par Isabelle Gatti de Gamond Type École secondaire générale publique Administration Tutelles Wallonie-Bruxelles Enseignement Réseau Enseignement officiel Directeur Bertrand Wilquet Études Population scolaire 1 012 (2017) Enseignants 103 (2017) Localisation Ville Bruxelles Pays Belgique Site web www.argattidegamond.be Données clés Coordonnées 50° 51′ nord, 4° 21′ est Géolocalisat...
دورة فرنسا المفتوحة 1991 - زوجي الرجال جزء من دورة فرنسا المفتوحة 1991 البلد فرنسا التاريخ 1991 الرياضة كرة المضرب البطل(ة) جون فيتزجيرالد أندرس جاريد الوصيف(ة) ريك ليتش جيم بف النتيجة 6–0، 7–6 دورة فرنسا المفتوحة 1990 - زوجي الرجال دورة فرنسا المفتوحة 1992 - زوجي الرجا�...
Archaeological site in Illinois, United States Fisher Mound GroupLocation in IllinoisShow map of IllinoisLocation in United StatesShow map of the United StatesLocationWill County, IllinoisCoordinates41°19′17″N 88°15′00″W / 41.32139°N 88.25000°W / 41.32139; -88.25000 The Fisher Mound Group is a group of burial mounds with an associated village site located on the DesPlaines River near its convergence with the Kankakee River where they combine to form the Ill...
Politics of Fiji Constitution History Executive President (list) Wiliame Katonivere Prime Minister Sitiveni Rabuka Cabinet Attorney-General Siromi Turaga Leader of the Opposition Inia Seruiratu Legislative Parliament Speaker: Naiqama Lalabalavu Judiciary Supreme Court Chief Justice: Kamal Kumar Court of Appeal High Court Elections Electoral system Voting Political parties Post-independence elections 1972Mar 1977Sep 19771982198719921994199920012006201420182022Next Local government Recent loca...
Philosophical study of nature This article is about the philosophical study of nature. For the current in 19th-century German idealism, see Naturphilosophie. A celestial map from the 17th century, by the Dutch cartographer Frederik de Wit Natural philosophy or philosophy of nature (from Latin philosophia naturalis) is the philosophical study of physics, that is, nature and the physical universe. It was dominant before the development of modern science. From the ancient world (at least since A...