Page History

...

• Official Project Website
• Built on Eclipse 4.14 15 "20192020-1203"

We are happy to provide a new release of the Kiel Integrated Environment for Layout Eclipse Rich Client SCCharts Editor and Compiler!

...

• You'll require a Java Runtime Environment >= version 1.8
• With KIELER 1.1 we only support 64bit architectures

There is also a command line interface for the KIELER compiler. You can use the executable jar or a platform specific execrable file.

Download

Release Notes

Whats new in KIELER SCCharts 1.1?

• Validation for SCCharts
  • Transformation into validation backends
    
    • SMV
    • nuXMV
    • SPIN
  • A validation view to interactively validate models and simulation counter examples
• Circuit Diagrams and Syntheses
• New Dataflow Re-engineered Dataflow synthesis
• Causal Dataflow View
• Direct Lego NXT support for KiCo
• Expressions in Const Declarations are evaluatedImproved compile-time evaluation of constant expressions
  
  • Float are cast automatically to ints, if the generator can evaluate the expression
• Fixed a associativiy bug in the kexpressionsassociativity problems in KExpressions
• C AST Generation via GCC
• Dropped support for 32bit RCA
• Object Orientation (see Object Orientation)
  
  • Classes
  • Structs
  • SCCharts as classes
  • methods
    • code effects
  • Class and struct Types
  • SCCharts class modeling
  • Methods
  • For/While loops
• CLI
• Hostcode
  • #resource
  • host class
• Improvements for timed SCChartsImproved hostcode integration
• Improved timed SCCharts (see Timed Automata)
• SCCharts Java Debugging
• Dropped support for 32bit RCA

Fixed Issues

...