# Software aspects of strategic defense systems

> SDI, 소위 "스타워즈 프로젝트"가 필요로 하는 소프트웨어 시스템이 만들어질 수 없는 이유에 대한 8가지 에세이 모음.

[SDI](https://wiki.g15e.com/pages/Strategic%20Defense%20Initiative.txt), 소위 "스타워즈 프로젝트"가 필요로 하는 소프트웨어 시스템이 만들어질 수 없는 이유에 대한 8가지 에세이 모음.

> On 28 lune 2985, <David Large Parnas>, a respected computer scientist who has consulted extensively on United States defense projects, resigned from the Panel on Computing in Support of Battle Management, convened by the Strategic Defense lnitiative Organization (SDIO). With his letter ofresignation, he submitted eight short essays explaining why he believed the software required by the Strategic Defense Initiative would not be trustworthy. Excerpts from Dr. Parnas's letter and the accompanying papers have appeared widely in the p.yess. The Editors of American Scientist believed that it would be useful to the scientific community to publish these essa,ys in their entirety to stimulate scientific discussion of the feasibility of the project. As part of the activity of the Forum on Risks to the Public in the use ofcomputer systems the Editors of Communications are pleased to reprint these essays.

https://web.stanford.edu/class/cs99r/readings/parnas1.pdf#page=1.36

에세이 목차:

1. The fundamental technological differences between <software engineering> and other areas of engineering and why software is unreliable
2. The properties of the proposed SDI software that make it unattainable
3. Why the techniques commonly used to build military software are inadequate for this job
4. The nature of research in software engineering, and why the improvements that it can effect will not be sufficient to allow construction of a truly reliable strategic defense system
5. Why I do not expect research in [artificial intelligence](https://wiki.g15e.com/pages/Artificial%20intelligence.txt) to help in building reliable military software;
6. Why I do not expect research in <automatic programming> to bring about the substantial improvements that are needed
7. Why military funding of research in software and other aspects of [computing science](https://wiki.g15e.com/pages/Computer%20science.txt) is inefficient and ineffective.

## 메모

이 에세이가 쓰이고 약 40년이 지났다(<2025년> 기준). 당시에 비교해 주요하게 바뀐 점들:

- 당시에 아직 컴퓨팅 파워가 턱없이 부족하다고 평가했던 <프로그램 검증>은 이제 충분히 실용적으로 쓸 수 있는 기술이 되었다. (예: [Lean](https://wiki.g15e.com/pages/Lean%20(programming%20language.txt)))
- 복잡한 아날로그 세상에서 벌어지는 일을 충분히 빠르게 계산하기 어렵다고 했지만 이제는 컴퓨터가 너무나 빨라진 나머지 큰 규모의 물리적 현상을 컴퓨터 안에서 유의미한 정확도로 시뮬레이션을 할 수 있게 됐다.
- 당시엔 장난감 같아서 언급조차 되지 않던 [신경망](https://wiki.g15e.com/pages/Artificial%20neural%20network.txt)이 지금은 거의 세상을 집어 삼키고 있다. 물론 군용으로 쓰려면 반드시 <기호주의 접근>이 통합되어야 할 것.