机译:使用AADL验证,模拟和实现ARINC653系统
机译:计划和组织使用SysML建模的系统开发任务的组合设计结构矩阵(DSM)和离散差分进化(DDE)方法
机译:DOL-BIP关键:用于严格的设计和混合关键性多核系统的工具链
机译:结合需求,用例图和AADL模型进行安全关键系统设计
机译:基于UML和SysML的系统工程设计模型的验证和确认。
机译:辅助个人机器人(APR)的三轮完整运动系统的设计实现和验证
机译:使用aaDL验证,模拟和实施aRINC653系统
机译:使用模型检查验证关键任务软件的设计和实现