CLEARSY 제조사 소개

CLEARSY 회사 및 제품 소개

회사 개요

CLEARSY는 2001년 1월 1일에 설립된 프랑스의 중소기업으로, SIL1~SIL4 수준의 안전 소프트웨어 및 시스템 설계를 전문으로 합니다. 철도, 자동차, 군사, 우주, 원자력 분야에서 복잡한 시스템의 설계, 검증, 확인, 안전 연구부터 시운전까지 수행합니다. 특히 철도 분야에서 안전 소프트웨어 생산에 사용되는 공식 모델링 도구인 Atelier B의 산업화를 담당했던 엔지니어 팀에 의해 설립되었습니다. 회사는 안전 시스템 및 소프트웨어 개발, 운영 안전, 안전 분석, 인증 지원, 교육 등 다양한 서비스를 제공합니다.

주요 제품

- Atelier B: 철도 분야에서 안전 소프트웨어를 생산하는 데 사용되는 공식 모델링 도구로, CLEARSY가 산업화를 담당했습니다.

- CLEARSY Safety Platform: 안전 시스템 개발을 위한 플랫폼으로, 안전 소프트웨어 및 시스템 개발에 사용됩니다.

- CLEARSY Data Solver: 데이터 검증 및 해결을 위한 도구로, 철도 신호 분야의 대규모 데이터 처리에 사용됩니다.

- COPPILOT: 운영 시스템 관련 제품으로, 안전 시스템의 운영을 지원합니다.

- COPP DIL: 운영 시스템 관련 제품으로, 안전 시스템의 운영을 지원합니다.

- DOF1: 운영 시스템 관련 제품으로, 안전 시스템의 운영을 지원합니다.

- KFS SIL2: SIL2 등급의 안전 관련 제품입니다.

- KVB: 철도 신호 시스템 관련 제품입니다.

- KPVA: 철도 신호 시스템 관련 제품입니다.

- REGIOLIS: 철도 신호 시스템 관련 제품입니다.

- Tramway Automatic Stopping: 트램의 자동 정차 시스템입니다.

- New York City Transit: 뉴욕 교통 시스템 관련 제품입니다.

- SIL4 Signalling Changeover Unit: 철도 신호 시스템 교체 시 안전한 전환을 보장하는 SIL4 등급의 래칭 인터페이스 시스템입니다.

- CLEARSY Data Manager: 철도 신호 분야에서 트랙 및 관련 객체를 나타내는 대량의 데이터를 관리하는 도구입니다.

- Measuring Station & Braking Bench: 센서 값을 측정, 검증, 보관하는 측정 스테이션과 제동 벤치입니다.

주요 서비스

- Formal Methods Development: 공식 방법을 사용하여 안전 시스템을 개발하는 서비스입니다.

- Operational Safety: 운영 안전 관련 서비스로, 시스템의 안전한 운영을 보장합니다.

- Safety Analysis: 시스템의 안전성을 분석하는 서비스입니다.

- Certification Support: 인증 획득을 지원하는 서비스입니다.

- Safety Demonstration: 안전성을 입증하는 서비스를 제공합니다.

- Training: 안전 시스템 및 소프트웨어 관련 교육 서비스를 제공합니다.

- System Analysis and Renovation: 철도, 원자력, 방위 등 다양한 분야에서 시스템 분석 및 개조 서비스를 제공합니다.

- Electronic Expertise: 원자력 분야의 전자 카드 및 시스템에 대한 전문성 평가 서비스를 제공합니다.

- Software Expertise: 원자력 분야를 위해 특별히 개발된 소프트웨어에 대한 전문성 평가 서비스를 제공합니다.

- Industrial Systems Compliance: 산업 시스템이 원자력 규정을 준수하는지 분석하는 서비스입니다.

- Cybersecurity: 컴퓨터 보안 분야의 서비스 및 제품을 제공합니다.

- Formal Analysis and Validation: 수학적 증명을 통해 소프트웨어의 일부 또는 전체를 검증하는 혁신적인 분석 서비스입니다.