New features of Phoenix 2.3

Infrastructure

• Components Library
• Advanced Data Modeling: Structures and Arrays

Requirements Engineering

• Requirement Sources (document information about the sources of your requirements within the tool)
• Overview about glossary entries and requirement sources
• Safety Requirements

Analyses

• Assume/Guarantee Specification and Analyses
• Checking the Conformity of MSCs
• Analyses Master (one-click run of all analyses on a sub-system)

DSE

• Scheduling for multi-core platforms using shared-memory architectures
• Deployment Generation, w.r.t. SIL-Levels and E2E lantecy

Major improvements

• Improved and extended Simple Traffic Light example
• Integration of Model-checking is more Stable
• Report generation (images of formal requirements)
• Use Cases: improved actor selection, specify MSCs under scenarios