EMBEDD SOFTWARE
Publishdate：2025-11-27 Views：23
Model-based high-security systems and software development environments
SCADESuite: A model-based control software development environment. Its foreground offers graphical data flow diagrams, control flow diagrams, mathematical operators, etc. for modeling control logic and security state machines, which can be mixed with other modeling. Its background has a rigorous synchronization language (scade) corresponding to the models in the foreground, which can guarantee the accuracy, completeness, consistency, verifiability and non-duality of the design models. SCADESuite provides verification methods such as model checking, simulation debugging, formal verification, coverage analysis, and time stack analysis, allowing for complete verification of model and conformance to requirements. SCADE Suite automatically generates product-level codes to the highly security levels in accordance with DO-178B/C, IEC 61508, EN 50128, ISO 26262 and other standards.
Ansys SCADE Architect is primarily used for system and software architecture design, and is a system modeling and verification tool based on the SysML system modeling language. It offers the ability to analyze, architect and validate systems, supports the visualization of specialized object libraries and offers customization for the aerospace sector; it also works seamlessly with the Ansys SCADE Suite and Ansys SCADE Display to enable the smooth transfer of system design results to software design. Ansys SCADE Architect supports the system design process in line with relevant industry system engineering standards such as ARP4754A, IEC 61508 (part 1), EN 50126, and ISO 26262-2.
Ansys SCADE Lifecycle is designed for the generation and maintenance of data at all stages of the system and software development lifecycle, development process management, certification support, etc. It comprises full lifecycle data tracking management, automatic design documentation generation, support for OSLC (Open Services for Lifecycle Collaboration) protocols for bridging to third party PLM/ALM tools, and provision of certification schemes to help projects requiring airworthiness certification prepare documentation for the planning phase.
Ansys SCADE Display is principally used for modeling, verification and automated code generation of HMI software. Modeling: Support WYSIWYG HMI design, and provide basic control libraries and some industry-related control libraries. Users can also easily encapsulate custom control libraries, which can be used by designers to design display screens; support OpenGL features, including vector drawing, mask, bitmap, texture, α channel, halo and anti-aliasing effects, etc.; support vector and bitmap fonts; support Chinese character library; support multilingual development; support overlay integration with maps and videos; support the addition of control logic implemented in SCADE Suite or C to the graphical model, allowing for favorable integration of logic and display. Verification: Support legitimacy checking of models; support simulation of designed GUIs and embedded logic; support batch automatic testing of HMIs to facilitate regression testing by designers and reduce testing workload; SCADE Display can automatically generate product-level codes of the highest security level in compliance with DO-178B/C, IEC 61508, EN 50128, ISO 26262, etc. The codes are applicable to all platforms that support OpenGL.
Ansys SCADE Test is used to validate the SCADE model, enabling a complete automated testing process from the host side to the target side of model test. It supports test case creation and management; it supports automatic operation of test cases in batch on PCs and generation of test reports and coverage result reports; it supports automatic generation of test frameworks for the target platforms (supporting Testbed, RTRT, and VectorCAST), the test execution in batch on the target machines, and the generation of test reports.
Model-based high-security systems and software development environments
SCADESuite: A model-based control software development environment. Its foreground offers graphical data flow diagrams, control flow diagrams, mathematical operators, etc. for modeling control logic and security state machines, which can be mixed with other modeling. Its background has a rigorous synchronization language (scade) corresponding to the models in the foreground, which can guarantee the accuracy, completeness, consistency, verifiability and non-duality of the design models. SCADESuite provides verification methods such as model checking, simulation debugging, formal verification, coverage analysis, and time stack analysis, allowing for complete verification of model and conformance to requirements. SCADE Suite automatically generates product-level codes to the highly security levels in accordance with DO-178B/C, IEC 61508, EN 50128, ISO 26262 and other standards.
Ansys SCADE Architect is primarily used for system and software architecture design, and is a system modeling and verification tool based on the SysML system modeling language. It offers the ability to analyze, architect and validate systems, supports the visualization of specialized object libraries and offers customization for the aerospace sector; it also works seamlessly with the Ansys SCADE Suite and Ansys SCADE Display to enable the smooth transfer of system design results to software design. Ansys SCADE Architect supports the system design process in line with relevant industry system engineering standards such as ARP4754A, IEC 61508 (part 1), EN 50126, and ISO 26262-2.
Ansys SCADE Lifecycle is designed for the generation and maintenance of data at all stages of the system and software development lifecycle, development process management, certification support, etc. It comprises full lifecycle data tracking management, automatic design documentation generation, support for OSLC (Open Services for Lifecycle Collaboration) protocols for bridging to third party PLM/ALM tools, and provision of certification schemes to help projects requiring airworthiness certification prepare documentation for the planning phase.
Ansys SCADE Display is principally used for modeling, verification and automated code generation of HMI software. Modeling: Support WYSIWYG HMI design, and provide basic control libraries and some industry-related control libraries. Users can also easily encapsulate custom control libraries, which can be used by designers to design display screens; support OpenGL features, including vector drawing, mask, bitmap, texture, α channel, halo and anti-aliasing effects, etc.; support vector and bitmap fonts; support Chinese character library; support multilingual development; support overlay integration with maps and videos; support the addition of control logic implemented in SCADE Suite or C to the graphical model, allowing for favorable integration of logic and display. Verification: Support legitimacy checking of models; support simulation of designed GUIs and embedded logic; support batch automatic testing of HMIs to facilitate regression testing by designers and reduce testing workload; SCADE Display can automatically generate product-level codes of the highest security level in compliance with DO-178B/C, IEC 61508, EN 50128, ISO 26262, etc. The codes are applicable to all platforms that support OpenGL.
Ansys SCADE Test is used to validate the SCADE model, enabling a complete automated testing process from the host side to the target side of model test. It supports test case creation and management; it supports automatic operation of test cases in batch on PCs and generation of test reports and coverage result reports; it supports automatic generation of test frameworks for the target platforms (supporting Testbed, RTRT, and VectorCAST), the test execution in batch on the target machines, and the generation of test reports.
- Previous：SEMICONDUCTOR
- Next：OPTICS
