KR20190019073A - 인터로킹 제어 시스템을 설계하기 위한 방법 및 설계 시스템 - Google Patents
인터로킹 제어 시스템을 설계하기 위한 방법 및 설계 시스템 Download PDFInfo
- Publication number
- KR20190019073A KR20190019073A KR1020187036280A KR20187036280A KR20190019073A KR 20190019073 A KR20190019073 A KR 20190019073A KR 1020187036280 A KR1020187036280 A KR 1020187036280A KR 20187036280 A KR20187036280 A KR 20187036280A KR 20190019073 A KR20190019073 A KR 20190019073A
- Authority
- KR
- South Korea
- Prior art keywords
- hardware
- module
- software
- automatically
- interlocking
- Prior art date
Links
- 238000013461 design Methods 0.000 title claims abstract description 72
- 238000000034 method Methods 0.000 title claims abstract description 37
- 238000004891 communication Methods 0.000 claims description 19
- 238000006243 chemical reaction Methods 0.000 claims description 12
- 230000009466 transformation Effects 0.000 claims description 4
- 230000001131 transforming effect Effects 0.000 claims 2
- 238000007726 management method Methods 0.000 description 14
- 230000002452 interceptive effect Effects 0.000 description 5
- 238000004364 calculation method Methods 0.000 description 3
- 230000011664 signaling Effects 0.000 description 3
- 230000003993 interaction Effects 0.000 description 2
- 238000004088 simulation Methods 0.000 description 2
- 238000013475 authorization Methods 0.000 description 1
- 230000005540 biological transmission Effects 0.000 description 1
- 238000004590 computer program Methods 0.000 description 1
- 238000013501 data transformation Methods 0.000 description 1
- 230000001419 dependent effect Effects 0.000 description 1
- 238000011161 development Methods 0.000 description 1
- 238000010586 diagram Methods 0.000 description 1
- 238000005516 engineering process Methods 0.000 description 1
- 238000012986 modification Methods 0.000 description 1
- 230000004048 modification Effects 0.000 description 1
- 238000010998 test method Methods 0.000 description 1
- 238000012360 testing method Methods 0.000 description 1
- 238000012956 testing procedure Methods 0.000 description 1
- 238000013519 translation Methods 0.000 description 1
- 238000010200 validation analysis Methods 0.000 description 1
- 238000012795 verification Methods 0.000 description 1
Images
Classifications
-
- G06F17/50—
-
- B—PERFORMING OPERATIONS; TRANSPORTING
- B61—RAILWAYS
- B61L—GUIDING RAILWAY TRAFFIC; ENSURING THE SAFETY OF RAILWAY TRAFFIC
- B61L19/00—Arrangements for interlocking between points and signals by means of a single interlocking device, e.g. central control
-
- B—PERFORMING OPERATIONS; TRANSPORTING
- B61—RAILWAYS
- B61L—GUIDING RAILWAY TRAFFIC; ENSURING THE SAFETY OF RAILWAY TRAFFIC
- B61L19/00—Arrangements for interlocking between points and signals by means of a single interlocking device, e.g. central control
- B61L19/06—Interlocking devices having electrical operation
-
- B—PERFORMING OPERATIONS; TRANSPORTING
- B61—RAILWAYS
- B61L—GUIDING RAILWAY TRAFFIC; ENSURING THE SAFETY OF RAILWAY TRAFFIC
- B61L21/00—Station blocking between signal boxes in one yard
- B61L21/04—Electrical locking and release of the route; Electrical repeat locks
-
- B61L27/0055—
-
- B—PERFORMING OPERATIONS; TRANSPORTING
- B61—RAILWAYS
- B61L—GUIDING RAILWAY TRAFFIC; ENSURING THE SAFETY OF RAILWAY TRAFFIC
- B61L27/00—Central railway traffic control systems; Trackside control; Communication systems specially adapted therefor
- B61L27/60—Testing or simulation
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
-
- B—PERFORMING OPERATIONS; TRANSPORTING
- B61—RAILWAYS
- B61L—GUIDING RAILWAY TRAFFIC; ENSURING THE SAFETY OF RAILWAY TRAFFIC
- B61L19/00—Arrangements for interlocking between points and signals by means of a single interlocking device, e.g. central control
- B61L19/06—Interlocking devices having electrical operation
- B61L2019/065—Interlocking devices having electrical operation with electronic means
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F2111/00—Details relating to CAD techniques
- G06F2111/02—CAD in a network environment, e.g. collaborative CAD or distributed simulation
-
- G06F2217/04—
Landscapes
- Engineering & Computer Science (AREA)
- Mechanical Engineering (AREA)
- Physics & Mathematics (AREA)
- Theoretical Computer Science (AREA)
- Geometry (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Evolutionary Computation (AREA)
- Computer Hardware Design (AREA)
- Stored Programmes (AREA)
- Feedback Control In General (AREA)
- Control By Computers (AREA)
- Train Traffic Observation, Control, And Security (AREA)
- Architecture (AREA)
- Software Systems (AREA)
- Programmable Controllers (AREA)
Abstract
본 발명은 하드웨어 및 하드웨어에 의해 실행되는 소프트웨어를 포함하는 인터로킹 제어 시스템을 설계하기 위한 방법에 관한 것이며, 상기 방법은 하드웨어 설계 모듈(1202)에 의해 하드웨어를 자동으로 설계하여 하드웨어 구성 데이터를 생성하는 단계(1) - 상기 자동 설계는 미리 결정된 설계 규칙 및 특정 입력 데이터를 기초로 함 - 및 소프트웨어 생성 모듈(1203)에 의해 설계된 하드웨어 상에서 실행된 소프트웨어를 자동으로 생성하는 단계(2) - 소프트웨어의 생성은 미리 결정된 특정 아키텍쳐 규칙, 하드웨어 구성 데이터 및 입력 데이터를 기초로 함 - 를 포함한다. 본 발명에 따르면, 방법은 스위트 관리 모듈(1100)에 의해 하드웨어 설계 모듈(1202)에 입력 데이터를 자동으로 제공하는 단계(3) 및 스위트 관리 모듈에 의해 소프트웨어 생성 모듈(1203)에 입력 데이터 및 하드웨어 구성 데이터를 자동으로 제공하는 단계(4)를 더 포함한다.
Description
본 발명은 인터로킹 제어 시스템을 설계하기 위한 방법 및 이를 설계하기 위한 설계 시스템에 관한 것이다.
본 발명은 철도 수송 네트워크 등의 수송 네트워크를 사용하는 차량의 순환 관리 영역에 관한 것이다. 그 자체로 알려진 방식으로, 순환 관리는 특정 열차 순환 관련 작동을 수행하도록 설계된 "야드 설비" 및/또는 "도로변 설비" 및/또는 "선로 변 설비"라고 하는 인터로킹 시스템의 현장 인터로킹 설비를 통해 성취된다. 이 설비는 신호 장치 및/또는 철도 스위치 및/또는 트랙 회로 등을 포함할 수 있다. 이 현장 설비는 제어 시스템의 컴퓨팅 수단에 의해 실행되는 소프트웨어 아키텍처에 기초하여 반자동식으로 또는 자동식으로 인터로킹 제어 시스템을 통해 오퍼레이터가 원격으로 제어할 수 있다. 인터로킹 제어 시스템은 시스템이 필드 설비와 인터페이싱되는 통신 네트워크를 포함한다. 이러한 인터로킹 제어 시스템의 예가 FR-B1-2 739 824에 개시된다.
CN-A-102 975 743은 필드 상에 선로 변 설비를 자동으로 배치하는 방법을 개시한다.
그러나 인터로킹 시스템이 장착된 각 수송 네트워크의 경우 인터로킹 제어 시스템은 고숙련 디자이너로 구성된 여러 팀이 참여하는 프로세스를 통해 설계해야하며, 그 중 일부는 특정 설계 소프트웨어를 통해 하드웨어를 설계하는 데 전념하고, 다른 일부는 설계된 하드웨어의 컴퓨터 수단으로 구현될 소프트웨어 아키텍처를 구축하는 데 전념하고 있다. 통신 네트워크는 개발된 하드웨어를 갖는 노변 설비를 수송 네트워크와 인터페이싱하기 위하여 별도의 디자이너 팀에 의해 설계될 수 있다. 이를 위해서는 상이한 지리적 위치에 종종 파견될 수 있는 프로젝트에 참여한 여러 팀의 작업을 조정하는 조직적 수단이 필요하다. 또한, 인터로킹 제어 시스템의 개발은 고유한 특정 기술 언어, 코드 및 운영 규칙을 사용하여 특정 클라이언트 및/또는 특정 수송 네트워크의 요건을 준수하여 실행되어야 한다.
결과적으로, 본 발명의 목적들 중 하나는, 설계를 위한 조직적 기술에 대한 필요성을 줄여서 인터로킹 제어 시스템의 설계를 단순화하는 것을 목적으로 하는 인터로킹 제어 시스템을 설계하는 방법을 제공하는 것이다.
본 발명의 목적은 청구항 1에 따른 방법이다.
본 발명으로 인해, 하드웨어 설계 및 소프트웨어 생성 단계는 하드웨어 설계 모듈과 소프트웨어 생성 모듈 간의 자동 통신을 제공하는 스위트 관리 모듈에 의해 관리되므로 설계 단계를 수행하기 위한 조직적 기술 및/또는 관리 기술에 대한 필요성이 줄어든다. 설계 단계를 실행하기 위한 것입니다. 또한, 본 발명은, 필요한 데이터가 하나의 모듈로부터 다른 모듈로 자동으로 전송되기 때문에 동일한 플랫폼상에서 또는 심지어 단 하나의 컴퓨터 단말에 의해서도 인터로킹 제어 시스템을 유리하게 설계할 수 있게 한다.
본 발명의 또 다른 선택적인 유리한 특징은 청구항 2 내지 청구항 12에 정의된다.
본 발명의 다른 목적은 청구항 13에 따른 설계 시스템이다.
이제 본 발명은 예시적인 예로서 첨부된 도면을 참조하여 설명될 것이다.
- 도 1은 본 발명에 따른 설계 시스템의 개략적인 구조도로서, 또한 본 발명에 따른 방법의 개략도를 도시한다.
- 도 2는 도 1의 설계 시스템 및 방법에 의해 설계될 수 있는 인터로킹 제어 시스템의 개략적인 구조도로서, 인터로킹 제어 시스템은 수송 네트워크의 인터로킹 설비와 인터페이싱된다.
- 도 1은 본 발명에 따른 설계 시스템의 개략적인 구조도로서, 또한 본 발명에 따른 방법의 개략도를 도시한다.
- 도 2는 도 1의 설계 시스템 및 방법에 의해 설계될 수 있는 인터로킹 제어 시스템의 개략적인 구조도로서, 인터로킹 제어 시스템은 수송 네트워크의 인터로킹 설비와 인터페이싱된다.
도 1의 설계 시스템(1000)은 바람직하게는 도 2에 도시된 인터로킹 제어 시스템(2000)을 설계하기 위해 오퍼레이터, 즉 사람이 시스템(1000)과 상호 작용할 수 있는 그래픽 인터페이스를 갖는 컴퓨터-구현 소프트웨어 스위트이다. 설계 시스템(1000)은 이하에서 정의되며 도 1에 개략적으로 도시된 단계들 및 하위 단계들을 포함하는 방법을 실행하도록 구성된다.
설계 시스템(1000)은 스위트 관리 모듈(1100) 및 다수의 계산 모듈(1200)을 포함한다. 바람직하게는, 시스템(1000)의 정상적인 사용에서, 이들 모듈(1100, 1200)은 자동이며, 시스템(1000)에는 시스템과 인터페이싱하는 오퍼레이터(H)의 인증 수단이 제공되므로, 일부 오퍼레이터(H)만이 인증을 통해 모듈(1100 및 1200)과 인터페이싱하도록 허용된다. 바람직하게는, 숙련된 오퍼레이터(H)만이 인증 수단을 통해 모듈들(1100 및 1200)에 액세스하는 권리를 받을 수 있지만, 이들 모듈들(1100 및 1200)은 하위(lower) 오퍼레이터(H)에 접근할 수 없고, 필요한 액세스 권한들이 제공되지 않는다.
시스템(1000)은 또한 더 높은 또는 더 낮은 스킬의 임의의 오퍼레이터(H)가 설계 시스템(1000)과 상호 작용할 수 있는 여러 인터랙티브 모듈(1300)을 포함한다. 시스템(1000)의 인증 수단은 여전히 설계 시스템(1000)의 액세스를 인가된 직원으로만 제한할 수 있다.
바람직하게, 설계 시스템(1000)은 오퍼레이터(H)가 상호작용할 수 있는 개인 컴퓨터와 같은 단일 컴퓨터 유닛 상에 구현된다. 대안적으로, 설계 시스템(1000)은 적절한 통신 시스템과 함께 접속된 여러 컴퓨터 유닛을 포함하는 시스템상에 구현되어, 데이터가 여러 모듈들(1100, 1200 및 1300) 간의 통신을 위해 통신 시스템을 통해 하나의 컴퓨터로부터 다른 컴퓨터로 전송될 수 있다. 예를 들어, 각 컴퓨터는 하나 이상의 모듈(1200 및 1300)을 구현할 수 있고, 스위트 관리 모듈(1100)은 통신 시스템을 통해 컴퓨터에 연결된 서버상에 구현된다. 다른 많은 구성이 가능하다.
임의의 경우에, 하나 이상의 오퍼레이터(H)는 설계 시스템(1000)과 상호 작용할 수 있으며, 각각의 오퍼레이터는 인터랙티브 모듈(1300) 중 하나와 상호 작용한다. 바람직하게는, 컴퓨터 유닛은 오퍼레이터가 물리적으로 작업하는 공통 작업 플랫폼 상에 그룹화된다.
도 2에 도시된 바와 같이, 도 1의 설계 시스템(1000)에 의해 설계되는 인터로킹 제어 시스템(2000)은 교통 네트워크, 바람직하게는 철도 네트워크, 지하철 네트워크, 전차 선로(tramway) 네트워크 등의 인터로킹 설비(3000)에 속하는 복수의 요소들과 인터페이싱되도록 구성된다. 인터로킹 설비는 수송 네트워크가 구현되는 현장에 물리적으로 제공되는 신호 장치 및/또는 철도 스위치 및/또는 트랙 회로 등과 같은 요소를 포함한다.
설계 시스템(1000)은 도 2에 도시된 시스템(2000)과 유사한 여러 인터로킹 제어 시스템을 설계시에 자동으로 설계하거나 또는 적어도 오퍼레이터(H)를 보조하도록 구성된다. 설계 시스템(1000)에 의해 설계될 수 있는 인터로킹 제어 시스템(2000)은 모듈식이며 사전 정의된 빌딩 규칙 및 아키텍처 규칙에 의해 정의된 하드웨어 유닛과 소프트웨어 유닛의 조합에 의해 획득된다. 결과적으로, 하나의 제어 시스템(2000)을 설계하는 것은 모듈식 조합에 의해, 즉 미리 결정된 또는 조립식 요소를 조합함으로써 대부분 얻는 것이 바람직하다.
설계될 인터로킹 제어 시스템(2000)은 인터로킹 설비(3000)를 제어하기 위한 하나 이상의 제어 유닛(2001 및 2002)을 포함하는 하드웨어를 포함한다. 각각의 제어 유닛(2001 및 2002)은 바람직하게는 큐비클 또는 캐비넷의 형태이고, 컴퓨팅 수단(2003)을 각각 포함한다. 컴퓨팅 수단(2003)은 하드웨어의 통신 네트워크(2004)를 통해 인터로킹 설비(3000)를 원격으로 제어하도록 의도된다. 다시 말해, 통신 네트워크(2004)는 인터로킹 설비(3000)와 제어 유닛(2001 및 2002)을 인터페이싱하도록 의도된다. 실제적으로, 제어 유닛(2001, 2002)은 스테이션 기반일 수 있으며, 통신 네트워크(2004)는 유닛(2001 및 2002)을 트랙 측에 배치된 인터로킹 설비에 연결하도록 구성된다. 이러한 목적을 위해, 통신 네트워크(2004)는 인터로킹 설비의 각 요소 및 하나 또는 다수의 제어 유닛(2001 및 2002)에 연결된 케이블들의 네트워크를 포함할 수 있다.
인터로킹 설비(3000)를 제어하기 위해, 제어 유닛(2001, 2002)의 컴퓨팅 수단(2003)은 소프트웨어, 즉 하나 이상의 컴퓨터 프로그램의 시스템을 실행한다. 소프트웨어의 제 1 부분은 제어 유닛(2001 및 2002)의 컴퓨팅 수단(2003)에 의해 실행되는 제어 프로그램 및 논리 유닛을 포함한다. 제어 프로그램 및 논리 유닛은 제어 신호(2005)를 인터로킹 설비(3000)에 전송하기 위해 그리고 통신 네트워크(2004)를 통해 인터로킹 설비(3000)로부터 피드백 신호(2006)를 수신하기 위하여 서로 조합하여 실행되어야 한다.
인터로킹 제어 시스템(2000)의 하드웨어는 또한 소프트웨어의 제 2 부분을 실행할 수 있는 추가 컴퓨팅 수단(2003)을 포함하는 인간-기계 인터페이스(2007)를 포함한다. 인터페이스(2007)는 유선 또는 무선 통신 네트워크와 같은 적절한 통신 수단(2008)을 통해 제어 유닛(2001 및 2002)에 국부적으로 또는 원격으로 접속된다. 인간-기계 인터페이스(2007)는 하나 이상의 사용자(U), 즉 하나 이상의 사람이 인터페이스(2007)와 상호작용하여 제어 유닛(2001 및 2002)을 통해 인터로킹 설비(3000)를 제어할 수 있게 하기 위해 하나 이상의 개인 컴퓨터의 형태로 구현될 수 있다. 따라서, 인터로킹 제어 시스템(2000)은 사용자(U)에 의한 인터로킹 설비의 자동, 반자동 또는 수동 제어를 허용한다. 인터로킹 제어 시스템에 의해 실행되는 소프트웨어의 일부는 인간-기계 인터페이스(2007)의 하나 이상의 모니터(2009) 상에서 디스플레이될 그래픽 인터페이스를 구성한다. 그래픽 인터페이스는 실시간으로 인터로킹 설비(3000)의 상태(state) 및/또는 현황(status)을 사용자(U)에게 디스플레이하기 위해 제어 유닛(2001 및 2002)과 상호 작용한다. 사용자(U)는 제어 유닛(2001 및 2002)을 통해 인터로킹 설비(3000)를 제어하기 위해 그래픽 인터페이스상에 작용할 수 있다.
도 1에 도시된 바와 같이, 주어진 수송 네트워크의 인터로킹 설비(3000)에 인터페이싱되도록 의도된 인터로킹 제어 시스템(2000)을 설계하기 위해, 오퍼레이터(H)는 먼저 설계 시스템(1000)의 입력 데이터 편집 모듈(1301)과 상호 작용한다. 입력 데이터 편집 모듈(1301)은 설계 시스템(1000)의 인터랙티브 모듈(1300)이다. 입력 데이터 편집 모듈(1301)은 계산 모듈(1200)에 속하는 설계 시스템(1000)의 데이터 변환 모듈(1201)과 상호 작용한다. 이 상호 작용은 바람직하게는 스위트 관리 모듈(1100)에 의해 달성되되 데이터 편집 모듈(1301)과 변환 모듈(1201) 간의 직접 통신에 의해 달성될 수 있다.
데이터 변환 모듈(1201)은 단계(11) 동안, 오퍼레이터(H)에 의해 제공된 특정 데이터를 편집 모듈(1301)로 자동 번역, 즉 임포팅(importing)하는 단계(5)를 실행하도록 구성된다. 특정 데이터는 단계(5)에서 입력 데이터로 변환된다.
특정 데이터는 인터로킹 제어 시스템(2000)이 인터페이싱되도록 의도되는 인터로킹 설비(3000)에 특정하다. 즉, 특정 데이터는 인터로킹 제어 시스템(2000)을 설계하는데 필요한 인터로킹 설비(3000) 및 수송 네트워크의 본질적인 특징을 포함한다. 예를 들어, 특정 데이터는 다음 요소 중 하나 이상을 포함한다 : 수송 네트워크의 그래픽 트랙 레이아웃(graphic track layout), 수송 네트워크의 제어 케이블, 수송 네트워크의 기능적 계획, 수송 네트워크의 작동 규칙. 그래픽 트랙 레이아웃은 상징적인 그리고 개략적인 지도와 같은 묘사를 통해 수송 네트워크의 트랙 및 인터로킹 설비 구현을 명시한다. 제어 테이블은 수송 네트워크 내에서 열차의 통행이 허용되는 루트, 각 루트와 연관되어 관련된 인터로킹 설비의 상태 및 동작이 명시된 표를 사용한 묘사이다.
특정 데이터는 유리하게 인간, 특히 오퍼레이터(H) 또는 사용자(U)가 해석할 수 있는 특정 기술 언어이다. 예를 들어, 그래픽 트랙 레이아웃은 인터로킹 설비 내의 수송 네트워크를 개략적으로 도시하는 그래픽 심볼을 포함하며, 이들 심볼은 이 특정 수송 네트워크 또는 수송 네트워크의 운영 주체에 특정된다. 따라서, 오퍼레이터(H)는 입력 데이터 편집 모듈(1301)을 통해 단계(10) 동안 변환 규칙을 제공한다. 변환 규칙은 제어 시스템(2000)이 인터페이싱되도록 의도된 수송 네트워크, 또는 본 경우에 설계될 운영 주체가 시스템(2000)과 유사한 인터로킹 제어 시스템을 통해 처리할 수 있는 여러 수송 네트워크의 적어도 일부에 특정된다. 예를 들어, 변환 규칙은 후술하는 설계 시스템(1000)의 다른 모듈(1200 및 1300)에 의해 해석 가능한 일반 언어로, 그들의 기술적 의미와 관련된 심볼들의 목록을 포함한다. 입력 데이터 편집 모듈(1301)은 오퍼레이터(H)가 모듈(1301)에 이러한 변환 규칙을 제공하기 위한 적절한 인터페이스를 포함한다. 그 후, 자동 변환의 단계(5)는 이들 변환 규칙에 기초하여 데이터 번역 모듈(1201)에 의해 실행된다.
단계(5) 이후에, 입력 데이터 편집 모듈(1301)은 변환된 입력 데이터를 수정 및/또는 인증하는 단계(6)를 수행하여, 오퍼레이터(H)가 필요한 경우 변환된 입력 데이터를 검사하고 수정할 수 있게 한다. 이 목적을 위해, 입력 데이터의 적어도 일부는 특정 언어로 다시 변환되어 오퍼레이터(H)에게 제출될 수 있다. 그러면 오퍼레이터(H)는 특정 데이터를 번역된 이 입력 데이터와 비교할 수 있다. 단계(6)는 오퍼레이터(H)의 도움으로 자동으로 또는 반자동으로 실행되는 하위 단계들을 더 포함할 수 있다. 바람직하게, 계산 모듈(1200)에 속하는 도시되지 않은 자동 검증 모듈이 작동 규칙 또는 신호 규칙에 기초하여 제어 테이블의 자동 테스트를 수행할 수 있다. 예를 들어, 제어 테이블은 일관성(coherence) 알고리즘 또는 다양성 또는 재구성을 기반으로하는 기술을 통해 검증될 수 있다.
바람직하게, 인터랙티브 모듈(1300)은 자동 변환의 단계(5)로 인해 특정 기술 언어로 오퍼레이터(H)와 상호 작용하도록 자동으로 구성된다. 따라서, 오퍼레이터(H)는 일반 언어를 이해하기 위해 숙련될 필요는 없지만 특정 기술 언어에서만 숙련될 필요가 있다. 따라서, 오퍼레이터(H)는 컴퓨터 과학에서 더욱 낮은 숙련도를 가질 수 있는 반면, 유리하게는 인터로킹 설비 및 수송 네트워크에서 보다 높은 숙련도를 가질 수 있다.
설계 시스템(1000)의 계산 모듈(1200)은 자동 데이터 변환 모듈(1201)에 의해 변환된 일반 언어를 해석하도록 구성된 하드웨어 설계 모듈(1202) 및 소프트웨어 생성 모듈(1203)을 포함한다.
단계(6) 이후에, 스위트 관리 모듈(1100)은 검증된 입력 데이터를 하드웨어 설계 모듈(1202) 및 소프트웨어 생성 모듈(1203)에 자동으로 제공하는 단계(3)를 실행한다.
이어서, 하드웨어 설계 모듈(1202)은 인터로킹 제어 시스템(2000)의 하드웨어를 자동으로 설계하는 단계(1)를 자동으로 수행한다. 하드웨어 설계 모듈(1202)은 제어 시스템(2000)의 타입의 모듈식 인터로킹 제어 시스템에 특정적인 미리 결정된 설계 규칙 또는 아키텍쳐 규칙을 기초로 이러한 자동 설계가 설계되는 것을 가능하게 하기 위하여 컴퓨터 구현된 프로그램을 포함한다. 특히, 미리 결정된 설계 규칙은 캐비닛, 랙, 릴레이, 배선 유닛, 기본 회로 등과 같은 하드웨어를 생성하기위한 모듈 방식으로 결합될 수 있는 이용 가능한 하드웨어 유닛의 라이브러리를 포함한다. 설계 규칙은 또한 이들 하드웨어 유닛을 서로 결합하기 위한 규칙을 포함한다. 특히, 입력 데이터에 따라 그리고 적절한 알고리즘으로 인해, 하드웨어 설계 모듈(1202)은 라이브러리로부터 제어 시스템(2000)에 필요한 하드웨어 유닛을 선택한다. 따라서, 단계(1)의 하위 단계(101)에서, 하드웨어 설자 모듈(1202)은 입력 데이터, 미리 결정된 설계 규칙, 특히 라이브러리의 이용 가능한 하드웨어 단위를 기초로 설계된 하드웨어에 필요한 하드웨어 유닛들의 목록을 자동으로 생성한다. 바람직한 실시예에서, 하위 단계(102)에서, 하드웨어 설계 모듈(1202)은 설계되는 인터로킹 제어 시스템(2000)에서 목록의 하드웨어 유닛들에 대한 적절한 위치를 자동으로 결정한다. 하드웨어 설계 모듈(1202)에, 하드웨어 유닛이 서로 결합될 수 있고 서로에 관하여 그리고 필드 상에서 할당될 수 있는 방법에 대해 하드웨어 설계 모듈(1202)에 알려주는 입력 데이터와 설계 규칙이 제공되므로, 하위 단계(102)가 성취될 수 있다.
따라서, 인터로킹 제어 시스템(2000)의 하드웨어 부분을 구축하는데 필수적인 모든 데이터를 포함하는 하드웨어 구성 데이터가 모듈(1202)에 의해 생성된다. 하드웨어 구성 데이터는 설계 시스템(1000)의 인터랙티브 모듈(1300)에 속하는 하드웨어 편집 모듈(1302)에 자동으로 전송된다. 이 자동 전송은 바람직하게는 스위트 관리 모듈(1100)에 의해 실행되지만, 하드웨어 설계 모듈(1202)과 하드웨어 편집 모듈(1302) 간의 직접 통신에 의해 달성될 수 있다.
하드웨어 편집 모듈(1302)은 하드웨어 설계 모듈(1202)에 의해 생성된 하드웨어 구성 데이터를 수정 및/또는 인증하는 단계(9)를 수행하는 오퍼레이터(H)를 허용한다. 하드웨어 편집 모듈(1302)과 상호 작용하는 오퍼레이터(H)는 입력 데이터 편집 모듈(1301)과 상호 작용하는 것과는 상이한 오퍼레이터 또는 동일한 오퍼레이터일 수 있다. 특히, 하드웨어 편집 모듈(1302)에 의해 실행되는 하위 단계(901)에서, 오퍼레이터(H)는 실용적인 상황 및/또는 자신의 지식의 견지에서 이 목록이 정확한지를 검사하기 위한 하드웨어 유닛들의 목록을 받는다. 하위 단계(901)는 또한 결정된 할당들에 관련된 데이터를 오퍼레이터(H)에게 제공하는 단계를 포함한다. 그 목적을 위해, 하드웨어 편집 모듈(1302)은 하드웨어의 그래픽 표현을 디스플레이할 수 있고 오퍼레이터(H)에 의한 이러한 할당 및 하드웨어 유닛의 목록의 개인화를 가능하게 할 수 있는 컴퓨터 지원 설계 소프트웨어를 포함할 수 있다. 따라서, 오퍼레이터(H)는 하드웨어 편집 모듈(1302)에 의해 하드웨어 구성 데이터를 수정 및/또는 인증할 수 있다. 필요하다면, 오퍼레이터(H)는 이 데이터의 최종 버전을 만들기 위해 편집 모듈(1302)에 의해 하드웨어 구성 데이터를 수정할 수 있다.
그 다음, 인증되거나 최종화된 하드웨어 구성 데이터는 편집 모듈(1302)을 통해 오퍼레이터(H)에 제공되어 인터로킹 제어 시스템(2000)의 하드웨어 부분이 필드 상에서 구축되고 구현될 수 있다. 바람직하게는, 하드웨어 구성 데이터는 변환 규칙에 의해 특정 기술 언어로 오퍼레이터(H)에게 제공된다. 따라서 하드웨어 구성 데이터는 운영 주체의 규칙 및 특정 기술 언어를 준수한다.
그 후, 스위트 관리 모듈(1100)은 소프트웨어 생성 모듈(1203)에 입력 데이터 및 검증된 하드웨어 구성 데이터를 자동으로 제공하는 단계(4)를 수행한다. 또한, 단계(4)는 스위트 관리 모듈(1100)이 자동적으로 소프트웨어 생성 모듈(1203)에 입력 데이터 편집 모듈(1301)에 제공되었던 변환 규칙을 제공한다.
단계(2)에서, 소프트웨어 생성 모듈(1203)은 설계된 하드웨어의 컴퓨팅 수단(2003) 상에서 실행될 소프트웨어를 자동으로 생성한다. 소프트웨어는 설계 시스템(1000)이 설계하도록 구성된 모듈식 인터로킹 제어 시스템의 유형에 특정적인 미리 결정된 구조 규칙에 기초하여 모듈(1203)에 의해 구축된다. 이러한 미리 결정된 소프트웨어 아키텍처 규칙은 설계 시스템(1000)에서 미리 구성된다. 소프트웨어 아키텍처 규칙은 특히 이용 가능한 하드웨어 유닛의 라이브러리에 특히 의존한다. 예를 들어, 소프트웨어 발생기 모듈(1203)은 WO-A1-03/070537에 기재된 유형이다.
단계(2) 동안, 소프트웨어 생성 모듈(1203)은 수신된 하드웨어 구성 데이터에 따라 부울 변수의 목록을 자동으로 생성하는 하위 단계(202)를 수행한다. 하위 단계(202)에서 생성된 목록의 부울 변수는 통신 네트워크(2004)를 통해 피드백 신호(2006)에 의해 전송될 수 있는 인터로킹 설비(3000)의 각 요소의 논리 상태에 상응하며, 또한 통신 네트워크(2004)를 통해 설비로 전송될 수 있는 제어 신호에 상응한다.
부울 변수의 목록, 입력 데이터 및 미리 결정된 아키텍처 규칙에 따라, 소프트웨어 생성 모듈(1203)은 논리 유닛을 자동으로 생성한다. 특히, 식은 부울 변수를 포함하거나 인터로킹 설비 데이터를 기반으로 생성되며, 작동 규칙은 입력 데이터에 포함된다.
그 다음, 소프트웨어 생성 모듈(1203)은 인터로킹 설비(3000)를 제어하기 위한 논리 유닛과 상호 작용할 제어 프로그램을 하위 단계(204)를 통해 자동으로 생성한다. 제어 프로그램은 하드웨어 구성 데이터, 입력 데이터 그리고 전술한 건축 규칙에 따라 생성된다.
일단 논리 유닛 및 제어 프로그램이 생성되면, 오퍼레이터(H)는 인터랙션 모듈(1300)에 속하는 소프트웨어 편집 모듈(1303)을 통해 모듈(1203)에 의해 생성된 논리 유닛 및 제어 프로그램을 수정 및/또는 인증하는 단계(8)를 수행할 수 있다. 모듈(1303)과 상호 작용하는 오퍼레이터(H)는 다른 모듈(1300)과 상호작용하는 오퍼레이터와 동일하거나 특정 상이한 오퍼레이터(H)일 수 있다. 소프트웨어에 관련된 데이터는 소프트웨어 편집 모듈(1303)을 통해 소프트웨어 편집 모듈(1303)의 특정 하위 모듈에 전송된다. 소프트웨어 편집 모듈(1203)을 통한 소프트웨어의 검증은 특정 하위 모듈에 의해 수행된 시뮬레이션 및 테스트 절차를 포함할 수 있다. 시뮬레이션 및 테스트 절차는 WO-A1-2004/044788에 기술된 타입의 시뮬레이터에 의해 실행될 수 있다. 소프트웨어 편집 모듈(1303)은 특정 기술 언어로 오퍼레이터(H)에게 디스플레이되며, 오퍼레이터(H)는 유리하게도 컴퓨터 과학에서 고급 기술을 필요로 하지 않는다. 필요한 경우, 소프트웨어는 이러한 절차의 결과에 따라 오퍼레이터(H)에 의해 조정될 수 있다. 소프트웨어의 일부 수정은 적절한 고급 절차를 통해 이 고급 오퍼레이터가 액세스할 수 있는 소프트웨어 편집 모듈(1303)의 고급 편집 하위 모듈을 사용하여 컴퓨터 과학에서보다 고급 기술을 가진 오퍼레이터에 의해 실행될 수 있다. 바람직하게는, 고급 하위 모듈은 필요한 인증 권한을 제공받지 않은 하급 기술을 가진 오퍼레이터는 사용할 수 없다.
그 후, 스위트 관리 모듈(1100)은 제어 유닛(2001)의 컴퓨팅 수단(2003)에 의해 실행될 소프트웨어의 제 1 부분을 형성하기 위하여 인증된 논리 유닛 및 제어 프로그램을 컴파일링(compiling)하는 하위 단계(205)를 수행하는 소프트웨어 생성 모듈(1203)에 인증된 논리 유닛 및 제어 프로그램을 전송한다.
병렬로, 소프트웨어 생성 모듈(1203)은 단계(2)에 포함된 하위 단계(201)에서 인간-기계 인터페이스(2007)의 모니터(2009) 상에 디스플레이될 그래픽 인터페이스를 자동으로 생성한다. 이러한 그래픽 인터페이스는 인간-기계 인터페이스(2007)를 작동하기 위한 소프트웨어의 제 2 부분에 속한다. 그래픽 인터페이스의 자동 생성은 수송 네트워크의 운영 주체에 개인화될 수 있는 미리 결정된 아키텍처 규칙에 기초한다. 특히, 이 자동 생성은 변환 규칙에 기초하므로, 그래픽 인터페이스가 인터로킹 제어 시스템(2000)의 조작 주체에 속하는 사용자(U)에 대해 개인화된 특정 기술 언어로 디스플레이된다. 그래픽 인터페이스는 또한 하드웨어 구성 데이터, 입력 데이터 및 그래픽 인터페이스가 통신 수단(2008)을 통해 상호 작용하도록 구성된 논리 유닛 및 제어 프로그램에 따라 생성된다.
스위트 관리 모듈(1100)은 생성된 그래픽 인터페이스를 소프트웨어 편집 모듈(1303)의 그래픽 인터페이스 편집 하위 모듈에 전송한다. 요약하면, 소프트웨어 편집 모듈(1303)은 여러 하위 모듈을 가질 수 있고, 일부는 논리 유닛 및 제어 프로그램을 수정 및/또는 검증하는데 전용되고 다른 일부는 그래픽 인터페이스를 수정 및/또는 인증하는데 전용된다.
오퍼레이터(H)는 단계(8) 동안 생성된 그래픽 인터페이스의 레이아웃을 편집할 수 있다. 오퍼레이터(H)는 소프트웨어 편집 모듈(1303)을 통해 선택적으로 편집된 그래픽 인터페이스를 인증한다.
그 후, 스위트 관리 모듈(1100)은 검증된 그래픽 인터페이스를 소프트웨어 생성 모듈(1203)에 전송하고, 소프트웨어 생성 모듈(1203)의 컴파일러를 통해 그래픽 인터페이스가 하위 단계(206) 동안 컴파일되도록한다. 대신 소프트웨어의 2개의 부분의 전체 컴파일레이션(compilation)이 소프트웨어 생성 모듈(1203)의 하나의 컴파일링 하위 모듈에 의해 공통 하위 단계 동안 실행된다.
컴파일된 소프트웨어는 이러한 시스템(2000)이 물리적으로 구축되자마자 컴파일된 소프트웨어를 인터로킹 제어 시스템(2000)의 하드웨어 상에 구현하기 위해 예를 들어 USB 플래시 드라이브 등과 같이 더 많은 스토리지 드라이브들 중 하나에 의해 오퍼레이터(H)에 의해 검색될 수 있다.
모듈(1200)에 의해 자동으로 실행되는 방법의 단계는 유리하게는 모듈(1300)에 의해 하나 이상의 오퍼레이터(H)에 의해 인증된다.
전술한 실시예의 각각의 특징은 기술적으로 가능할 때, 상기 개시된 실시예 중 임의의 것으로 구현될 수 있다.
Claims (13)
- 인터로킹 제어 시스템(2000)을 설계하기 위한 방법으로서, 상기 인터로킹 제어 시스템은 수송 네트워크의 인터로킹 설비(3000)와 인터페이싱되도록(interfaced) 구성되며 하드웨어(2001, 2002, 2004, 2007, 2008) 및 상기 인터로킹 설비를 제어하기 위한 상기 하드웨어의 컴퓨팅 수단(2003)에 의해 실행되는 소프트웨어를 포함하고, 상기 방법은 다음의 연속적인 단계들:
- 하드웨어 설계 모듈(hardware designer module)(1202)에 의해, 하드웨어를 자동으로 설계함으로써 하드웨어 구성 데이터를 생성하는 단계(1)로서, 상기 자동 설계는 :
○ 인터로킹 제어 시스템에 특정적인 미리 결정된 설계 규칙, 및
○ 설계된 상기 인터로킹 제어 시스템(2000)이 인터페이싱되도록 의도 되는 상기 수송 네트워크에 특정적인 입력 데이터를 기초로 하는, 하드웨어 구성 데이터를 생성하는 단계(1),
- 소프트웨어 생성 모듈(software generator module)(1203)에 의해, 설계된 상기 하드웨어의 상기 컴퓨팅 수단(2003) 상에서 실행되는 상기 소프트웨어를 자동으로 생성하는 단계(2)로서, 상기 소프트웨어의 생성은 :
○ 인터로킹 제어 시스템에 특정적인 미리 결정된 아키텍처 규칙,
○ 상기 하드웨어 구성 데이터, 및
○ 상기 입력 데이터를 기초로 하는, 소프트웨어를 자동으로 생성하는 단계(2)를 포함하고,
상기 방법은,
- 스위트 관리 모듈(suite manager module)(1100)에 의해 상기 하드웨어 설계 모듈(1202)에 상기 입력 데이터를 자동으로 제공하는 단계(3), 및
- 상기 입력 데이터 및 상기 하드웨어 구성 데이터를 상기 스위트 관리 모듈에 의해 상기 소프트웨어 생성 모듈(1203)에 자동으로 제공하는 단계(4)를 더 포함하는 것을 특징으로 하는, 인터로킹 제어 시스템을 설계하기 위한 방법. - 청구항 1에 있어서, 상기 입력 데이터는 상기 수송 네트워크의 이하의 요소들: 상기 인터로킹 설비(3000), 작동 규칙들, 트랙들의 레이아웃 중 적어도 하나에 관련되는, 인터로킹 제어 시스템을 설계하기 위한 방법.
- 청구항 1 또는 청구항 2에 있어서,
- 상기 방법은, 상기 하드웨어(2001, 2002, 2004, 2007, 2008)를 자동적으로 설계하는 단계(1) 전에, 특정 데이터를 상기 하드웨어 설계 모듈(1202) 및 상기 소프트웨어 생성 모듈(1203)에 제공될 상기 입력 데이터로 자동으로 변환하는(translating) 단계(5)를 포함하고, 상기 자동으로 변환하는 단계(5)는 상기 데이터 변환 모듈(1201)에 의해 실행되고,
- 상기 특정 데이터는 제 1 오퍼레이터(H)에 의해 해석 가능한 특정 기술 언어로 상기 방법의 추가 단계(11) 동안 제 1 오퍼레이터에 의해 제공되며, 상기 인터로킹 제어 시스템(2000)이 인터페이싱되도록 의도되는 상기 수송 네트워크에 특정적이고,
- 상기 입력 데이터는 상기 하드웨어 설계 모듈 및 상기 소프트웨어 생성 모듈에 의해 해석 가능한 일반 언어이며,
- 상기 자동으로 변환하는 단계(5)는 상기 방법의 추가 단계(10) 동안 상기 제 1 오퍼레이터(H)에 의해 제공된 변환 규칙에 기초하여 상기 데이터 변환 모듈(1201)에 의해 실행되며, 상기 변환 규칙은, 상기 인터로킹 제어 시스템이 인터페이싱되도록 의도되는 상기 수송 네트워크에 특정적인, 인터로킹 제어 시스템을 설계하기 위한 방법. - 청구항 3에 있어서, 상기 방법은 상기 하드웨어(2001, 2002, 2004, 2007, 2008)를 자동으로 설계하는 단계(1) 전에 그리고 상기 자동으로 변환하는 단계(5) 후에, 변환된 상기 입력 데이터를 수정 및/또는 인증하는 단계(6)를 더 포함하며, 상기 추가 단계(6)는 입력 데이터 편집 모듈(1301)을 통해 상기 제 1 오퍼레이터(H)에 의해 실행되는, 인터로킹 제어 시스템을 설계하기 위한 방법.
- 청구항 1 내지 청구항 4 중 어느 한 항에 있어서,
- 설계된 상기 하드웨어(2001, 2002, 2004, 2007, 2008)는 :
o 상기 컴퓨팅 수단(2003)의 적어도 일부를 포함하는, 상기 인터로킹 설비(3000)를 제어하기 위한, 적어도 하나의 제어 유닛(2001, 2002),
o 상기 제어 유닛을 상기 인터로킹 설비(3000)와 인터페이싱하기 위한 통신 네트워크(2004), 및
o 하나 이상의 사용자(U)가 상기 제어 유닛에 의해 상기 인터로킹 설비를 제어할 수 있게 하는 인간-기계 인터페이스(human-machine interface)(2007)를 포함하는, 인터로킹 제어 시스템을 설계하기 위한 방법. - 청구항 5에 있어서, 상기 컴퓨팅 수단(2003)에 의해 실행되는 상기 소프트웨어는 상기 인터로킹 설비(3000)에 제어 신호를 전송하기 위해 그리고 상기 통신 네트워크(2004)에 의해 상기 인터로킹 설비로부터 피드백 신호를 수신하기 위해 서로 조합되어 실행되도록 구성된 제어 프로그램 및 논리 유닛을 포함하는, 인터로킹 제어 시스템을 설계하기 위한 방법.
- 청구항 6에 있어서, 상기 소프트웨어를 자동으로 생성하는 단계(2)는, 다음의 하위 단계들 :
- 하드웨어 구성 데이터에 따라 부울 변수(Boolean variables)의 목록을 자동 생성하는 단계(202),
- 상기 부울 변수의 목록, 상기 입력 데이터 및 상기 아키텍처 규칙에 따라 상기 논리 유닛을 자동으로 생성하는 단계(203), 및
- 상기 하드웨어 구성 데이터, 상기 입력 데이터 및 상기 아키텍처 규칙에 따라 상기 제어 프로그램을 자동으로 생성하는 단계(204)를 포함하는, 인터로킹 제어 시스템을 설계하기 위한 방법. - 청구항 5 내지 청구항 7 중 어느 한 항과 결합되는, 청구항 3 또는 청구항 4에 있어서,
- 상기 소프트웨어 생성 모듈(1203)에 상기 입력 데이터 및 상기 하드웨어 구성 데이터를 자동으로 제공하는 단계(4)는, 상기 스위트 관리 모듈(1100)에 의해, 상기 소프트웨어 생성 모듈(1203)에 상기 변환 규칙을 자동으로 제공하는 하위 단계(401)를 포함하고,
- 상기 컴퓨팅 수단(2003) 상에서 실행되는 상기 소프트웨어를 생성하는 단계(2)는 인간-기계 인터페이스(human-machine interface)(2007)의 적어도 하나의 모니터(2009) 상에 디스플레이될 그래픽 인터페이스를 자동으로 생성하는 하위 단계(201)를 포함하고, 상기 그래픽 인터페이스는 상기 특정 기술 언어로 상기 인터로킹 설비(3000)의 상태를 사용자에게 디스플레이하도록 구성되며, 상기 그래픽 인터페이스의 자동 생성은 상기 미리 결정된 아키텍처 규칙, 상기 하드웨어 구성 데이터, 상기 입력 데이터 및 상기 변환 규칙을 기초로 하는, 인터로킹 제어 시스템을 설계하기 위한 방법. - 청구항 1 내지 청구항 8 중 어느 한 항에 있어서, 상기 방법은 상기 소프트웨어 생성 모듈(1203)에 의해 생성된 소프트웨어를 수정 및/또는 인증하는 단계(8)를 더 포함하며, 이러한 단계(8)는 소프트웨어 편집 모듈(1303)을 통해 제 2 오퍼레이터(H)에 의해 실행되는, 인터로킹 제어 시스템을 설계하기 위한 방법.
- 청구항 1 내지 청구항 9 중 어느 한 항에 있어서, 상기 설계 규칙은 인터로킹 제어 시스템에 구현된 하드웨어를 설계하는데 사용될 수 있는 이용 가능한 하드웨어 유닛의 라이브러리를 포함하고, 상기 하드웨어(2001, 2002, 2004, 2007, 2008)를 자동으로 설계하는 단계(1)는, 하기의 하위 단계들 :
- 상기 입력 데이터와 상기 라이브러리의 이용 가능한 하드웨어 유닛들을 기반으로, 설계된 상기 하드웨어에 필요한 하드웨어 유닛들의 목록을 자동으로 생성하는 단계(101), 및
- 설계되고 있는 상기 인터로킹 제어 시스템(2000) 내에서의 상기 목록의 하드웨어 유닛들에 대한 할당을 자동으로 결정하는 단계(102)를 포함하는, 인터로킹 제어 시스템을 설계하기 위한 방법. - 청구항 1 내지 청구항 10 중 어느 한 항에 있어서, 상기 방법은 상기 하드웨어 설계 모듈(1202)에 의해 생성된 상기 하드웨어 구성 데이터를 수정 및/또는 인증하는 단계(9)를 더 포함하며, 이러한 단계는 상기 소프트웨어 생성 모듈(1203)에 상기 하드웨어 구성 데이터를 자동으로 제공하는 단계(3) 전에, 하드웨어 편집 모듈(1302)을 통해 제 3 오퍼레이터(H)에 의해 실행되는, 인터로킹 제어 시스템을 설계하기 위한 방법.
- 청구항 11과 결합되는 청구항 10에 있어서, 상기 하드웨어 구성 데이터를 수정 및/또는 인증하는 단계(9)는 상기 제 3 오퍼레이터(H)에게 결정된 상기 할당에 관련된 데이터 및 상기 하드웨어 유닛들의 목록을 제공하는 하위 단계(901)를 포함하며, 그에 따라 상기 제 3 오퍼레이터는 상기 하드웨어 편집 모듈(1302)에 의해 상기 하드웨어 구성 데이터를 수정 및/또는 인증할 수 있는, 인터로킹 제어 시스템을 설계하기 위한 방법.
- 인터로킹 제어 시스템(2000)을 설계하기 위한 설계 시스템(1000)으로서, 상기 인터로킹 제어 시스템은 수송 네트워크의 인터로킹 설비(3000)와 인터페이싱되도록 구성되고 하드웨어(2001, 2002, 2004, 2007, 2008) 및 상기 인터로킹 설비를 제어하기 위한 하드웨어의 컴퓨팅 수단(2003)에 의해 실행되는 소프트웨어를 포함하고, 상기 설계 시스템은:
- 자동으로 하드웨어를 설계하여 하드웨어 구성 데이터를 생성하도록 구성된 하드웨어 설계 모듈(1202)로서, 상기 자동 설계는 :
○ 인터로킹 제어 시스템에 특정적인 미리 결정된 설계 규칙, 및
○ 설계된 상기 인터로킹 제어 시스템(2000)이 인터페이싱되도록 의도 되는 상기 수송 네트워크에 특정적인 입력 데이터를 기초로 하는, 하드웨어 설계 모듈(1202),
- 설계된 상기 하드웨어의 컴퓨팅 수단 상에서 실행되는 소프트웨어를 자동으로 생성하도록 구성된 소프트웨어 생성 모듈(1203)로서, 상기 소프트웨어의 생성은 :
○ 인터로킹 제어 시스템에 특정적인 미리 결정된 아키텍처 규칙,
○ 상기 하드웨어 구성 데이터, 및
○ 상기 입력 데이터를 기초로 하는, 소프트웨어 생성 모듈(1203)을 포함하고,
상기 설계 시스템은, 상기 하드웨어 설계 모듈(1202)에 상기 입력 데이터를 자동으로 제공하도록 그리고 상기 소프트웨어 생성 모듈(1203)에 상기 입력 데이터 및 상기 하드웨어 구성 데이터를 자동으로 제공하도록 구성되는 스위트 관리 모듈(1100)을 더 포함하는 것을 특징으로 하는, 설계 시스템.
Applications Claiming Priority (3)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| EP16305725.0 | 2016-06-14 | ||
| EP16305725.0A EP3258400A1 (en) | 2016-06-14 | 2016-06-14 | Method and designing system for designing an interlocking control system |
| PCT/EP2017/064555 WO2017216229A1 (en) | 2016-06-14 | 2017-06-14 | Method and designing system for designing an interlocking control system |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| KR20190019073A true KR20190019073A (ko) | 2019-02-26 |
Family
ID=56409577
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| KR1020187036280A KR20190019073A (ko) | 2016-06-14 | 2017-06-14 | 인터로킹 제어 시스템을 설계하기 위한 방법 및 설계 시스템 |
Country Status (7)
| Country | Link |
|---|---|
| EP (1) | EP3258400A1 (ko) |
| KR (1) | KR20190019073A (ko) |
| AU (1) | AU2017286238B2 (ko) |
| IL (1) | IL263569B2 (ko) |
| MA (1) | MA44178B1 (ko) |
| PH (1) | PH12018502592A1 (ko) |
| WO (1) | WO2017216229A1 (ko) |
Families Citing this family (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN111845866B (zh) * | 2020-06-29 | 2022-04-19 | 通号城市轨道交通技术有限公司 | 一种联锁配置文件的自动生成方法、装置及电子设备 |
| CN113401181B (zh) * | 2021-05-28 | 2022-08-30 | 卡斯柯信号有限公司 | 一种适用于多种制式信号系统验证的实现系统与方法 |
| CN114454919B (zh) * | 2022-03-14 | 2024-02-13 | 青迈启迪轨道科技(天津)有限公司 | 一种计算机联锁系统 |
Family Cites Families (5)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US5463552A (en) * | 1992-07-30 | 1995-10-31 | Aeg Transportation Systems, Inc. | Rules-based interlocking engine using virtual gates |
| FR2739824B1 (fr) | 1995-10-13 | 1997-11-14 | Gec Alsthom Transport Sa | Systeme d'enclenchement ferroviaire a architecture logicielle et son procede d'implementation |
| ITSV20020009A1 (it) | 2002-02-22 | 2003-08-22 | Alstom Transp Spa | Metodo per la generazione di unita' logiche di comando degli apparatidi stazione a computer vitale, cioe' nelle unita' centrali di comando |
| ITSV20020056A1 (it) | 2002-11-14 | 2004-05-15 | Alstom Transp Spa | Dispositivo e metodo di verifica di motori software logici di comando di impianti ferroviari, in particolare di impianti di stazione |
| CN102975743B (zh) | 2012-11-28 | 2015-04-08 | 北京交控科技有限公司 | 轨旁设备自动布置方法 |
-
2016
- 2016-06-14 EP EP16305725.0A patent/EP3258400A1/en not_active Ceased
-
2017
- 2017-06-14 KR KR1020187036280A patent/KR20190019073A/ko not_active Application Discontinuation
- 2017-06-14 WO PCT/EP2017/064555 patent/WO2017216229A1/en active Application Filing
- 2017-06-14 IL IL263569A patent/IL263569B2/en unknown
- 2017-06-14 MA MA44178A patent/MA44178B1/fr unknown
- 2017-06-14 AU AU2017286238A patent/AU2017286238B2/en active Active
-
2018
- 2018-12-10 PH PH12018502592A patent/PH12018502592A1/en unknown
Also Published As
| Publication number | Publication date |
|---|---|
| AU2017286238B2 (en) | 2022-03-31 |
| AU2017286238A1 (en) | 2019-01-03 |
| PH12018502592A1 (en) | 2019-10-14 |
| EP3258400A1 (en) | 2017-12-20 |
| IL263569B2 (en) | 2023-10-01 |
| WO2017216229A1 (en) | 2017-12-21 |
| IL263569B1 (en) | 2023-06-01 |
| IL263569A (en) | 2019-01-31 |
| MA44178B1 (fr) | 2020-11-30 |
| MA44178A1 (fr) | 2019-07-31 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Pooladvand et al. | Evaluating mobile crane lift operations using an interactive virtual reality system | |
| Behm et al. | METEOR: A successful application of B in a large project | |
| RU2617972C1 (ru) | Тренажер оперативного и эксплуатационного персонала на основе моделей виртуальной реальности трансформаторной подстанции | |
| KR20190019073A (ko) | 인터로킹 제어 시스템을 설계하기 위한 방법 및 설계 시스템 | |
| CN107590046A (zh) | 一种遥感卫星载荷任务指令验证方法和系统 | |
| Sacco et al. | Virtual factory manager | |
| Borda et al. | Compositional verification of self-adaptive cyber-physical systems | |
| Jabri et al. | European railway traffic management system validation using UML/Petri nets modelling strategy | |
| Ferrari et al. | From commercial documents to system requirements: an approach for the engineering of novel CBTC solutions | |
| Xiangxian et al. | A component-based topology model for railway interlocking systems | |
| James et al. | Verification of scheme plans using CSP|| B | |
| Cordeiro et al. | Combining local and remote laboratories for the interactive learning of industrial automation | |
| Iliasov et al. | Formal verification of railway interlocking and its safety case | |
| Pihlanko et al. | An industrial evaluation of SysML: The case of a nuclear automation modernization project | |
| Gao et al. | Generating testing codes for behavior-driven development from problem diagrams: A tool-based approach | |
| Cancila et al. | Cyber-physical system and contract-based design: A three dimensional view | |
| Lukács et al. | Conception of a formal model-based methodology to support railway engineers in the specification and verification of interlocking systems | |
| El-Sayed et al. | Web-based Software-Suite for DC Railway Simulation and Analysis: Architecture, Data Management and Visualization | |
| Magro et al. | A software product line definition for validation environments | |
| Beer et al. | Issues in testing dependable event-based systems at a systems integration company | |
| Schiavi et al. | Semi-automatic generation of virtual reality procedural scenarios for operation in construction based on 4D building information models | |
| Iliasov et al. | Industrial-Strength Verification of Solid State Interlocking Programs | |
| Endresen et al. | Train control language–teaching computers interlocking | |
| Iliasov et al. | SafeCap: from formal verification of railway interlocking to its certification. | |
| Sullivan et al. | Development of a real-time virtual airspace simulation capability for air traffic management research |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| E902 | Notification of reason for refusal | ||
| E902 | Notification of reason for refusal | ||
| E902 | Notification of reason for refusal | ||
| E601 | Decision to refuse application |