PUSSEE Milestones

• A tool linking Rational Rose to Atelier B by providing translations between UML diagrams and B.
• A prototype tool that translates B to system-C and VHDL
• A study of how the B method can be complemented to better support specification, refinement and code
  generation of systems with real-time properties.
• A method with tool support for interface based design (VSIA/SLIF) and integration of legacy components
• User guidelines and methodology assessment reports from industrial use cases

Results will be commercialized and disseminated through conferences, courses and web pages.