Product Lines Platform Wiki

The most promising software development paradigm for increasing productivity.

사용자 도구

사이트 도구


workbench:services:formal_analysis

Services

Formal Analysis of Control Component Behavior

<그림> ASADAL/PROVER 도구를 이용한 제어 컴포넌트 행위모델의 검증

워크벤치는 고신뢰성을 요구하는 소프트웨어 개발을 위한 좀 더 강력한 검증 방법을 서비스 합니다. 이 서비스를 이용하여 사용자는 상태기반 모델로 명세된 제어 컴포넌트의 행위를 정형기법(Formal Method)를 이용하여 검증할 수 있습니다. 또한 뷰어를 통해 반례(Counter Example) 또한 손쉽게 확인 할 수 있습니다.

  • ROBDD(Reduced Ordered Binary Decision Diagram) 기반 모델 체킹(Model Checking)
  • ASADAL/PROVER to SMV

  • ASADAL/PROVER

See Also

workbench/services/formal_analysis.txt · 마지막으로 수정됨: 2014/11/25 00:03 저자 edeward