أفكار لمشروع TLA+

Question

من فضلك أعطني بعض الاقتراحات بشأن موضوع المشروع في TLA+ لغة. أنا آخذ دورة في اللغة ، إنها السنة الأولى التي أتعلم فيها بالمواصفات والتحقق وليس لدي أدنى فكرة عما يجب أن أختاره في غضون أسبوعين. أيه أفكار؟

Answer 1

مشاريع الألعاب المعتادة مع TLA+ في خط:

• نموذج وحدة تحكم الرفع: المصعد لديه ن الأبواب ، وسوف يتعين عليك تصميم كل من ظروف السلوك والسلوك ، على سبيل المثال أنه بمجرد وجوده في الأعلى ، لن يتحرك المصعد إلى الأعلى ، أو أنه لا ينبغي أن يكون لدينا بابان مفتوحان في نفس الوقت ، ولم يتم فتح أي باب عندما المقصورة ليست أمامها ، وغيرها الكثير.
• وحدة التحكم في ضوء حركة المرور النموذجية: على سبيل المثال ، معبر بسيط ، مع العديد من القيود ، مثل مصابيح المواجهة تتم مزامنة ، وإذا كان محورًا واحدًا أخضرًا ، فإن الآخر لديه أحمر. يمكنك تحسين الشيء الذي يضيف اكتشاف حالة حركة المرور ، والتوقيت.
• نموذج الغسالة: خاصة خزانة الباب ، والبرامج البسيطة. أثبت أنه لا توجد وسيلة لقفل الباب ، فهذا دائمًا حل لتجاوز ملابسك (حتى لو كان رطبًا) في وقت محدود (سيتعين عليك التفكير في خطوة التخلص من المياه) ، دون الحصول على الكثير من الماء أرضيتك.

بشكل عام ، يجب أن تجمع مشاريع الألعاب المثيرة للاهتمام لـ TLA+ بين السلوك البسيط نسبيًا ، وظروف الهيكلية والسلامة ، بحيث ستتمكن من التحقق من السلوك الذي حددته لن يؤدي إلى إبطال ظروف السلامة.