Simcenter Embedded

Software Designer external development support covers the language for hand coding and the ® environment interface for model-based development. The Simcenter Embedded Software Streamlining model-based software Designer contract-based architecture enables you to drive testing, verification engineering and closed-loop , even when following mixed external implementa- Benefits Summary tion paradigms. Simcenter Embedded • Create enriched architecture models Simcenter™ Embedded Software Software Designer is interoperable with to drive the design process Designer software connects the ele- other validation tools and platforms, ments of your embedded software thus providing digital continuity in scat- • Connect to your implementation tool design processes and helps you avoid tered process and tool landscapes. of choice to develop code rework costs by detecting errors early in Simcenter Embedded Software Designer • Integrate, verify and validate your the process. An architecture-centric is tightly integrated with other code to deliver onboard software approach allows you to define, enrich, Simcenter solutions, as well as Polarion quality analyze and simulate onboard software ALM™ software. This provides a con- designs. nected environment for embedded The solution is open so you can imple- system and software architecting, engi- ment onboard software designs in neering, design, validation as well as external development environments multi-physics simulation, application with the template export functions. Its testing and lifecycle management.

www.siemens.com/simcenter SIMCENTER Simcenter Embedded Software Designer

• Identify precise type system and phys- ical 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 SIMCENTER

Master product line variability Integrate software implementations Trace requirements • Support variability in embedded soft- • Integrate legacy software and convert • Benefit from bi-directional traceability ware product lines with a formal it to a model layer between requirements in Polarion feature model and a rich set of prod- ALM and implementation artifacts in • Benefit from automatic software inte- uct modeling variant options Simcenter Embedded Software gration and reconciliation of external Designer • Find inconsistencies in feature mod- implementations coming from hand- els, product configuration instances coding or auto-code generation from • Use many-to-many links and single- and implementations Simulink, enabled by a contract-based click navigation to Polarion ALM web approach interface Prepare and control implementation • Verify the implementation against • Support external implementation in C Continuous quality improvement pre- and postconditions and the Simulink environment as well Test and simulate as internal implementation Manage software configurations • Use the option of creating and man- • Provide a central place to configure • Take advantage of built-in integration aging table-based or complex implementation choices per block with configuration management tools logic-driven tests, setting up and for distributed development launching test execution • Export C code and header files that contain the correct function inter- • Access all operations of version con- • Establish enterprise-wide test collabo- faces and rich comments describing trol systems, such as branch, commit ration thanks to a tight integration contracts and data elements; or and merge in the integrated develop- with Polarion ALM Simulink implementation templates ment environment (IDE) with correct port interfaces • Support iterative processes with fre- quent interface changes SIMCENTER

• Run batch mode closed-loop simula- Verify using CBMC • Use automatic counterexample pro- tion with plant models developed in • Verify key runtime properties; divi- duction at the level of model and line Simcenter Amesim™ software and sion-by-zero, array-out-of-bounds, of code Simulink memory leak, arithmetic overflow • Increase coverage with code coverage and pointer dereferencing • Export Functional Mock-up Units measurement and automatic genera- (FMUs) with choice of (GCC/ • Verify safety properties expressed in tion of test vectors VCC) and operating platform (32/64 the form of contracts, assertions and bits) for connecting to Simcenter data dictionary constraints Prepare target deployment of applica- System Synthesis and any Functional tion code • Analyze dead and unreachable code Mock-up Interface (FMI) compliant • Analyze worst-case execution time system simulation tools (WCET) independently of the target platform • Estimate program and data memory and compare the old and new result after a change

Siemens PLM Software www.siemens.com/plm

Americas +1 314 264 8499 Europe +44 (0) 1276 413200 Asia-Pacific +852 2230 3333

© 2018 Siemens Product Lifecycle Management Software Inc. Siemens and the Siemens logo are registered trade- marks of Siemens AG. Femap, HEEDS, Simcenter 3D and Teamcenter are trademarks or registered trademarks of Siemens Product Lifecycle Management Software Inc. or its subsidiaries in the United States and in other countries. Simcenter, Simcenter Amesim, LMS Samtech Samcef, LMS Samcef Caesam, LMS SCADAS, LMS SCADAS XS, LMS Smart, LMS Test.Xpress, LMS Soundbrush, LMS Sound Camera, LMS Test.Lab and LMS Virtual.Lab are trademarks or registered trademarks of Siemens Industry Software NV or any of its affiliates. STAR-CCM+ and STAR-CD are trademarks or registered trademarks of Siemens Industry Software Computational Dynamics Ltd. Simulink is a registered trademark of The MathWorks, Inc. Simcenter Embedded Software Designer Analysis Module includes software developed by Daniel Kroening, ETH Zurich and Edmund Clarke, Computer Science Department, Carnegie Mellon University. All other trademarks, registered trademarks or service marks belong to their respective holders. 71311-A4 11/18 A