Unified Modeling Language; computer aided software engineering; concurrency control; real-time systems; risk management; software architecture; PPOOA-UML; PPOOA-Visio CASE tool; architectural model; autotuning function; communications system; concurrency; deadlock risk assessment; military transport aircraft; real-time constraint; real-time system; software architectural assessment; system lifecycle; system synthesis; Deadlock detection; Multitasking; Real-Time; UML;
机译:死锁风险评估在建筑模型中的应用
机译:安全关键型实时嵌入式系统的形式化模型和风险评估方法
机译:使用Petri网模型的柔性制造系统中的防死锁和避免死锁
机译:实时系统建筑模型中的僵局风险评估
机译:解决柔性制造系统实时控制中的系统死锁。
机译:基于实时定位系统的水电施工现场实时安全风险评估
机译:在实时系统架构模型中应用死锁风险评估
机译:试点员的实时推理:基于模型的人工智能系统实时推理方法的检验