Model-based development of scadesuite Embedded Software

Scade suite®The product is a model-based development environment for highly secure embedded software.

Scade suite is the development standard for highly secure embedded software. Its application fields include aviation, defense, rail transit, energy and heavy industry. Designed for the highest level of quality and security requirements with scade

Perfect Integration of languages and unified formal symbols. scade suite provides high security application tools with demand management, model-based design, simulation, authentication, and effective code generation, to a unique integrated design environment for collaborative development with other tools and platforms.

Scade has passed the following international security standards:

Passed the (military/use) and aerospace DO-178B certification, to a level.

Ø it has passed IEC 61508 certification for heavy industry and energy tüv and has reached Sil 3.

En 50128 certification of rail transit tüv, reaching Sil 3/4.

Ø it has passed IEC 60880 certification compatible with nuclear energy.

This not only improves work efficiency, but also improves product quality.

Scade suite greatly reduces the cost of highly secure embedded software projects.

Scade users can reduce the cost of writing and verifying reports:

On average, each person can complete 10 lines of executable code development (including verification) per day, while manual development can only complete 5 lines of code per person per day

Reduce software authentication costs by 50%

Reduce coding, query, and test code costs by 70% to 90%

Reduce the software update cycle by 65% to 75%

Automated model-level testing and coverage analysis

Eliminate code errors and omit low-level tests

Achieve fast and secure design changes throughout the lifecycle, while reducing testing costs by 70% to 90%

Security Construction

Proper design and modeling, graphical debugging, and efficient simulation

Design verification™-Formal Verification

Ø generate safe and efficient small-sized code

Ø project management and document generation

 

Shanghai Xing Technology Co., Ltd. is the product agent of scade suite. Xing technology was founded in 2003. The company's main business direction is "real-time application, Control System Application" related simulation test bench, and related consulting and development projects. The company can complete the design, development and integration of signal conditioning, signal communication interfaces, hardware drives, information network systems, and mechanical gantry.

Model-based development of scadesuite Embedded Software