All Categories
History
Price (excluding tax)
ANSYS SCADE SUITE® is a safety -critical assembly control software development support tool using a model -based development method. ■ concept of modeling in SCADE language The following design concept is characterized by designed highly reliable software using a model -based method. ・ Software model design by structured method (complete modularization, hierarchical, reusable, conservative) ・ Description of definite behavior models by strong molding and strong semantic ・ Describe behavior only with safe language syntax Against these concepts, the behavioral model of the reactive system is described in the editor environment by the data flow / state transition notation. The design model has a semantic check, to a static verification of the consistency of data type, algebraic loops, initial values indefinite, undefined type and variables, and prevents vague notation and contradictions generated by the design. It is possible. This is because the graphical scade language is built on a format language LUSTRE, so the meaning of the figure is uniquely determined. ■ Integrated development environment suitable for software development Since the integrated development environment, which is generally used for software development, is the same, software development engineers can inherit the usability when the software development environment is shifted. Define the model element in the framework and edit it on the right window. Each window also functions as a docking window, so it can be edited using a tylate window with a vertical or sidewalk of the window according to usability. It can be used effectively to save a window configuration, including the toolbar, and set the user and work environment you use. ■ Intuitive modeling If you model complex software application behavior, intuitive description is the key to developing model -based development in future software development. Therefore, Ansys Scade offers a modeling style (Unified Modeling Style) that can freely "nestify" data flow and state transition. With this style, you can make intuitive modeling and make reviews more efficient because of the readability of the model. 。
You can search for other models from each index. The displayed value is the value of the currently selected part number.
function
operating system
platform
Correspondence status to various standards
Part Number
Ansys Scade SuiteHandling Company
IDAJ Co., Ltd.Categories
| Image | Price (excluding tax) | Correspondence status to various standards | function | operating system | platform |
|---|---|---|---|---|---|
| Available upon quote | Do-178C En 50128: 2011 IEC 61508 ED2 ISO 26262 | Control model design simulation Safety properties format verification C code generation Modeling tool interface Compiler verification kit Code performance analysis | Windows 10 | PC |
Reviews shown here are reviews of companies.
Reviews shown here are reviews of companies.
