Documenation update for Release 2.3
the docu needs to be updated respective to all new features!
see changelog:
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 Feasibility 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
(from redmine: issue id 1252, created on 2013-02-04, closed on 2013-08-07)
- Relations:
- child #1033 (closed)
- child #1253 (closed)
- child #1254 (closed)
- child #1255 (closed)
- child #1256 (closed)
- child #1257 (closed)