Phoenix 2.2 RC1 (Feature Freeze)
— 0 open)
: Presentation of Warnings: Unclear purpose of Views Model Marker, Problem, Marker
: Unintended deletion of OperatorPanel
: Opening components, requirements, etc. leads to missing save
: DeployGen: The deployment-mapping editor does not support mapping of nets.
: Nondeterminism in NuSMV Verification
: ConcurrentModificationException when unrelated simulation views are closed
: Technical Architecture: deleting ECU causes Exceptions
: Making the model checker function on the Pacemaker model
: Delete on Background of Platform Architecture deletes it
: Display type errorr for model checking
: Th typechecker crashes if the typechecked expression does not have parent something that has access to DataDictionary
: Error when running on the AOO_Component
: Translation of enumerations to NuSMV uses their plain names
: Open AF3 Example" from menu defect for "Load Small Traffic Lights VHDL Code Generation
: Pacemaker Actuator and Sensor are missing.
: Fatal error when model checking weak causal components that access enumerations
: Model Elements View of "Formal Specification" has many Elements, which should not be there
: Formal specifications should not be addable to a component architecture
: Unconnected ports of mode sub-structure produce NPE in simulator.
: Copy&Paste across models is not working: EMF generates proxy links.
: type checker fails for port equivalence test
: Model checking has problems when the initial value of an integer port is out-of-range
: C code generator does not insert semicolon after function calls
: The input output ports can have names starting with number
: Deployment Generator (Generic)
: GEF-based editor for Platform Architecture.
: ID als interne ID, MIRA-ID erweitern
: Implement Thread-driven simulation and corresponding UI buttons.
: Error decorators and tooltips
: Integer variables out-of-range detection
: Filename shall only contain valid characters.
: Pre/Postconditions and invariants
: Extend the model checker to deal with the ACC system
: Add specification under requirements
: End-2-End latency
: Multi-Core Support in AF3
: Test case statistics
: Add pre/post conditions, assumptions/guarantees in the specification of components
: Viewpanel extension for OperatorPanels
: Create automatic tests for the C code generator and make them generally run
: Add constraints for hierarchical states
: Provide a structuring mechanism for the navigator view by extending model element handler.
: Use creational methods for expressions based on ExpressionModelElementFactory
: Field assist contains a lot of duplicated code
: Access to NoVal from fuctions defined in the DataDictionary
Change Request #828
: Inconsistency between TypeCheckException and ParseException
Change Request #829
: org.fortiss.af3.expression.language.TypeChecker design ambiguity
© 2006-2018 Jean-Philippe Lang