Celebrating 10 years of BUGSENG
Today, 16 December 2020, marks exactly 10 years since we launched BUGSENG. A couple of years before that time, in the context of national and European research project, our founder and CTO Roberto Bagnara was confronted with software verification tools that were clearly badly designed and not up to the job. And they were used for the verification of safety-critical software.
Game-changing qualification services and tool features
This month, the BUGSENG team is launching a raft of new services and support for developers, QA and safety teams. We’ve designed them in response to feedback from our customers about the continual challenges you face balancing safety with available resources, budgets and project deadlines. Our new ECLAIR 3.9.0 release has three valuable new features to help you.
Driving smarter ECU consolidation
Engineers must provide evidence of how their software ensures freedom of interference, independence, and absence of interference.
New Webinar: Language subsetting and compiler qualification
Developing critical systems software in C saves time and money if you have proper language subsetting and compiler qualification.
BUGSENG’s ECLAIR static analyzer could save you its license fee in just one project
You probably know the expression ‘prevention is better than cure’. Nowhere is this truer than in developing safety critical software. We have seen enough accident investigations to know there are no upper limits to the potential costs that errors can incur
The ECLAIR static analysis tool boosts productivity and ROI
Managing software development projects is a tough job. You’re constantly juggling resources, deadlines, budgets and risk. It’s like running a small city.
What are the costs of false positives and false negatives?
False positives and false negatives are as dangerous in static analysis tools as they are in Covid-19 testing. False positives say you have a problem when you don’t. False negatives tell you everything is fine when it isn’t.
New webinar demo: ECLAIR revolutionizes interfacing with IDEs
Apparently, Isaac Newton did some of his best work while isolating from the Great Plague of 1665/6. The enforced absence gave him time and space to develop his theories on calculus, optics and the laws of motion and gravity. We can’t claim that our work will be quite so world-changing, but we do believe we have solved an issue all static analysis tool vendors have been grappling with for years.
ECLAIR 3.7 launches with 3 new code analysis benefits
We initially created ECLAIR, our static code analysis tool, back in 2008. Our aim was, and still is, to help developers build better, more reliable systems. At the same time, we want to help managers ensure code safety, portability and reliability.