1+ hour, 39+ min ago  (581+ words) Programming languages like Ada/SPARK and Rust aim to improve things with or without AI assistance. Developers may want to take a closer look at these even while turning to AI to enhance their productivity. While a definitive accounting of…...

20+ hour, 53+ min ago  (369+ words) "The target audience includes embedded software developers and engineers interested in improving code quality and reducing bugs in their applications, particularly those who participate in industry webinars and technical discussions." Quick Poll: Writing Bug-Free Code for Embedded Applications This poll…...

1+ week, 2+ day ago  (343+ words) Type 2 hypervisors typically manage images that include an operating system, although it's not a requirement. Isolation is implemented in hardware. Container systems let the underlying operating system provide services, but each image is isolated. WASM is essentially a virtual machine…...

4+ week, 5+ hour ago  (442+ words) We're interested in what environment you're targeting now with respect to virtualization and containers. Take our quick poll and see what others are using. There are many ways to provide isolated software environments depending on the hardware available plus the…...

4+ week, 1+ day ago  (1831+ words) This is part two of a four-part series highlighting the Ada SPARK programming language that's designed to facilitate the creation of safety- and security-critical systems. It implements the software for the Ada Mars Rover demo platform. In this part, we…...

1+ mon, 2+ hour ago  (551+ words) I think more people will be developing applications thanks to AI, but real programmers will still be needed, possibly more than in the past. Projects like the one discussed in "Demonstrating SPARK with a Mars Rover (Part 1): Cyber-Physical Systems" highlight…...

1+ mon, 6+ day ago  (790+ words) In space platforms, defense systems, avionics, and other mission-critical environments, functions that were once implemented entirely in hardware are now governed by increasingly complex software. This brings a lot along with it: higher performance, easier adaptability, and faster system evolution....

1+ mon, 2+ week ago  (848+ words) The Ada SPARK programming language was designed to facilitate the creation of safety- and security-critical systems. It includes a variety of features like contracts that let developers specify software requirements and specifications. What follows is the first of a four-part…...

1+ mon, 2+ week ago  (561+ words) One thing generative AI is good at doing is generating lots and lots of text, including programming code. It's great if the software works. Unfortunately, though, many who use it only care if it works once, with little thought on…...

1+ mon, 2+ week ago  (1246+ words) Fuzz testing, or fuzzing, has become a cornerstone of modern software assurance. Once regarded as a niche technique primarily for security research, it's evolved into a mainstream practice for uncovering security vulnerabilities and functional defects across various systems. These failures…...