Skip to content
  • Home
  • News
    • Events
    • Conference
    • Fairs
    • Newsletter
  • Company
    • Who are we ?
    • Clients and Partners
    • Employment
    • Historical background
    • Key Figures
    • Internships
    • Our Values
    • Quality Process
  • Activities
    • Development and Maintenance
    • Formal Verification of Specifications
    • Operational Safety
      • Safety Analysis
      • Safety Demonstration
      • Support with Certification
    • Research and Development
  • Know How
    • B Method
    • Electronic systems
    • Safe IT systems
  • Systems and Projects
    • Automotive Systems
    • Energy Systems
    • Microelectronics Systems
    • Military Systems
    • Railway Systems
    • R&D Projects
  • B Tools
    • Atelier B
    • Brama
    • CompoSys
  • Links
  • Our locations
    • Our locations
    • Write Us
Accueil » Engineering Activities
Publié le 7 April 2011

Engineering Activities

System Engineering

  • Realization of secure SIL2, SIL3, SIL4 systems and software
  • Formal verification of system and software specifications
  • Operational safety qualification and studies
  • Development and maintenance of specific engineering tools

Research and Development – Products

  • Technological innovation and modeling experimentation
  • Product study, development and distribution

Comments are closed.

    • en  English
      • fr  Français
  •  
    Atelier B Brama CompoSys
  •  
    • B Method
    • Electronic Systems
    • Safety IT Systems
  •  
    • R&D Projects
    • Automotive Systems
    • Military Systems
    • Energy Systems
    • Railway Systems
    • Micro-eclectronics Systems
  •