Partners

“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.

Whitepaper: Future-proofing the GCC compiler for an automotive grade microcontroller

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.

ACE Consulting provides top quality technical consultancy with an independent view, based on in-depth knowledge, personal commitment and technical versatility.

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.

Webinar: Back to Basics: Safe and Secure use of the Standard C Library
Webinar: Safety Critical Compilers of Cyber Security & Reliable Development

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

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.

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.

Partner Solution: Compiler and Library Testing, PikeOS, SuperTest and SuperGuard

TrustInSoft provides tools and services to exhaustively analyze and formally verify C and C++ source code, allowing for mathematical guarantees on its clients’ software quality. Its analysis solutions allow for guarantees of the safety, security and reliability of source code without the need to modify the development process. TrustInSoft’s solutions are currently in use for software designers and integrators in aeronautic, automotive, telecom, space, IoT, and cosumer electronics industries.

Customer Experience Story: Helping TrustInSoft guarantee its customers 100% bug-free source code

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.

Podcast: Tool and Library Validation, SuperTest with Marcel Beemster

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 intelligent edge. The company’s technology has been powering the safest, most secure devices in the world since 1981 and is found in billions of products. Wind River offers a com- prehensive portfolio, supported by world-class global professional services and support and a broad partner ecosystem. Wind River software and expertise are accelerating digital transformation of mission-critical intelligent systems that will increasingly demand greater compute capabilities while delivering the highest levels of security, safety, and reliability. To learn more, visit Wind River at www.windriver.com.