Collaborating with leading technology providers and distributors worldwide.
We work with trusted partners to bring our solutions closer to you.
Rooms 1001-1008, Building 1, Shihe Business Center, No. 2277 Zuchongzhi Road, Pudong New District, Shanghai, China
+86 021-68826530 sales@visionmc.com
Vision Microsystems (Shanghai) Co., Ltd. was founded in 2000 and is headquartered in Shanghai, with additional R&D in Xi’an and offices in Beijing, Chengdu, Guangzhou, Nanjing, and Hong Kong. VisionMC provides development and verification solutions for high-reliability, high-security system software, including tools for embedded systems, system simulation, and engineering software. We also offer professional consulting and support services.
#305, 3rd Floor, Motiati Meadows No.84-1-B, C.V. Raman Nagar Bangalore-93, India
+91 80 25345022 info@meteonic.com
Meteonic Innovation delivers automation and integration solutions to streamline software development across the SDLC, helping clients build secure, high-quality code with shorter cycle times. With deep experience in Telecom, Automotive, Aerospace, Defense, and Healthcare, Meteonic brings a 360° perspective to every project — aligning technical solutions with business and end-user needs.
1928-1, Nagasone-Cho Kita-ku, Sakai-City Osaka 591-8025, Japan contact_fuji@fuji-setsu.co.jp
Fujisetsubi Corp. supports Japan’s embedded systems industry with leading development tools, training, and technical support. Through products and seminars, we help organizations tackle complex engineering challenges with confidence.
“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.
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.
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.
Validas AG specializes in the qualification of tools, libraries, and basic software according to common safety standards, particularly in the automotive, aviation, and semiconductor industries.
Validas AG supports tool users and developers in classifying and documenting integrated tool chains. Their product offerings include Qualification Kits for various industry-standard tools such as code generators, compilers, simulators, and testing tools.
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.
Interested in partnering with Solid Sands? We’re always looking for new partners who share our commitment to quality and safety in software development.
Contact Us
Home / Company / Our Partners