News
Pragma Dev Studio V6. 1 Features OBP Model Checker
1+ hour, 51+ min ago (191+ words) Embedded Computing Design Pragma Dev Studio V6. 1 Features OBP Model Checker Pragma Dev introduced its Pragma Dev Studio V6. 1 with improvements to model exploration and state space reduction. Pragma Dev Studio is employed for model checking and formal verification, allowing developers to…...
JKI Security Suite Purpose Built for Lab VIEW Applications
2+ hour, 7+ min ago (115+ words) Embedded Computing Design JKI Security Suite Purpose Built for Lab VIEW Applications During NI Connect 2026, JKI introduced its JKI Security Suite, a cybersecurity compliance solution purpose built for Lab VIEW applications. Steve Summers, Security Lead, Emerson commented, "Test teams are…...
Product of the Week: Boot Loop Test, AI-Powered Hardware-in-the-Loop
1+ week, 1+ day ago (312+ words) As embedded systems continue to grow in complexity and connectivity, and become more software-defined, firmware development, testing, and debugging are increasingly crucial processes for modern hardware teams trying to get products to market faster. But automating and accelerating these processes…...
Developing Formally Proven Code with AI
2+ week, 2+ hour ago (301+ words) Lead of Technical Account Management and Business Development Developing formally proven code is challenging. It is also extraordinarily valuable: it produces software with a level of robustness that is otherwise unreachable, and you can have very high confidence that your…...
What Triggers Work in Firmware? Uncovering Event-Driven Execution in EDK2
3+ week, 1+ day ago (1524+ words) Many people think firmware runs in a simple, step-by-step way. Drivers seem to load one after another, and the execution log shows a smooth boot process. Traditional debugging tools also suggest everything happens in order. However, this view is not…...
Tool integration provides AI with the guardrails needed for embedded code generation
3+ week, 5+ day ago (638+ words) Director of Product Strategy Embedded & Safety Critical Compliance However, embedded teams tend to approach emerging practices such as AI-assisted development with caution. Concepts like "vibe coding," where developers iteratively prompt AI to generate code, may be gaining attention, but they…...
Emerson Announces the Expansion of AI-Ready Test Automation Platform at NI Connect 2026
3+ week, 6+ day ago (162+ words) FORT WORTH, Texas (May 13, 2026) " Emerson today announced the expansion of NI Nigel'AI across its test software portfolio, introducing new prompt-based code generation in the NI Lab VIEW+ Suite and further developing the NI platform into an integrated, AI-ready test automation…...
Ada Is a Memory-Safe Language. It's Also Not New. That's the Point.
1+ mon, 5+ day ago (671+ words) The word "Ada" tends to evoke images of Fortran-era batch jobs and government procurement forms. That image is wrong. Ada 2022 is a modern language. It has: The toolchain is mature. GNAT'is production-grade, the Alire'package manager works like you'd expect a…...
Math Works Brings Trusted AI to Embedded Systems Development in MATLAB and Simulink Release 2026a
1+ mon, 1+ week ago (155+ words) Math Works is advancing AI for engineering in two complementary ways:" First, the company is embedding copilots directly into the environments engineering teams are already using, such as"MATLAB Copilot, Simulink Copilot, and Polyspace Copilot. R2026a also includes three enhancements across…...
Wind River Joins the CHERI Alliance
1+ mon, 2+ week ago (283+ words) Embedded Computing Design Wind River Joins the CHERI Alliance Wind River, an Aptiv company and global leader in mission-critical software for the intelligent edge, announced that it has joined the CHERI Alliance, a group supporting the global adoption of the…...