nocollapse)

• Home
  • Presentation
  • Products
  • Q/A
  • Our offices
• News
• Projects
• NEW PRODUCT !!
  • AADL Inspector
• Background Technologies
  • Critical Software Development
  • Incompliance with Industrial Standards
  • Modeling real-time
  • Domain Specific Tools
  • Logical Model Processing
  • Collaborative R&D projects
• AADL
  • The AADL
  • AADL components
  • AADL features and connections
  • AADL properties
  • AADL Extensions
  • Verifiable Model Based Engineering
  • AADL tool chains
• HOOD
  • The hierarchical approach
  • Low coupling
  • Design rules
  • Real-time model
  • HOOD and AADL
  • Documentations
• STOOD
  • Requirements traceability
  • Architectural Design
  • Instance models
  • Detailed Design
  • Stood design checkers
  • Remote analysis tools
  • Automatic code generation
  • Round-trip engineering and reverse engineering
  • Design documentation
  • Documentations
  • Demonstration
  • Release Notes
• ADELE
  • Documentations
  • Demonstration
  • Others
• TASTE
  • Documentations