The role and status of software in spacecraft are becoming more and more promine...
SmartRocket Unit is the first intelligent C language Unit test tool in China, which can automatically generate test cases that meet the statement, branch, MC/DC criteria.
SmartRocket Scanner is the first domestic use of twinengine mode analysis of source code and binary file vulnerability scanning tools, can support C/C++, including more than 10 mainstream programming languages.
SmartRocket Fuzzer is a gray box fuzzy testing software based on dynamic binary piling, which analyzes the program under test and inserts the pile on the dynamic binary piling platform.
SmartRocket Analyzer is a static code scanning tool that uses the industry's original virtual execution technology to exploit code vulnerabilities.
SmartRocket iVerifier is the country's first ilOCK computer interlocking system verification tool, can automatically formal verification of all security requirements.
In order to build the network of vehicles safety testing and training system and set up the safety testing environment. The test scheme covers vehicle and machine software, on-board communication, in-car intelligent terminal equipment, in-car bus and othe
It is a one-stop vehicle information security test tool platform combining software and hardware, which is convenient for testers to carry to the site and carry out all-round and standardized information security tests on the vehicle.
The rail transit system information safety detection toolbox is a one-stop rail transit system information safety detection tool platform combining hardware and software. It is mainly used for information safety risk assessment and site work management.
Standardize the product security development process according to the information security development process; Organize and define the information security functions and requirements of the product, and develop the corresponding verification and testing
With vehicle-mounted information security system as the basic framework, it is suitable for the actual requirements of university teaching and information security literacy construction of students, and combines vehicle safety test and training teaching u
The on-board intrusion detection and defense system IDPS provides a variety of security monitoring and protection means such as OTA upgrade security, system security, log storage security, off-board network security, on-board bus security and GNSS spoofin
TICPSH, together with its GeLu team, provides an open reference design for the network security terminal unit, equipped with an autonomous and controllable KSE2.0 security encryption module.
Design the development and validation process based on models and formal methods, as well as the corresponding airworthiness certification system, and finally meet the airworthiness certification requirements of the General Administration of Civil Aviatio
The early warning and analysis system of abnormal population monitors the psychological and physiological state of abnormal people through intelligent image analysis and processing technology, and monitors and gives early warning of the dynamic movement o
The physiological and psychological health assessment system synchronously calculates and analyzes the physiological and psychological states of the subjects, and presents the real-time mental activity state of the subjects by chromatographic method.
The machine vision technology is used to automatically receive and process the object image to obtain information through optical devices and contactless sensors, and complete the defect detection of PCBA products automatically and contactless.
Phone：+86 21 62655001
Address：7 / F, Building 6, Lane 600, Yunling West Road, Putuo District, Shanghai