Пожалуйста, дайте мне несколько предложений по теме проекта в TLA + язык. Я прохожу курс по языку, это первый год, когда я изучаю спецификацию и проверку, и я понятия не имею, что выбрать для реализации через две недели. Любые идеи?
Идеи для проекта TLA +
Ответы (1)
Обычные игрушечные проекты с TLA + относятся к:
- Смоделируйте контроллер лифта: у лифта n дверей, и вам нужно будет смоделировать как поведение, так и условия безопасности, например, что, оказавшись наверху, лифт больше не поднимется, или что мы не должны открываться две двери одновременно, и ни одна дверь не должна открываться, когда кабина не находится перед ней, и многое другое.
- Модель контроллера светофора: для простого примера простой перекресток со многими ограничениями, например, светофоры синхронизируются, и если одна ось имеет зеленый цвет, другая - красный. Вы можете доработать вещь, добавив определение состояния трафика и тайминга.
- Модель стиральной машины: особенности дверного шкафчика и простые программы. Докажите, что нет способа запереть дверь, то есть всегда есть решение, чтобы освободить вашу одежду (даже если она мокрая) за ограниченное время (вам нужно будет рассмотреть этап удаления воды), не попадая слишком много воды ваш этаж.
В общем, интересные проекты игрушек для TLA + должны сочетать в себе относительно простое поведение, а также конструктивные условия и условия безопасности, чтобы вы могли убедиться, что определенное вами поведение не аннулирует условия безопасности.
person
tonio
schedule
20.05.2010
