Project

General

Profile

Phoenix 23 Scratch Paper

- bis 17.12. sollen die Features zu Phoenix 2.3 zugewiesen werden

Geplante Aufwände für Phoenix 2.3

- Flo - 0
- Sebi - 50
- Moudy - 120
- Sabine - 50
- David - 12
- Klaus - 30
- Dan - 100
- Konstantin - 30
- Denis - 20 (SmartGrid model 15 + users docu 5)
- Anton - 20

Reviews for Phoenix 2.3 RC4

Review Guideline:
https://af3.fortiss.org/projects/autofocus3/wiki/Check-list_for_Code_Reviews

- Flo - af3.expression, fortiss.toolig.kernel, af3.fibex, af3.sil
- Sebi - af3.analyses, af3.multicore
- Moudy - af3.(efficient)deployment
- Sabine - af3.tools, af3.viewpanel
- Klaus - af3.component, af3.project, af3.rcp.application
- Dan - af3.vacation
- Konstantin - af3.table, af3.state
- Denis - af3.testing
- Anton - af3.scheduling

af3.safetymechanisms (nicht RELEASE)
af3.functionalarchitecture (nicht RELEASE)
af3.vhdl (nicht im RELEASE)
af3.efficientdeployment (nicht RELEASE)

Current Release Notes for Phoenix 2.3

New features:

  • Requirements Engineering
    - Requirement Sources (document information about the sources of your requirements within the tool)
    - Overview about glossary entries and requirement sources
    - Safety Requirements
  • Infrastructure
    - Components Library
    - Advanced Data Modeling: Structures and Arrays
  • Analyses
    - Assume/Guarantee Specification and Analyses
    - Checking the Feasibility of MSCs
    - Analyses Master (one-click run of all analyses on a sub-system)
  • 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
  • DSE
    - Scheduling for multi-core platforms using shared-memory architectures
    - Deployment Generation, w.r.t. SIL-Levels and E2E lantecy