“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.
Webinar: CerTran & SuperTest: continuous C/C++ compiler qualification
Webinar: Language Subsetting and Compiler Qualification in the Development of Software for Safety-Critical Systems
Webinar: The Application Hazard Scanner: Safety in Spite of Compiler Defects
GrammaTech’s advanced static analysis tools are used by software developers worldwide, spanning a myriad of embedded software industries including avionics, government, medical, military, industrial control, and other applications where reliability and security are paramount. Originally developed within Cornell University, GrammaTech is now a leading research center for software security and a commercial vendor of software-assurance tools and advanced cyber-security solutions. With both static and dynamic analysis tools that analyze source code as well as binary executables, GrammaTech continues to advance the science of superior software analysis, providing technology for developers to produce safer software.
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.
Rapita Systems develops on-target embedded verification software solutions for customers in the avionics and automotive electronics industries. Our tools help to reduce the cost of measuring, optimizing and verifying the timing, performance, and test effectiveness of critical real-time embedded systems for both single and multicore systems. The Rapita Verification Suite (RVS) reduces the effort needed to verify critical embedded software for functional behavior (requirements-based testing), structural coverage, and timing behavior. In addition, Rapita’s MACH178 provides an end-to-end solution for providing certification evidence to satisfy DO-178C and CAST-32A/AMC 20-193 objectives for multicore systems.
SYSGO is the leading European manufacturer of embedded software solutions such as the real-time operating system and hypervisor PikeOS and the embedded industrial-grade Linux ELinOS. Since 1991, SYSGO has been supporting customers in the Aerospace, Automotive, Railway and IIoT industries in the development of Safety-critical applications. SYSGO was the first company worldwide to achieve the Safety requirement level SIL 4 for its multi-core capable real-time operating system and hypervisor PikeOS. PikeOS version 4.2.3 Build S5577 meets the Common Criteria at the EAL 3+ level for ARMv7, ARMv8 and x86_64 and is also certified according to the strictest Safety standards such as IEC 61508, EN 50128, EN 50657 and ISO 26262, thus enabling application development according to the “Safe & Secure by Design” principle. For industrial embedded systems, SYSGO also offers ELinOS, a Linux distribution with real-time extensions for embedded systems. Furthermore, solutions such as the Railway development platform (SAFe-VX) and the Secure Automotive Connectivity Platform (SACoP) for secure data transfer in, with and between automobiles are available.
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.
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.