Embedded 소프트웨어
PragmaDev Studio
PragmaDev STUDIO
Specifiers, Developers 및 Testers가 복잡한
현 시스템 개발을 관리의 편리성을 제공하기 위한 툴 세트
현 시스템 개발을 관리의 편리성을 제공하기 위한 툴 세트
-
개발 및 관리의 편리성PragmaDev Studio는 PragmaDev Specifier , PragmaDev Developer , PragmaDev Tester 및 PragmaDev Tracer 로 구성되어 모듈 간의 연동 개발 및 관리의 편리성을 제공합니다. -
테스트 제공이 가능한 솔루션PragmaDev Studio는 프로세서 또는 function들에 대한 Specification, 디자인 또는 검증과 같은 개발의 다양한 단계에서 하나의 모델링을 통한 개발 또는 테스트 제공이 가능한 솔루션입니다
PragmaDev Studio OVERVIEW
Deployment Simulator
Specifiers, Developers 및 Testers가 복잡한 현 시스템 개발을 관리의 편리성을 제공하기 위한 툴 세트입니다. PragmaDev Studio는 프로세서 또는 function들에 대한 Specification, 디자인 또는 검증과 같은 개발의 다양한 단계에서 하나의 모델링을 통한 개발 또는 테스트 제공이 가능한 솔루션입니다.
01
PRAGMADEV SPECIFIER
시스템 엔지니어, 설계자 및 Specifier가 그래픽 및 실행 가능한 기능 모델에서 요구 사항을
표현할 수 있도록 돕기 위한 툴입니다. 미래의 시스템은 수많은 장치를 연결하는 복잡한 구조로
이루어지고 정적 및 동적으로 각 하위 시스템과 연동 수행 작업에 대하여 기능적으로 명확하게
정의하기 위한 툴입니다.
- 시스템의 논리적 및 물리적 아키텍처 정의
- 아키텍처의 서로 다른 에이전트 간의 인터페이스 정의
- 각 에이전트의 동작을 설명
- 모델을 시스템의 실제 장치와 연동
- 아키텍처의 서로 다른 에이전트 간의 인터페이스 정의
- 각 에이전트의 동작을 설명
- 모델을 시스템의 실제 장치와 연동
02
PRAGMADEV DEVELOPER
소프트웨어 개발자가 소프트웨어 아키텍처와 다른 에이전트의 동시 동작을 Spectification 하기 위한 툴입니다.
- 기능적 문제에 초점
- 명확한 아키텍처 제작
- 포터블 디자인
- 유지 보수 용이
- 자동 문서 생성
- 그래픽 모델에서 C /C++로 코드 생성
- 명확한 아키텍처 제작
- 포터블 디자인
- 유지 보수 용이
- 자동 문서 생성
- 그래픽 모델에서 C /C++로 코드 생성
PRAGMADEV TESTER
TTCN3 국제 표준 테스트 언어 기반의 syntax 와 semantic 검증, 시뮬레이션, 코드 생성, 디버깅 및 그래픽 트레이스 기능 제공 툴