Левесон, Нэнси
Нэнси Левесон (англ. Nancy G. Leveson) — американский специалист в области безопасности систем и программного обеспечения, профессор аэронавтики и астронавтики в Массачусетском технологическом институте (MIT). Известна исследованиями критически важных систем, включая аппарат лучевой терапии Therac-25, и разработкой методологий STPA и STAMP для анализа аварий.
Общие сведения
| Нэнси Левесон | |
|---|---|
| Дата рождения | 1944 |
| Страна | |
| Образование | |
| Род деятельности | учёная в области информатики, инженер |
| Награды и премии | |
Биография
Левесон получила степени в области информатики, математики и менеджмента в Калифорнийском университете в Лос-Анджелесе, включая степень доктора философии в 1980 году. Ранее она преподавала в Калифорнийском университете в Ирвайне и Вашингтонском университете. Она исследовала критически важные системы, такие как система предупреждения столкновений самолётов в воздухе (TCAS)[1]. Левесон была редактором журнала IEEE Transactions on Software Engineering. Состояла в ACM, Компьютерном обществе IEEE, Обществе безопасности систем и AIAA.
Левесон является профессором аэронавтики и астронавтики, а также профессором инженерных систем в MIT[2]. Она проводит исследования в области безопасности систем, безопасности программного обеспечения, программной и системной инженерии, а также человеко-компьютерного взаимодействия.
В 1999 году она получила премию ACM имени Аллена Ньюэлла за выдающиеся исследования в области информатики, а в 1995 году — премию AIAA в области информационных систем. В 2000 году была избрана членом Национальной инженерной академии США за вклад в безопасность программного обеспечения.
Она опубликовала более 200 научных статей и является автором трёх книг: «Safeware: System Safety and Computers» (1995), «Engineering a Safer World» (2012) и «An introduction to system safety engineering» (2023). Левесон консультирует различные отрасли по вопросам предотвращения аварий. В 2005 году она получила премию ACM SIGSOFT за выдающиеся исследования.
Она разработала методологии STPA (System Theoretic Process Analysis)[3] и STAMP (System Theoretic Accident Model and Processes)[4] для анализа аварий.
В 2020 году она была удостоена медали IEEE за экологические технологии и технологии безопасности за разработку STAMP и других инструментов анализа безопасности систем[5].
Книги
- Erik Hollnagel, David D. Woods, Nancy Leveson, Resilience Engineering: Concepts and Precepts. Ashgate Publishing, Ltd., 2007. ISBN 978-0-754-68136-6.
- Nancy G. Leveson, Safeware: System Safety and Computers. Addison-Wesley, 1995. ISBN 0-201-11972-2.
- Nancy G. Leveson, Engineering a Safer World: Systems Thinking Applied to Safety. MIT Press, 2011. ISBN 978-0-262-01662-9. Open access pdf downloads of book chapters.
- Leveson, Nancy (2023). An introduction to system safety engineering. Cambridge, Massachusetts: The MIT Press. ISBN 978-0-262-37675-4.