Join us at embedded world Exhibition&Conference on 26-28 February
Each year the embedded world Exhibition&Conference in Nuremberg offers the opportunity to obtain information about new products and innovations, enter into an exchange and to maintain and develop valuable contacts. Around 1.000 exhibitors are presenting state-of-the-art technology in all facets of embedded technologies, from construction elements, modules and complete systems through to operating systems and software, hard and software tools right up to services covering all aspects of embedded systems.
JuliaSoft will join the exhibition with our partners GrammaTech and Verifysoft: make sure to stop at the booth 4-423, Hall 4, to meet the team and learn about our combined solutions for software quality and security.
On Wednesday 27 February at 2.30pm Pietro Ferrara, JuliaSoft Head of Research & Development, will discuss and show how it is possible to combine semantic static analyses applied to different software components of IoT systems to detect bugs and vulnerabilities that might affect the physical reliability of the system in his speech at the Conference on Software & Systems Engineering.
Our exhibition partners
GrammaTech is a leading developer of software-assurance tools and advanced cyber-security solutions. CodeSonar®, GrammaTech’s highly advanced SAST solution, helps developers to eliminate the most costly and hard-to-find defects early in the application development lifecycle – identifying critical flaws from resource and memory issues, security defects, multi-thread concurrency flaws, compliance and standards violations, and more. The partnership between JuliaSoft and GrammaTech results in a single solution where CodeSonar will integrate its native C and C++ analysis with JuliaSoft Java, Android and .Net analyses.
Verifysoft Technology GmbH
Distributor of JuliaSoft and GrammaTech products in Germany, Verifysoft Technology is committed to provide test productivity solutions that will help companies more efficiently maintain and enhance their software applications.
About the event
Extreme miniaturization coupled with increasingly higher computer performance, efficient communication of networked, often also mobile systems – the developers of embedded systems have to meet enormous requirements. The reliability of electronic systems, distributed intelligence, the internet of things and solutions for future themes such as e-mobility and energy efficiency are the main topics right at the top of the agenda for the embedded sector and industry.
These are only some of the topics covered at the embedded world Exhibition&Conference which takes place this year in Nuremberg on 26-28 February. A leading event for the embedded sector, the exhibition is a must for anyone working in this area and gathers an international crown counting tens of thousands of visitors each year.
“Semantic Static Analysis of IoT Software” by Pietro Ferrara (27 Feb at 2.30pm)
The IoT paradigm brings together two historically different software worlds: on the one hand, embedded software runs on “things”, and is written in lower level programming languages like C and C++. Such software locally manages the device interacting with the physical world.
On the other hand, enterprise software running on the cloud is often implemented in higher level programming languages like Java and C#. It usually manages the data and the business processes of an organization (the Internet part), and it does not directly interact with the physical world.
Rigorous semantic static analyses have been widely applied to safety-critical software to detect runtime errors that might compromise its safety. Compared to non-semantic (e.g., syntactic) analyses, they discover all possible bugs of a given type, producing fewer false alarms. For these reasons, many standards like ISO 26262 require the application of semantic static analysis.
Similar analyses were available also for enterprise software despite the lack of interest in this world, since bugs and security vulnerabilities affected only data and processes, and not the safety. However, the enterprise software of an IoT system indirectly interacts with the physical world, where a software issue might compromise the safety of an IoT system.
In this speech, we discuss and show how we can combine semantic static analyses applied to different software components of IoT systems to detect bugs and vulnerabilities that might affect the physical reliability of the system.