研究 嵌入式系统设计与验证 嵌入式系统是布鲁诺·凯斯勒基金会数字产业中心的研究单位。该部门旨在开发先进的分析技术,以支持航空航天、铁路、汽车、农业等各种应用领域中复杂系统的设计。 嵌入式系统(ES)是一种基于计算机的系统,其中某种软件通常通过传感器和执行器与外部环境交互,以执行可能复杂和/或关键的功能。ES的示例包括火车、汽车、航空和航天飞机、工业厂房和生产机器、探测车以及环境和结构监测的控制系统。 嵌入式系统设计中的关键问题是确保正确性、缩短生产时间和降低成本以及实现复杂的控制功能。