임베디드 제어 응용 프로그램을 위한 소프트웨어 프로그램의 합성

임베디드 반응형 실시간 응용 프로그램을 위한 소프트웨어 구성요소는 엄격한 코드 크기와 실행 시간 제약을 만족해야 합니다. 협력하는 유한 상태 기계는 고급 사양 언어와 소프트웨어 또는 하드웨어 구현 간의 임베디드 시스템 공동 합성을 위한 편리한 중간 형식을 제공합니다. 우리는 제한된 사양 클래스의 이점을 활용하고 구현 비용에 대한 엄격한 제어를 허용하는 소프트웨어 생성 방법론을 제안합니다. 이 방법론은 부울 함수 최적화 분야의 여러 기술을 활용합니다. 우리는 또한 중간 표현으로 사용되는 단순화된 제어/데이터 흐름 그래프가 최종 실행 코드의 크기와 타이밍 비용을 정확하게 추정하는 데 어떻게 사용될 수 있는지를 설명합니다.