공식 방법을 사용한 자동차 제어 소프트웨어를위한 고도로 신뢰할 수있는 검사 기술을 개발했습니다

대량 생산 된 소프트웨어에 적용 가능

   *1)에 적용될 수 있음이 입증되었습니다. 토토사이트 주인공 Automotive Systems는이 기술을 사용하여 2013 회계 연도에서보다 안정적인 자동차 제어 소프트웨어를 개발할 것입니다.

   
   

   

1. 소스 코드 분석 기술은 가변 종속성에 중점을 둔

   

2. 설계 지식을 사용하여 프로세스 자동화

   

이 결과는 임베디드 소프트웨어를 검사하는 데 높은 신뢰성을 제공 할 수있는 공식적인 방법을 대량 생산 수준에서 대규모 소프트웨어에 적용 할 수있는 방법을 포장합니다. 토토사이트 주인공 Automotive Systems는이 기술을 사용하여 2013 회계 연도에서보다 안정적인 자동차 제어 소프트웨어를 개발할 것입니다.

   *22013 년 세계 의회에서 발표 될 예정입니다.

용어

*1

lloc : 논리 코드 줄 (주석을 제외하는 소스 코드 줄 수)

*2

SAE : 자동차 엔지니어 협회

연락처 정보

토토사이트 주인공, Ltd. 토토사이트 주인공 실험실 계획 사무소 [담당 : Takizawa]
7-1-1 오마 카코, 히타키 시티, 이바라키 현 319-1292
전화 : 0294-52-7508 (Direct)

위