Capital Software Designer
Total Page:16
File Type:pdf, Size:1020Kb
Capital Software Designer the C language for hand coding and the Simulink® environment interface for model-based development. The Capital Software Designer contract- based architecture enables you to drive Streamlining model-based software engineering testing, verification and closed-loop simulation, even when following mixed external implementation paradigms. Benefits Summary Capital Software Designer is interopera- • Create enriched architecture mod- Capital Software Designer software con- ble with other validation tools and els to drive the design process nects the elements of your embedded platforms, thus providing digital conti- software design processes and helps nuity in scattered process and tool • Connect to your implementation you avoid rework costs by detecting landscapes. tool of choice to develop code errors early in the process. An architec- Capital Software Designer is tightly inte- • Integrate, verify and validate your ture-centric approach allows you to grated with other Simcenter solutions, code to deliver onboard software define, enrich, analyze and simulate as well as Polarion ALM™ software. This quality onboard software designs. provides a connected environment for The solution is open so you can imple- embedded system and software archi- ment onboard software designs in tecting, engineering, design, validation external development environments as well as multi-physics simulation, with the template export functions. Its application testing and lifecycle external development support covers management. siemens.com/swdesigner CAPITAL Capital Software Designer • Identify precise type system and physical units • Import and merge the architecture created in Systems Modeling Language (SysML), Autosar and Architecture Analysis and Design Language (AADL) • Use intuitive graphical modeling based on unlimited nesting of data flows • Re-use test case definitions to help clarify requirements and functional specifications Analyze software architectures • Analyze architecture for consistency, completeness and early detection of Streamlining model-based specification errors enabled by formal development methods Create a holistic software architecture that acts as single source of truth across • Schedule feasibility analysis to front- the software development lifecycle. load software-hardware co-development Capture and enrich software architecture Manage design data • Use data-flow modeling to support • Use detailed specification of elements abstraction and re-use in the data dictionary to specify data types, physical units and range con- • Enrich software architectures with straints for signals and parameters contract and timing needs • Capture the product line variability in the parametric data by using constant groups CAPITAL Master product line variability Integrate software implementations Trace requirements • Support variability in embedded • Integrate legacy software and convert • Benefit from bi-directional traceability software product lines with a formal it to a model layer between requirements in Polarion feature model and a rich set of ALM and implementation artifacts in • Benefit from automatic software inte- product modeling variant options Capital Software Designer gration and reconciliation of external • Find inconsistencies in feature mod- implementations coming from hand- • Use many-to-many links and single- els, product configuration instances coding or auto-code generation from click navigation to Polarion ALM web and implementations Simulink, enabled by a contract-based interface approach Prepare and control implementation Continuous quality improvement • Verify the implementation against • Support external implementation in C pre- and postconditions Test and simulate and the Simulink environment as well • Use the option of creating and as internal implementation Manage software configurations managing table-based or complex • Provide a central place to configure • Take advantage of built-in integration logic-driven tests, setting up and implementation choices per block with configuration management tools launching test execution for distributed development • Export C code and header files that • Establish enterprise-wide test collabo- contain the correct function inter- • Access all operations of version con- ration thanks to a tight integration faces and rich comments describing trol systems, such as branch, commit with Polarion ALM contracts and data elements; or and merge in the integrated develop- • Run batch mode closed-loop Simulink implementation templates ment environment (IDE) with correct port interfaces • Support iterative processes with frequent interface changes CAPITAL simulation with plant models devel- Verify using CBMC • Use automatic counter example pro- oped in Simcenter Amesim™ software • Verify key runtime properties; divi- duction at the level of model and line and Simulink sion-by-zero, array-out-of-bounds, of code memory leak, arithmetic overflow • Export Functional Mock-up Units • Increase coverage with code coverage and pointer dereferencing (FMUs) with choice of compiler (GCC/ measurement and automatic genera- VCC) and operating platform (32/64 • Verify safety properties expressed in tion of test vectors bits) for connecting to Simcenter the form of contracts, assertions and System Synthesis and any Functional data dictionary constraints Prepare target deployment of Mock-up Interface (FMI) compliant application code • Analyze dead and unreachable code system simulation tools • Analyze worst-case execution time (WCET) independently of the target platform • Estimate program and data memory and compare the old and new result after a change Siemens Digital Industries Software www.sw.siemens.com Americas +1 314 264 8499 Europe +44 (0) 1276 413200 Asia-Pacific +852 2230 3333 © 2019 Siemens. A list of relevant Siemens trademarks can be found here. Other trademarks belong to their respective owners. 71311-C6 7/19 C.