Функциональное программирование в атомных станциях?
Python, будучи скомпилированным в байт в-код интерпретируемым языком, очень трудно заблокировать вниз. Даже при использовании exe-поставщика-программного-блока как py2exe расположение исполняемого файла известно, и байт-коды Python хорошо поняты.
Обычно в случаях как это, необходимо сделать компромисс. Как важный это должно действительно защитить код? Есть ли реальные секреты там (такие как ключ для симметричного шифрования банковских переводов), или Вы просто параноики? Выберите язык, который позволяет Вам разработать лучший самый быстрый продукт, и быть реалистичными относительно того, насколько ценный Ваши свежие идеи.
, Если Вы решаете, действительно необходимо осуществить проверку лицензий надежно, записать его как маленькое расширение C так, чтобы код проверки лицензий мог быть дополнительно-твердым (но не невозможным!), чтобы перепроектировать, и оставить объем Вашего кода в Python.
1 ответ
Думаю, вы могли бы. Язык кажется хорошо подходящим для таких ситуаций, если вы достаточно доверяете компилятору, чтобы использовать его в критически важной ситуации.
Помните, что в критических ситуациях проверяется не только ваш код, но и все другие компоненты. Это включает в себя компилятор (компилятор Haskell не является одним из самых простых для проверки кода), соответствующее сертифицированное оборудование, которое запускает программное обеспечение, соответствующее оборудование, которое компилирует ваш код, оборудование, которое запускает компиляцию компилятора, который скомпилирует ваш код, и даже провода которые подключают все это к электросети и частоте изменения напряжения в розетке.
Если вас интересует качество критически важного программного обеспечения, я предлагаю ознакомиться с процедурами обеспечения качества программного обеспечения NASA .