“Together we are strong…”
That is why Solid Sands teams up with various companies to share knowledge, exchange experiences and jointly work on projects to improve software quality.
Austrian Bit Experts is a technology services and consultancy company that provides software development tools solutions for embedded system and IoT markets. ABIX has been founded in 2013 by a team working in the embedded software industry for more than two decades which built up a unique stock of expertise and experience in a variety of embedded sectors. Since its founding ABIX’ business is service based, serving exclusively an international customer base that includes well known microprocessor manufacturers. ABIX’ first product is a simulator generation framework that automatically creates a high performance simulator tool from a CPU architecture description.
AbsInt provides unique development tools for embedded systems, with a focus on validation, verification and certification of safety-critical software.
The company’s main areas of expertise include verified compilation, proving the absence of runtime errors and invalid concurrent behavior, and static analysis of the worst-case execution time and stack usage.
AbsInt’s tools help ensure that your software is reliable, robust, and less expensive to produce within a shorter development cycle.
BUGSENG is a leading provider of solutions and services for static code analysis. BUGSENG has designed a new generation of tools: these are based on sophisticated program verifiers that can handle the complexity of the task in a transparent way and effectively support the software engineering community in a continuous improvement process. Built on more than 20 years of advanced research, the ECLAIR software verification platform embodies what probably is the most accurate MISRA-checking tool available on the market. BUGSENG offers a full range of services relating to software verification including training courses, consulting, customization, verification of customer code.
HighTec is the world’s largest commercial open-source compiler vendor. Our automotive grade compilers are portable and always available for the latest revisions of supported architectures ahead of general release. PXROS-HR is an ASIL-D/SIL-3 certified micro-kernel RTOS which provides the highest level of data protection, functional safety, and robustness. In addition HighTec offers complete development and consulting services in the areas of performance optimization, functional safety, and porting from single-core to multicore systems and to the AutoSAR environment.
Innofunding secures financing for innovative projects. Our goal is to advise and actively support innovative and/or circular entrepreneurs. With our knowledge, experience and network we define and finance innovation strategies and the corresponding technical roadmaps. With a passionate team of engineers and economists, we help to actualise and scale-up a broad spectrum of new technologies.
Validas AG specializes in tool qualification according to common safety standards, especially in the automotive, aviation and semiconductor industries. Validas AG supports tool users and tool developers in the classification and documentation of integrated tool chains.
Verifa helps implement and maintain Continuous Delivery pipelines for our customers, helping them to build better software at higher velocity and quality. With a presence in Europe, the US and China, our highly technical team of consultants provide automated DevOps and DevSecOps pipelines to assist companies to build and validate their software at faster than ever speeds. We help customers break down complex systems into independent sub systems that are easier to maintain, faster to build, and require less time to test. For functional safety standards such as ISO26262, FDA/62304, D-O178C and 61508, Verifa provides a fully audited tooling pipeline that delivers quality artifacts to the developer desktop and other stakeholders. Whatever your complexity, resource or technical software challenge, Verifa stands ready to assist.
Verocel offers expert tools and services to aid customers in software or system verification across multiple industries where safety assurance is critical. As leaders in independent software and system verification, Verocel has set the industry baseline for procedures and processes with numerous successful certifications/verifications.
VersionBay is a Technical and Scientific Computing Consulting company that has a mission to empower people to leverage state-of-the-art software stacks. VersionBay offers help with MATLAB and Python projects. These services can include, migrating from one version of MATLAB or Python to another, the migration between MATLAB and Python and supporting you with automatic code generation workflows from MATLAB/Simulink.
Verum creates and sells software engineering tools for designing verifiably correct embedded software for cyber-physical systems. Our latest product, “Dezyne”, enables software engineers to create, explore and formally verify designs for embedded software systems of all types. It leads to generated code that is robust, reliable and resilient. The results, using Dezyne, include a 300% increase in development efficiency, a 99.99% decrease in customer reported defects and a 20% decrease in time to market.
Based in Waalre, The Netherlands, close to Eindhoven’s High Tech Campus, Verum has development centers in the Netherlands and Argentina. Our customers include leading high-tech multinational companies.
VUSec is the Systems and Network Security Group at Vrije Universiteit Amsterdam and one of the larger groups in the Computer Science department at the VU. Our research covers all aspects of system-level security and reliability, including topics such as software hardening, exploitation, binary analysis, dependable systems, software testing, side channels, and reverse engineering.
Wind River is a global leader in delivering software for the Internet of Things (IoT). The company’s technology has been powering the safest, most secure devices in the world since 1981 and today is found in more than 2 billion products. Wind River offers a comprehensive edge-to-cloud product portfolio that is backed by world-class global professional services, award-winning customer support, and a broad partner ecosystem. Wind River software and expertise are accelerating digital transformation of critical infrastructure systems that demand the highest levels of safety, security, performance, and reliability.