“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.
AFuzion is a boutique company focused on infusing technical knowledge. All Training, Gap Analysis, Whitepapers, Checklists, and Templates were developed and copyrighted by actual AFuzion personnel. Those copyrights were never transferred or sold to TekSci, Enea, HighRely, Atego, etc. Any companies using such are merely using our 10-30+ year old information while also violating copyright law if they removed the author’s name from those works. Why would anyone want 10-30+ year old technical information, or to use services from a company who misrepresents authorship and ownership? AFuzion: we created it. We own it. Updated continuously to the latest/greatest. ONLY from AFUZION.
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.
CodeClinic guides companies through digital transformation, helping them achieve high quality software releases at higher velocity through advanced tooling and a relentless focus on automation. With expertise in functional safety and compliance, our team of experts can help you achieve certification faster than ever.
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.
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.
At Verum, we help our customers and partners solve the most challenging software issues of today and tomorrow. We support customers with our product Dezyne, a software engineering toolset that enables engineers to specify, design, validate and formally verify software components for embedded systems combined with consultancy services. Dezyne enables engineers to specify, design, validate and formally verify software components for industrial, medical & automotive systems. Dezyne’s unique automated verification engine ensures that software designs can be trusted from the start. The result is an automatically generated code of irrefutable quality that can be used to meet product safety and security requirements. Overall, Dezyne results in reduced Product Lifecycle Management costs and lower Total Cost of Ownership.
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.