Séance de cours
Cette séance de cours traite de l'importance d'intégrer les considérations d'efficacité dans le processus de conception des systèmes critiques pour la sécurité, en mettant l'accent sur l'exactitude et l'efficacité. Il explore les défis rencontrés pour atteindre à la fois l'exactitude et l'efficacité, le rôle des autorités de certification, le développement de nouvelles techniques de conception et la transition vers des environnements informatiques intégrés. La séance de cours aborde des sujets tels que l'informatique en temps réel, les techniques de conception basées sur des modèles, la programmation réactive synchrone, l'analyse du pire des cas, la planification de la criticité mixte et les cadres cycliques. Il aborde également l'aspect social de la certification, la nécessité d'une dégradation gracieuse des systèmes et la complexité des processus de certification. L'instructeur met l'accent sur la nécessité d'équilibrer l'exactitude, l'efficacité et les coûts de développement dans les systèmes critiques de sécurité des bâtiments.