C language; avionics; embedded systems; multi-threading; operating systems (computers); program diagnostics; ARINC 653 applications; AstreeA; POSIX threads applications; academic setting; airbus; certification authorities; concurrent embedded avionics software; industrial setting; industrial static analyzers; operating system; sequential C software; software components; sound static analysis; Aerospace electronics; Arrays; Concrete; Instruction sets; Semantics; Standards; Static analysis; abstract interpretation; concurrent software; embedded software;
机译:具有动态优先级的嵌入式实时并发软件的静态分析
机译:基于组件的软件作为程序和平台并发设计的框架-工业厨房电器嵌入式系统
机译:验证并行软件系统属性的流分析
机译:在验证并发嵌入式航空电子软件的验证时,朝向工业使用声音静态分析
机译:使用有限元分析和实验验证对工业输送机皮带轮进行静应力分析。
机译:使用ACL2进行工业硬件和软件验证
机译:致力于声音静态分析的工业应用,以验证并发嵌入式航空电子软件