机译:使用BIP框架进行严格的基于组件的系统设计
Verimag Laboratory;
autonomous robots; code generation; component-based design; correctness; deadlock-freedom; design flow; invariant generation; model transformation; model-based design;
机译:使用BIP框架进行严格的基于组件的系统设计
机译:BIP框架中基于组件的系统的运行时验证,具有经过正式验证的健全且完整的工具
机译:DOL-BIP关键:用于严格的设计和混合关键性多核系统的工具链
机译:严格的系统设计:BIP方法
机译:QoSPL:服务质量驱动的软件产品线工程框架,用于设计和分析基于组件的分布式实时和嵌入式系统
机译:基于组件的神经元离子通道动力学仿真的FPGA设计框架
机译:使用BIP框架进行基于组件的严格系统设计