Нэнси Левесон
![]() | В этой статье есть несколько проблем. Пожалуйста, помогите улучшить его или обсудите эти проблемы на странице обсуждения . ( Узнайте, как и когда удалять эти шаблонные сообщения )
|
Нэнси Дж. Левесон — американский специалист по безопасности систем и программного обеспечения , профессор аэронавтики и астронавтики в Массачусетском технологическом институте , США . [1]
Левесон получила степени (в области информатики, математики и менеджмента) в Калифорнийском университете в Лос-Анджелесе , в том числе докторскую степень в 1980 году. Ранее она работала в Калифорнийском университете в Ирвине и Вашингтонском университете преподавателем . Она изучала критически важные для безопасности системы, такие как система предотвращения дорожно-транспортных столкновений (TCAS) для предотвращения столкновений самолетов в воздухе и проблем с Therac-25 . аппаратом лучевой терапии [2]
Левесон был редактором журнала IEEE Transactions on Software Engineering . Она была членом ACM , IEEE Computer Society , System Safety Society и AIAA . [3]
Биография [ править ]
Левесон — профессор аэронавтики и астронавтики , а также профессор инженерных систем Массачусетского технологического института. Профессор Левесон проводит исследования по темам системной безопасности, безопасности программного обеспечения, разработки программного обеспечения и систем, а также взаимодействия человека и компьютера.
В 1999 году она получила премию ACM Аллена Ньюэлла за выдающиеся исследования в области компьютерных наук, а в 1995 году — премию AIAA Information Systems за «развитие области безопасности программного обеспечения и продвижение ответственных методов разработки программного обеспечения и систем, где на карту поставлены жизнь и имущество». В 2000 году она была избрана членом Национальной инженерной академии (NAE) за вклад в безопасность программного обеспечения. [ нужна ссылка ]
Она опубликовала более 200 исследовательских работ и является автором двух книг: «Безопасное программное обеспечение: системная безопасность и компьютеры», опубликованной в 1995 году издательством Addison-Wesley, и «Проектирование более безопасного мира», опубликованной в 2012 году издательством MIT Press. Она активно консультирует во многих отраслях промышленности по вопросам предотвращения несчастных случаев. В 2005 году она получила премию ACM Sigsoft за выдающиеся исследования.
Она разработала STPA (системный теоретический анализ процессов). [4] и STAMP (Теоретико-системная модель аварий и процессы) [5] [6] методологии анализа аварий .
В 2020 году она получила медаль IEEE за технологии защиты окружающей среды и безопасности за разработку STAMP и других инструментов анализа системной безопасности и моделирования аварий. [7]
Книги [ править ]
- Эрик Холлнагель, Дэвид Д. Вудс, Нэнси Левесон, Инженерия устойчивости: концепции и принципы . Ашгейт Паблишинг, ООО , 2007. ISBN 978-0-754-68136-6 .
- Нэнси Дж. Левесон, Safeware: системная безопасность и компьютеры . Аддисон-Уэсли , 1995. ISBN 0-201-11972-2 .
- Нэнси Дж. Левесон, Проектирование более безопасного мира: системное мышление в применении к безопасности . МИТ Пресс, 2011. ISBN 978-0-262-01662-9 . Открытый доступ для скачивания глав книги в формате PDF.
Ссылки [ править ]
- ^ Нэнси Левесон: профессор аэронавтики и астронавтики , Массачусетский технологический институт , США.
- ^ «Медицинские приборы: Therac-25» . Исследовательские ворота . Проверено 18 ноября 2017 г.
- ^ Нэнси Левесон: факультет аэронавтики и астронавтики Массачусетского технологического института
- ^ Конспекты лекций Массачусетского технологического института, Системная безопасность: введение в системно-теоретический анализ процессов (STPA), Основные компоненты
- ^ Ханан Алтаббах; Мохаммад А. Аль-Казими; Сьюзан Мюррей; Кэти Грэнтэм (2014 г.), «STAMP – целостный подход к обеспечению безопасности системы или просто еще одна модель риска?» , Журнал по предотвращению потерь в перерабатывающей промышленности , 32 : 109–119, doi : 10.1016/j.jlp.2014.07.010 , ISSN 0950-4230
- ^ Партнерство по системным подходам к безопасности (PSASS), семинары MIT STAMP
- ^ Медаль IEEE для получателей технологий защиты окружающей среды и безопасности , 2020 г.
Внешние ссылки [ править ]
- Домашняя страница Нэнси Левесон в Массачусетском технологическом институте
- Нэнси Дж. Левесон на DBLP библиографическом сервере
- Медицинское оборудование - Therac 25
- Живые люди
- Американские писатели научно-популярной литературы
- Формальные методы люди
- Выпускники Калифорнийского университета в Лос-Анджелесе
- Калифорнийский университет, факультет Ирвайна
- факультет Вашингтонского университета
- Инженерный факультет Массачусетского технологического института
- Писатели по информатике
- Редакторы американских академических журналов
- Американские женщины-компьютерщики
- Американские ученые-компьютерщики
- Члены Национальной инженерной академии США
- Американские женщины-ученые
- Американские женщины 21 века
- Незавершённые записи американского академического учёного