Home > 제품소개 > 비쥬얼스테이트
< 비쥬얼스테이트 >
비쥬얼스테이트 : 제품소개

    비쥬얼스테이트 (응용 S/W)
IAR사의 VisualSTATE는 Embedded Software의 전체 개발 과정을 위한 통합된 툴이다. UML 기본의 그래픽 디자인 환경과 앞선 검증 도구, 강력한 코드 생성 기능을 가지고 있다.

(주)마이크로비젼-IAR(Visual State)

IAR사의 VisualSTATE는 Embedded Software의 전체 개발 과정을 위한 통합된 툴이다.
UML 기본의 그래픽 디자인 환경과 앞선 검증 도구, 강력한 코드 생성 기능을 가지고 있다.
VisualSTATE를 사용하면 디자인에 기초한 전체 응용 프로그램이 개발되며 소모적인
테스트 과정을 피할 수 있고 제품 생산에 사용되는 검증된 C코드를 만들 수 있다.
이때 생성된 C 프로그램은 손으로 작성되어 제작된 것 보다 간결하고 완전하게 자동 생성된다.

 1. Design



현재 복잡한 소프트웨어 시스템의 유지 보수에는 그래픽 지원이 필수적이며 IAR의 VisualSTATE는
프로그램을 제작할 때 그래픽 포맷을 사용하여 항상 프로그램의 문서 자체와 적용되는 응용분야의
일관성을 제공한다.

State 차트를 사용함으로써 시스템의 동작과 반응을 쉽게 이해할 수 있으며, 여러 가지 포맷으로 연결된
복잡한 시스템을 Real-Time으로 완벽하게 조화시킬 수 있다.

State 차트는 프로그램의 기본적인 개요를 적용하여 좀 더 조밀하게 연결된 Working Model을
만드는데 사용되며 여러 함수들을 차근차근 추가해 나갈 수 있도록 되어있다.

원하는 시간에 언제라도 IAR VisualSTATE Validator를 사용하여 프로그램을 Simulation 할 수 있으며,
Prototype 또는 타겟의 응용 프로그램을 생성해 낼 수도 있다.

VisualSTATE Designer의 GUI(Graphical User Interface)는 최신의 기술이 접목된 State 차트
저작툴을 제공하며 사용자가 임의로 구성하여 수정과 동시에 확인할 수 있도록 Window Layout을 제공한다.

 2. Prototyping

IAR VisualSTATE의 Prototyping의 개념은 엔지니어와 마케팅 그리고 사용자 사이의 의견 교환을
매우 쉽게 만들어 주는 것을 기본으로 하고 있다.
제품의 출시전에 제품에 대한 인식과 많은 정보를 제공해주어 영업팀은 신속하게 시장에 제품을
소개 할 수 있으며 기술지원팀은 출하전에 이미 제품에 지원능력을 키울 수 있다.
일부의 사용자들은 제품 개발 초기에 신제품을 미리 시험해보고 중요한 Feedback을 제공 할 수 있어
기존에 반복된 수정과정으로 빈번했던 오류들을 피하여 단 한번의 디자인 작업만으로 Prototype에서
사용했던 거의 같은 모델을 마지막 작업에서도 사용할 수 있는 장점이 있다.
VisualSTATE의 독보적인 기술로 인해 출시 제품의 Prototype과 100% 동일한 성능을 발휘 할 수 있다.

 3. Code Generation

IAR VisualSTATE는 자동으로 Target 시스템을 위한 Code를 생성해 준다.
디자인에 100% 일치된 Code를 생성해 주는데 이 기능은 수작업을 통해 제작된 Code와 같은 Error를
사전에 제거해 준다. 제품 생산에 직접 사용할 수 있는(Error-Free) Code는 대단히 효율적이며
일반적인 방법으로 제작된 프로그램보다 사용되는 코드와 데이터 영역을 훨씬 적게 사용한다.

 4. Test and Validation

기존의 방법으로 응용 프로그램의 모든 부분들을 테스트하고 수정하기란 거의 불가능하다.
모든 발생 가능한 조합을 확인하는 일 조차도 매우 어려운 작업일 것이다.
IAR VisualSTATE의 기술은 모든 영역의 테스트를 100% 지원하여 사용자 자신이 제작한 디자인을 위한
높은 수준의 자동 테스트 기능을 제공한다. IAR VisualSTATE Tester는 테스트를 위한 기술과
툴의 완전한 제품이다.
Interactive Simulation, Prototyping, In-Target Testing을 위한 Real-Link 그리고 완벽한
Dynamic Verification이 가능하도록 통합 환경으로 구성되어 있다.


 5. Validation



프로젝트의 초기 단계에서앞으로 발생 할 적용 프로그램의동작들을 확인 할 수 있으며 VisualSTATE
Tester의 툴을 이용하여 디자인 환경과 테스트 툴들 사이를 쉽게 이동하며 작업 할 수 있다.
쌍방향 Simulator를 통해 프로그램이 각각의 Event들에 어떻게 반응하는지 볼 수 있다.
Simulator는 응용프로그램과 현재 State와 동작 중인 State, Guard, 변수(Variables), Trigger 동작과
Signal에 관련된 모든 정보를 보여준다. VisualSTATE Prototyper를 사용하여 사용자 정의의
Simulator를 디자인 할 수 있고 쌍방향 Test를 위한제품의 Graphical 모델을 디자인 할 수 있다.



실제 Target 시스템 내에서 응용되는 프로그램의 Test를 위해서 Real-Link를 제공하며 Target과의
통신을 위한 표준 통신 방식인 RS-232, CAN 또는 Ethernet 등을 사용 할 수 있다. 이러한 모든 테스트
과정은 Log 파일에 저장 할 수 있으며 같은 Log 파일 내에서 여러 개의 시퀀스들을 각각 지정하여
사용 할 수 있다. 디자인을 바꾼 후 VisualSTATE는 이미 만들어진 Log 파일을 이용하여 똑같은
테스트 과정을 반복 할 수 있으며, IAR VisualSTATE Validator는 전에 동작한 결과와 비교하여
무엇이 변했는지도 알 수 있다.
Static Analysis로는 Event와 동작 측면에서 시스템을 분석 할 수 있다. Analysis 툴은 어떤 특정한
Event에 의해 발생된 동작 및 State 변화 과정을 분석 할 수 있는 기능을 제공한다.

 6. Dynamic Formal Verification

IAR VisualSTATE는 프로그램의 Run-Time 모델의 검증을 위한 기술을 사용하고 있다.
이 기술은 다중의 State들이 동시에 발생하는 State Machine에서 모든 조합을 테스트할 수 있다.
VisualSTATE Verificator는 시스템의 Dead-End를 찾아준다. 만일 특정한 State에 들어가서
빠져 나올 수가 없다면 이를 Dead-End로 나타낸다.
Dead-End는 지엽적인 부분과 시스템 수준으로도 확인되는데 이는 독립적으로 문제가 없는
State들이 서로 연관되어 동작될 때 일어나는 문제점을 사전에 방지해 준다.

 7. Documentation

IAR VisualSTATE는 항상 업데이트된 많은 문서들을 자동으로 제작해 준다.
VisualSTAE가 Graphical 디자인 포맷을 기본으로 하기 때문에 같은 그래픽으로 처리된 문서들이
추가되는 노력없이 자동으로 생성된다.
이전에 행한 모든 검증 작업이나 테스트 결과들도 필요에 따라 문서화 할 수 있다. 또한, 문서는
MS-Word 또는 RTF, HTML 등의 다양한 포맷으로 작성 될 수 있다.

Today/Total   0 / 943,083