stanford-oval/wikipedia huggingface dataset:
유럽 연합법

유럽 연합법(European Union law, EU법)은 유럽 연합 회원국의 법에 직간접적인 영향을 미치는 독자적인 법 체계이다. 헌법에 상응하는 법령은 유럽 연합의 조약, 법률에 상응하는 법령은 지침(Directive), 규칙(Regulation), 결정(Decision)이다. 유럽 연합의 입법 기관은 유럽 의회와 유럽 연합 이사회로 이루어진다.
유럽연합은 세계 제2차대전 이후 유럽석탄철강공동체를 설립한 이래로 세계 공동체에서 유럽인들의 평화와 사회정의를 구현하기 위해 노력해왔다. 유럽연합은 실체적인 정치적 기구를 갖고 있으며, 인간의 협동과 진보라는 목표를 달성하기 위하여 개별 회원국들의 이해를 초월하는 각종 사회적 경제적 정책들을 실행하고 있다. 유럽사법재판소(Court of Justice)에 따르면, 유럽연합은 곧 "국제법의 새로운 법적 질서(a new legal order of international law)"를 나타낸다. 유럽연합의 법적 기초는 '유럽연합에 관한 조약(Treaty on European Union)'과 '유럽연합의 기능에 관한 조약(Treaty on the Functioning of the European Union)'이며, 이들은 당시 28개 회원국 정부들의 만장일치로 체결되었다. 유럽연합에 새로 가입하려는 국가는 연합의 규범을 따르고 이행할 것에 동의해야 하고, 기존의 회원국들은 "자국의 헌법적 요건"에 따라서 탈퇴를 결정할 수 있다. 사람들은 의회(Parliament)나 또는 개별 회원국 정부를 통하여 유럽연합의 입법과정에 참여할 권리를 부여받는다. 집행위원회(European Commission)는 입법절차를 개시하고, 각료이사회(Council of European Union)는 개별 회원국 정부를 대표하며, 의회는 유럽연합 시민들에 의해 선출된다. 유럽사법재판소(Court of Justice)은 법치주의(rule of law)와 인권(human rights)을 준수해야만 한다. 유럽사법재판소(Court of justice)에 따르면, 유럽연합은 "단지 경제적 통합"만을 목표로 하는 것이 아니라, "사회적 진보를 보장하고 인간의 삶과 노동 조건을 끊임없이 개선시켜가는 것"을 목표로 한다.
헌법

비록  유럽연합은 성문화된 헌법(Constitutional law)을 가지고 있지는 않지만, 다른 모든 정치체제(political body)와 같이 기존적인 통치구조를 "구성하는(constitute)" 법률들을 가지고 있다. 유럽연합의 주요 헌법적 법원(sources)은 '유럽연합에 관한 조약(Treaty on European Union)'과 '유럽연합의 기능에 관한 조약(Treaty on the Functioning of the European Union)'이다. 이 둘은 당시 28개 회원국 정부들의 동의 및 확정에 의해 체결되었다. 이 조약들은 유럽연합의 기구들의 설립에 대한 근거를 제공하고, 기구들의 권한과 책임 사항들을 열거하고 있으며, 유럽연합이 지침(Directives) 또는 규칙(Regulations)의 형태로 입법할 수 있는 영역들에 대해 설명하고 있다. 집행위원회(European Commission)은 입법제안을 개시할 수 있다. 통상적인 입법 절차 기간 동안, 회원국 정부들의 각료들로 구성된 각료이사회(Council)와 시민들에 의해 선출된 유럽의회(European Parliament)는 제시된 입법안을 수정할 수 있고, 법을 통과시키기 위해서는 이들의 동의가 필요하다. 집행위원회(Commission)는 유럽연합법을 시행하는 다양한 기구들과 부서들을 감독한다. 각국의 각료들로 구성되는 각료이사회(Council of European Union)와 구별되는 유럽연합 정상회의(European council)는 수상이나 대통령 등 각국의 수반으로 구성된다. 정상회의에서 집행위원들(Commissioners)과 유럽중앙은헹(European Central Bank)의 이사회가 임명된다. 유럽연합 대법원(European Court of Justice)은 유럽연합법을 해석하는 최고등 법원이고 선례를 통해 법리를 발전시켜간다. 대법원은 조약 사항들에 따라 유럽연합 기구들의 활동에 대한 적법성 심사를 할 수 있고(can review the legality of the EU institutions' actions), 또한 회원국들과 시민들의 유럽연합법 위반을 결정할 수 있다.
헌법 > 조약

유럽연합에 관한 조약(Treaty on European Union, 'TEU')과 유럽연합의 기능에 관한 조약(Treaty on the Functioning of the European Union, 'TFEU')은 유럽연합법의 주된 법원(sources)이다.
지석역

| 지석 |
| --- | --- |
 역사
 역명판
개괄
관할 기관 : 용인경량전철 네오트랜스
소재지 : 경기도 용인시 기흥구 어정로 28 (상하동)
좌표 : 북위 37° 16′ 26″ 동경 127° 8′ 25″﻿ / ﻿북위 37.27389°  동경 127.14028° ﻿ / 37.27389; 127.14028
개업일 : 2013년 4월 26일
역 번호 : Y112
종별 : 보통역
승강장수 : 2면 2선
거리표
용인 경전철
기흥 기점 2.1 km
   ← Y111 강남대  (1.0 km)  Y113 어정 → (0.9 km)
     
지석역(支石驛, Jiseok station)은 경기도 용인시 기흥구 상하동에 있는 용인 경전철의 전철역이다.
역사

2013년 4월 26일 : 용인 경전철 개통과 함께 영업 개시
역 구조

2면 2선의 상대식 승강장을 갖추고 있다. 현재 스크린도어가 설치되어있다.
역 구조 > 승강장

| 0 | 1 | 2 |
| --- | --- | --- |
| 상행 | ● 용인 경전철 | 기흥 방면 |
| 하행 | ● 용인 경전철 | 전대·에버랜드 방면 |
역 주변

| 나가는 곳 | 방면 |
| --- | --- |
1: 구갈3지구 갈곡초등학교 성지고등학교 구갈3지구생태체육공원
2: 구갈3지구 강남마을
3: 상하동행정복지센터 갈천마을 지석초등학교
4: 상하동 오산천산책로 임광아파트
인접한 역

| 용인 경전철 |
| --- | --- | --- |
| Y111 강남대 기흥 방면 | ● 용인 경전철 | Y113 어정 전대·에버랜드 방면 |
사진

개찰구
플랫폼 (스크린도어 설치 전)
베를린 U반

| --- | --- |

 오슬로어 슈트라세역에 들어온 H형 열차
정보
종류 : 도시 철도
국가 :  독일
운행 지역 : 베를린
노선 수 : 9(노선번호 U1-U9)
역 수 : 173
일일 이용자 : 1,460,000명 (2015년 일일 평균)
운영
개통일 : 1902년(123년 전)(1902)
소유자 : 베를린교통공사(BVG)
운영자 : 베를린교통공사(BVG)
시설
총 영업거리 : 151.7 km (94.3 mi)

베를린 U반(Berlin U-Bahn, [uː.baːn]), 또는 베를린 지하철은 독일의 수도 베를린의 도시 철도이자 S반, 트램, 버스와 함께 베를린의 대중 교통을 이룬다. 1902년 최초 노선이 개통한 베를린 U반은 10개 노선에 173개의 지하철역이 있고, 운행 중인 차량 총 대수는 1272량, 총 노선 길이는 146 km에 이른다. 지하철을 운영하는 베를린교통공사(BVG)는 공공기관(Anstalt des öffentlichen Rechts)으로 지정되어 있다.
지하철 노선의 80%가 지하화되어 있다. 출퇴근 시간에는 보통 2~5분 간격으로 배차되고, 공휴일에는 약 5분 간격으로 배차되며, 저녁에는 약 10분 간격으로 배차된다. 2017년 BVG의 연간 총 수송객은 10억 6400만명(2011년: 9억 3700만명)이며, 이 중 절반 가량인 5억 6300만명(2011년: 5억 730만명)이 지하철 승객으로 집계되었다. 2016년 기준 연간 전체 차량의 누적 운행 거리는 2160만 km(2011년: 2090만 km)이다. 전 구간 직류 750V 제3궤조 전철화를 사용한다.
노선

베를린 U반 개통 초기에는 지선 운행 계통에 별도의 명칭을 부여하지 않았고 알파벳으로 운행 계통을 구분했다. 전쟁 이후 서베를린에서는 운행 계통을 조정하여 겹치는 구간을 최소화했고 숫자로 운행 계통을 구분했다. 동베를린에서는 한동안 전쟁 이전의 알파벳 운행 계통 구분을 사용하다가 통일 이후 서베를린의 체계를 따르게 되었다. 여러 노선의 운행 계통이 겹치는 구간은 비텐베르크플라츠-바르샤우어 슈트라세역 구간으로 U1과 U3이 같은 노선을 운행한다.
첨두시(RH) 배차 간격은 4분/5분, 평상시(NH) 배차 간격은 5분/10분이다. 2003년부터 금요일, 토요일에는 15분 간격 야간 열차 운행을 U4, U55 제외 전 노선에서 시작했다. 평일 밤에는 지하철 노선을 따라서 30분 간격으로 야간 버스가 운행한다.
베를린 U반은 9개 노선이 운영되고 있다.
| 노선 | 경로 | 규격 | 개통 시기 | 길이 | 역 개수 | 노선색 |
| --- | --- | --- | --- | --- | --- | --- |
|  | 울란트슈트라세 – 바르샤우어 슈트라세 | 소형 | 1902–1926 | 8.814 km | 13 | RAL 6018 |
|  | 팡코 – 룰레벤 | 소형 | 1902–2000 | 20.716 km | 29 | RAL 2002 |
|  | 바르샤우어 슈트라세 – 크루메 랑케 | 소형 | 1913–1929 | 18.9 km | 24 | RAL 6016 |
|  | 놀렌도르프플라츠 – 인스브루커 플라츠 | 소형 | 1910 | 2.864 km | 5 | RAL 1023 |
|  | 베를린 중앙역 – 회노 | 대형 | 1930–2020 | 22.1 km | 26 | RAL 8007 |
|  | 알트테겔 – 알트마리엔도르프 | 대형 | 1923–1966 | 19.888 km | 29 | RAL 4005 |
|  | 라트하우스 슈판다우 – 루도 | 대형 | 1924–1984 | 31.760 km | 40 | RAL 5012 |
|  | 비테나우 – 베를린 헤르만슈트라세 | 대형 | 1927–1996 | 18.042 km | 24 | RAL 5010 |
|  | 라트하우스 슈테글리츠 – 오슬로어 슈트라세 | 대형 | 1961–1976 | 12.523 km | 18 | RAL 2003 |
현행 노선 체계는 서베를린 BVG에서 1966년 3월 1일에 도입한 것이다. 당시의 소형 규격 노선은 간선이었던 B선과 AI선은 1호선, AII선은 2호선, BII선은 3호선, BI선은 4호선, AIII선은 5호선으로 변경되었다. 대형 규격 노선은 C선과 CII은 6호선, CI선은 7호선, D선은 8호선, G선은 9호선으로 변경되었다. 1984년 BVG에서 서베를린 S반 운행을 담당하게 되면서 S반 노선의 "S"와 구분하기 위해서 "U"를 노선 앞에 추가로 붙였다. 예를 들어 1호선은 U1호선이 되었다. 1966년 당시의 5호선은 도이체 오퍼역과 리하르트바그너플라츠역을 잇는 셔틀 노선이었으며, 해당 구간은 7호선의 연장 구간에 편입되면서 대형 규격으로 재건축하기 위해 1970년에 영업을 중지했다. 결번이 된 5호선은 당시 동베를린 영토에 완전히 포함되어 있었던 E선에 사용할 예비 번호로 남겨 두었다. 동베를린 BVB는 A선의 동부 구간과 E선의 전부를 관리했다.
1993년부터 2003년까지 운행했던 U12 운행 계통은 야간 열차 전용이었다. U2의 서부 구간과 U1의 동부 구간이 합쳐진 형태였다. 노선 공사나 대형 행사가 있을 때 임시 운행 계통으로 부활하는 경우가 있다. 마지막으로 운행 계통이 운행했던 시기는 2015년이다.
운행 승객수가 가장 많은 노선은 대형 규격 노선인 U7, U9, U6호선 순이다. 소형 규격 노선 중에서는 U2호선의 승객이 가장 많으며, U4호선은 승객 수가 매우 적다.
차량

베를린 U반은 전 구간 표준궤(1,435 mm (4 ft 8 1⁄2 in))로 건설되었으며, 직류 750V 제3궤조 급전을 사용한다. 소형 규격 열차는 노면 전차의 차량 한계를 기반으로 하며, 전폭 2.30 m, 급전 궤도는 양극이고 대지는 음극이다. 제1차 세계 대전 이후에 건설된 노선은 편성장을 늘이는 대신 열차의 전폭을 넓혀서 승객 수송량을 증대시켰다. 대형 규격 열차는 전폭 2.65 m, 급전 궤도는 음극이고 대지는 양극이다. 대한민국의 도시 철도에서 운행하는 대형과 중형 전동차의 차이와 유사하다.
근본적으로 대형 규격과 소형 규격 차량은 호환되지 않지만, 소형 규격 차량의 급전 장치를 개조하고 승강장과 열차 사이의 간격을 메워 대형 규격 노선에서 운행했던 적이 있었다. 1923년부터 1927년까지 노르트쥐트반(현재의 U6)에는 AI 차량을 개조한 AI K 차량이 운행했다. 제2차 세계 대전 이후 동베를린에 있었던 지하철 차량이 상당 부분 모스크바 지하철에 전쟁 배상으로 징발되었기 때문에 1945년부터 1968년까지 AI K 차량이 E선(현재의 U5)에서 운행했다. 한편 2017년부터 U5호선에 IK 차량이 운행하기 시작했다. IK 차량을 구매할 때 극성 전환을 통해서 대형 규격에서 운행할 수 있는 옵션을 행사할 수 있었고, 비슷한 시기에 F형 차량 중 일부가 차체 부식 문제로 인하여 더 이상 운행할 수 없었기 때문에 IK 차량을 대형 규격 노선에서 운행하기 시작했다.
소형 규격 차량은 U1, U2, U3, U4 노선에서 운행하고, 대형 규격 차량은 U5, U6, U7, U8, U9 노선에서 운행한다.
차량 > 소형 규격

소형 규격(Kleinprofil, 클라인프로필) 열차는 전폭 2.30 m, 전고 3.10 m이다. 지하철 최초 건설 당시 바르샤우어 브뤼케 기지에는 철도차량 생산 기능도 있었고, 최초로 제작된 열차는 동력차 42량, 무동력 객차 21량이었다. 실험용 차량과는 다르게 롱시트를 장착했다. 1927년까지 지하철 열차에는 흡연실과 3등석 객차가 있었다. 1928년 개선형 AII 차량이 생산되었다. 세 개의 창문과 두 개의 미닫이 출입문만으로 구별되었다.
도시 분단 후 서베를린은 동베를린보다 지하철 열차를 더 빨리 대차했다. 1960년에 도입된 A3형은 대형 규격 D형 전동차를 기술적인 기반으로 했다. 개선형인 A3L, A3L 84, A3L 92 열차는 DL, F형 전동차를 기술적인 기반으로 한다. 동베를린에서는 전쟁 이전에 사용했던 AI 및 AII 전동차를 계속 사용했다. 한편 1974년 신형 소형 규격 전동차인 G형 전동차가 시험 운행을 시작했고, 양산형인 GI 전동차가 1975년부터 생산되면서 AI 및 AII 전동차가 운행을 점차 중단하기 시작했다. 1988년에 GI 전동차의 개선형인 GI/1 전동차가 출고되기 시작하면서 AI 및 AII 전동차가 동베를린에서 완전히 퇴역했다. GI/1 전동차는 GI 전동차와 전기적으로 호환되지 않는다.
재통일 이후 생산된 A3형 전동차의 최후기형인 A3L 92는 교류 유도전동기를 사용하는 최초의 소형 규격 열차이다. 그리고 초기형 A3 전동차가 A3L 92 사양에 준하는 개수를 거쳐서 A3E로 운행하고 있다. 한편 소형 규격 전동차 운행 노선이었던 U2호선의 동서간 운행이 다시 시작되면서 필요한 편성 수에 비해서 보유하고 있는 편성 수가 많아져서, 초기형 GI 전동차는 전부 평양 지하철도로 수출되었다. 베를린에 남은 GI/1 전동차는 추가 개량을 거쳐서 GI/1E로 운행하고 있다. GI/1E 개수 공사를 거치면서 기존의 2량 1편성이었던 GI/1 전동차 2편성을 영구 연결하여 4량 1편성을 기본 단위로 운행한다.
완전한 새로운 차량은 2000년부터 생산이 시작된 H형 전동차의 소형 규격 파생형인 HK형 전동차이다. 계획상 이름은 A4였으나 기존 A/A3 전동차와 기술적인 차이가 컸기 때문에 새로운 형식명을 부여받았다. HK형 전동차는 4량 1편성으로, 편성 내 이동이 완전히 자유롭다. 운행 중인 A3L71 전동차를 대차하기 위해 2012년에 IK형 전동차를 새로 발주했다. 2015년에 2편성이 시험 운행을 시작했으며, 양산형 차량은 2018년부터 운행하기 시작했다. 회생 제동 기능이 있어서 제동 에너지의 최대 20%까지 회수할 수 있다.
2019년 기준 A3 열차는 평상시에 3/4편성(총 6/8량)을 병결 운행하며, GI/1E, HK, IK 열차는 평상시에 2편성(8량)을 병결 운행한다. U4호선은 저조한 수요로 인해서 A3 열차 1편성(총 2량)을 운행한다.
| 소형 규격 열차 유형 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1901–1945 | 1901–1945 |   | 서베를린 1945–1990 | 서베를린 1945–1990 |   | 동베를린 1945–1990 | 동베를린 1945–1990 |   | 1990— | 1990— |
| 1901–1904 | AI |   | 1960–1961 | A3 60 |   | 1974 | G |   | 1993–1995 | A3L92 |
| 1906–1913 | AI |   | 1964 | A3 64 |   | 1978–1983 | GI |   | 1999-2006 | HK |
| 1924–1926 | AI |   | 1966 | A3 66 |   | 1983 | GII |   | 2015 | IK 15 |
| 1928–1929 | AII |   | 1966 | A3L66 |   | 1986–1989 | GI/1 |   | 2017- | IK 17, 18, 19 |
|   |   |   | 1967–1968 | A3L67 |   |   |   |   |   |   |
|   |   |   | 1972–1973 | A3L71 |   |   |   |   |   |   |
|   |   |   | 1982–1983 | A3L82 |   |   |   |   |   |   |
차량 > 대형 규격

대형 규격(Großprofil, 그로스프로필) 열차는 전폭 2.65 m, 전고 3.40 m이다. 노르트쥐트반이 최초로 개업했을 때에는 소형 규격 열차를 개조해서 사용했으나, 1924년부터 대형 규격용 최초 차량인 BI 전동차(Tunneleulen, 터널 올빼미)가 운행하기 시작했다. 1량의 전장은 13.15 m였고 수동식 미닫이문이 한 쪽에 3개씩 장착되어 있었다. 전면부에는 관통문과 타원형 창문이 있다. 개수된 BII 전동차는 1927년부터 운행을 시작했다. B 전동차에서 전장이 18 m로 더 길어진 C 전동차는 1926년에 최초 양산형인 CI가 운행을 시작했다. CIV 전동차에서는 알루미늄 차체를 최초로 사용했다. C 전동차는 제2차 세계대전의 전쟁배상으로 소련에 징발되어 모스크바 지하철에서 사용되었다.
분단 이후 서베를린에서 새로 도입한 D 전동차는 1957년부터 운행을 시작했으며, 강철제 차체를 사용했기 때문에 매우 무거웠다. 1965년부터 운행을 시작한 DL 전동차는 알루미늄 차체를 사용하여 무게가 26% 감소했다. 한편 동베를린에서는 새로운 E 전동차를 개발하고 있었으나, 서베를린 S반 보이콧으로 인하여 S반 차량이 남아돌게 되자, S반에서 사용했던 ET 168 전동차를 도시철도용으로 개수하여 EIII 열차로 투입했다. EIII 열차가 투입되면서 동베를린 E선을 운행하고 있었던 개조된 소형 열차가 다시 A선으로 돌아갔다. 서베를린 D 전동차의 후속작인 F 전동차가 1973년부터 운행을 시작했다. B, C, D 전동차에 장착했던 롱시트 대신 크로스시트를 장착했다. 1979년 제작된 F79 전동차부터는 3상 교류 전동기를 사용하기 시작했다. 1980년대 후반 E선의 동부 연장으로 인하여 동베를린 BVB에 새로운 차량이 필요했기 때문에 서베를린 BVG는 당시에 폐차 예정이었던 D 전동차를 동베를린으로 매각했다.
통일 이후 운행의 비효율성으로 인하여 EIII 열차의 운행을 중단했다. 이와 함께 F 전동차의 후속작으로 H 전동차를 제작했다. 1995년 시제차가 운행을 시작했고 1997년부터 2002년까지 양산형 차량이 운행을 시작했다. F 전동차의 크로스시트에서 다시 롱시트로 되돌아갔고, 6량 1편성 전체가 차내에서 연결되어 있다. 이와 함께 D 전동차의 퇴역도 진행되었고, 일부 편성만 남겨 놓고 평양 지하철도로 매각되었다. 한편 통일 이후 대형 규격 노선의 수요가 증대했으나 2002년 이후 신규 차량 도입이 더 이상 없었다. 대형 노선의 차량 부족 현상은 2018년에 F79 전동차에서 발견된 차체 부식 및 균열 문제로 더 심해졌다. 문제를 해결하기 위해서 보존 상태로 남아 있었던 D 전동차 총 3편성을 개수하여 2018년부터 평상시 승객 수요가 저조한 U55호선에 다시 운행하기 시작했으며, 기존에 운행했던 F 전동차를 다른 노선으로 이동시켰다. 추가적으로 원래는 소형 노선에 도입되었어야 하는 IK형 전동차 중 일부에 극성 전환 장치를 장착하여 대형 노선에서 운행하기 시작했다.
2019년 현재 평상시에 F형 전동차는 2/3편성(총 4/6량)을 병결 운행하며, H형 전동차는 단일 편성이 6량이므로 별도의 병결 운행이 없다. IK형 전동차는 승강장 길이 문제로 U5호선에서만 2편성 병결 운행한다.
| 대형 규격 열차 유형 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1901–1945 | 1901–1945 |   | 서베를린 1945–1990 | 서베를린 1945–1990 |   | 동베를린 1945–1990 | 동베를린 1945–1990 |   | 1990— | 1990— |
| 1923–1927 | A-IK |   | 1955–1965 | D |   | 1956–1957 | E-I |   | 1990–1991 | F90 |
| 1945–1968 | A-IK |   | 1965–1966 | DL65 |   | 1962–1990 | E-III |   | 1992–1993 | F92 |
| 1924–1928 | B-I |   | 1968–1970 | DL68 |   |   |   |   | 1994–1995 | H95 |
| 1926–1927 | C-I |   | 1970–1973 | DL70 |   |   |   |   | 1998–1999 | H98 |
| 1927–1929 | B-II |   | 1973–1975 | F74 |   |   |   |   | 2000–2002 | H01 |
| 1929 | C-II |   | 1976–1978 | F76 |   |   |   |   |   |   |
| 1930 | C-III |   | 1979–1981 | F79 |   |   |   |   |   |   |
| 1930–1931 | C-IV |   | 1984–1985 | F84 |   |   |   |   |   |   |
|   |   |   | 1987–1988 | F87 |   |   |   |   |   |   |
운행 관리 > 차량 기지

베를린 U반의 차량 기지는 "주 작업장"(독일어: Hauptwerkstätten, 약칭 Hw)과 "보조 작업장"(독일어: Betriebswerkstätten, 약칭 Bw)의 두 가지 등급으로 구분된다. 보조 작업장(Bw)에서는 창 교체나 낙서 제거와 같은 간단한 수리만 할 수 있으며, 주 작업장(Hw)에서는 주기적인 열차 검수를 할 수 있다. 열차와 대차간 분리 작업은 Hw에서만 가능하다.
운행 관리 > 차량 기지 > Bw 그루네발트

그루네발트 기지는 소형 규격 차량을 관할하는 경검수 기지이며, 중검수는 Hw 제슈트라세에서 받는다. 1913년 1월 21일에 개업했으며, 올림피아슈타디온역에 인접해 있다. 1913년 첫 번째 차고가 건설되었고, 1924/1925년 두 번째 차고, 1926년 세 번째 차고, 1927년 네 번째 차고가 건설되었다. 제2차 세계 대전 중 베를린 공습으로 인해서 1943년 9월 3일에 대부분 시설이 전소되었다. 전소된 부분은 1950년에 복구되었다. 줄여서 부를 때에는 "Bw Gru"라고도 이야기한다. 그루네발트 기지에는 BVG 직업 훈련원(Ausbildungszentrum)이 있어서 기관사 및 선로 공사 작업을 교육한다. 이 기지에서 관리하는 선로는 U1, U2, U3, U4, U5, U7호선(라트하우스 슈판다우-리하르트바그너플라츠)이다.
2013년 10월 25개월간의 공사를 통해서 제 4호 차고 대체 공사를 완공했다. 이를 통해서 4곳에서 동시에 차량 관리 작업을 진행할 수 있게 되었으며, 세척 및 낙서 제거선, 업무용 시설이 건설되었다. 1950년대에 건설된 제 3호 차고 역시 같이 보수 공사가 진행되었다.
운행 관리 > 차량 기지 > Hw 제슈트라세

제슈트라세 기지는 1923년에 개업한 최초의 대형 규격용 차량 기지이다. C선(오늘날의 U6호선)을 건설하면서 대형 규격용 차량 기지를 별도로 건설했다. 제슈트라세역 북쪽에 있으며, 차량 기지 연결선은 복선 터널로 구성되어 있다. 기지의 통로는 총 4개가 있었고, 복선 인입선, 20개의 검수선(이 중 16개는 2개의 선로군으로 나뉨) 및 사무실이 있었다.
모든 대형 규격 차량이 한 때 이 곳에서 관리를 받았다. 제2차 세계 대전 당시 베를린 공습으로 인해서 1944년 9월 22일 대부분의 건물이 전소되었고, 1950/1951년에 복구되었다.
1990년대에 차량 기지 계획을 재정립하면서 일부 구역이 재건축 및 철거되었다. 2007년부터 그루네발트 기지가 담당했던 소형 규격 차량의 중검수 기능이 이 곳으로 이전되었다. 현재는 모든 소형 및 대형 규격 차량의 중검수를 여기에서 실시한다. 차량 기지의 일부 구역은 쇼핑 센터로 재건축되었다. 주박 기능은 브리츠쥐트 기지(U7) 및 프리드리히스펠데 기지(U5)에서 분담하고 있다. 총 17개의 선로가 있으며, 2선은 중검수, 15선은 경검수용 선로이다. 줄여서 부를 때에는 "Hw See"라고 부른다.
운행 관리 > 차량 기지 > Bw 프리드리히스펠데

프리드리히스펠데(Friedrichsfelde, Bw Fri)와 브리츠쥐트(Britz-Süd, Bw Britz)의 두 곳에는 그로스프로필 열차용 서비스 작업장이 있다.
E선(오늘날의 U5호선) 건설 공사와 함께 1927년부터 1930년까지 프리드리히스펠데 기지(Bw Fi)를 건설했다. 1930년에 개업한 프리드리히스펠데역과 1973년에 개업한 티어파르크역 사이에 있다. 1930년에 완공한 1호와 2호 차고는 당시의 최신 시설을 갖추고 있었다. 프리드리히스펠데역 남쪽에 인입선이 있었다. 1960년대 말에 티어파르크역을 건설하면서 인입선 구조를 변경했다.
동베를린 시기에는 동베를린 영토 내에 소형 규격 차량용 기지가 없었기 때문에 A선의 소형 규격 차량도 여기에서 관리를 받았다. 클로스터슈트라세역과 바이젠투넬(Waisentunnel) 사이의 연결선에는 급전 궤도가 설치되어 있지 않았고 소형 규격과 대형 규격의 급전 방식이 달랐기 때문에, 과거 사용한 소형 규격 차량을 개조하여 대형 규격 차량용 제3궤조 집전 장치를 장착한 별도의 급전차를 운행했다. 1993년 이후 포츠담 광장역-글라이스드라이에크역 사이가 다시 연결되면서 더 이상 소형 규격 차량을 여기에서 관리할 필요가 없어졌다.
2012년부터 2015년 10월까지 개보수 공사 때문에 차량 기지 사용이 제한되었다. 프리드리히스펠데 기지에서는 U5, U8, U9호선의 관리를 맡고 있다. U55호선 공사 때문에 알렉산더플라츠역 주변 연결선으로 더 이상 차량이 지나다닐 수 없게 되어서 U8, U9호선의 차량 관리가 임시로 브리츠쥐트 기지로 이관되었다.
운행 관리 > 차량 기지 > Bw 브리츠쥐트

서베를린 시기에 새로운 대형 규격 노선이 계속 개업하기 시작하면서 새로운 기지 수요가 발생했다. U7호선을 루도역으로 연장하면서 기지 수요가 늘어나서 1969년부터 1971년 사이에 기지를 건설했다. 여러 단계로 기지를 확장할 것을 염두에 두고 100.000 m² 면적의 토지를 구입해 두었다. 1988년 당초 계획했던 규모의 기지 확장이 완공되었다. 현재 베를린 U반 기지 중 최신 시설을 보유하고 있다. 줄여서 "Bw Britz"라고 부른다. 브리츠쥐트 기지에는 선로 관리 기능이 있으며, U6, U7(리하르트바그너플라츠-루도), U8, U9호선의 선로를 관리한다.
운행 관리 > 차량 기지 > 기타

베를린 U반 최초의 차량 기지는 1901년 완공된 바르샤우어 브뤼케(Warschauer Brücke)역 옆에 있는 기지다. 길이 106 m, 폭 16.5 m 공간에 검수선이 4개 설치되어 있고, 총 32량이 들어갈 수 있다. 지표면과 연결되는 엘리베이터 시설이 설치되었다. 당시 운행했던 노면 전차 노선도 이 기지를 임시로 사용했으나, 1909년에 더 이상 기지를 사용할 필요가 없어졌다. 이후 노면 전차 운행은 역 앞에 있는 회차선을 통한 되돌림 운행으로 변경되었다. 지하철 노선이 동서베를린으로 분단되면서 1961년 8월 13일 바르샤우어 브뤼케역이 유령역이 되었고, 기지 역시 더 이상 사용할 수 없었다. 1995년 바르샤우어 브뤼케역이 영업을 다시 시작하면서 한동안 버려졌던 기지는 주박용으로 다시 사용하기 시작했다. 검수 업무는 1961년 8월부터 그루네발트 기지로 완전히 이전했다.
1920년까지 독립시였던 쇠네베르크시에서는 놀렌도르프플라츠역-인스브루커플라츠역 간을 이었던 지하철 노선을 남쪽으로 더 연장하기 위해서 자체적인 기지를 건설했다. 터널 내에 인상선 3선을 설치해 두었고 이 중 1선은 자체적인 기지로 가는 노선이었다. 쇠네베르크에 있었던 작은 기지는 1926년 놀렌도르프플라츠역이 환승역으로 개업하여 더 이상 필요가 없어졌고 1932년에 폐쇄되었다.
U3호선 남쪽 종점인 크루메 란케역 근처에도 기지가 있었다. 현재 U3의 전신인 빌머스도르프-달렘 철도가 건설되면서 기지가 필요했기 때문에 틸플라츠역에 있었던 임시 기지를 대체하기 위해서 1929년 12월 22일에 개업했다. 8량 편성 열차를 최대 4편성 보관할 수 있는 유치선과 일상 검수용 시설이 설치되어 있었다. 기지 외부에는 전차대가 설치되어 있었으나 2차 세계 대전 이후 새로운 A3과 A3L 차량이 도입되면서 방향을 전환할 필요가 없어져서 더 이상 사용하지 않게 되었다. 비용 절감과 새로운 차량의 검수 주기 증가로 인하여 모든 소형 규격 차량을 그루네발트 기지에서 관리할 수 있게 되어서 기지를 폐쇄했다. 현재에도 기지 시설물은 U3호선에서 볼 수 있으나 더 이상 운행 및 주박에 사용하지 않는다.
동베를린 BVB는 1949년 서베를린 BVG와 조직이 분리된 이후 더 이상 서베를린 BVG 기지에서 검수를 받을 수 없었으므로, 베를린 S반 기지로 사용되었던 쇠네바이데 조차장에서 지하철 차량의 검수도 같이 맡게 되었다. E선의 동부 연장 구간이 건설되기 이전에는 간선 철도망과 연결되어 있지 않았기 때문에 프리드리히스펠데 차량 기지에서 트레일러를 사용해서 쇠네바이데 조차장까지 운송해야 했다. 소형 규격 차량의 경검수는 로자룩셈부르크플라츠역 인상선에 임시 기지를 설치하여 해결했다. 독일 재통일 이후 포츠담 광장역과 글라이스드라이에크역 사이 구간 운행이 복원되면서 임시 기지는 다시 폐쇄되었다.
운행 관리 > 관제

2015년 8월 프리드리히스펠데 기지에 신축한 400 m² 건물로 지하철 전 노선의 관제를 이전했다. 총 21명이 근무하고 있으며 이전에 분리된 소형 및 대형 규격 노선의 관제를 한 곳에서 담당한다. 공사 기간은 약 2년이며 총 890만 유로의 예산을 사용했다. 전 노선의 운행을 관리하고 운행 시 문제가 발생한 경우 승객에게 안내한다. 이전에는 클라이스트파르크역에 종합 관제 시설을 갖추고 있었다. 알렉산더플라츠역, 클라이스트파르크역, 놀렌도르프플라츠역에는 승객 안내용 관제 시설이 설치되어 있다. 역 구내의 일반인이 통행할 수 있는 영역과 이어져 있다. 해당 관제 시설에서는 역사 내 설치된 CCTV를 감시할 수 있으며, 역 구내에 설치된 비상용 인터폰과 연결되어 있다.
템펠호퍼 우퍼(Tempelhofer Ufer) 근처에 있는 안전 관제소에서는 BVG의 자체적인 보안 요원과 위탁 보안 요원(현재는 Wisag에 위탁함)을 관리한다. 주기적으로 역을 돌아가면서 표시하는 비디오 월이 설치되어 있다. 지하철 전 역사의 CCTV를 감시할 수 있으며, 역시 역 구내에 설치된 비상용 인터폰과 연결되어 있다.
전력망 관제소는 투름슈트라세역 근처에 있는 BVG 사업소 건물에 입주해 있다.
운행 관리 > 전력

지하철 차량 전원 공급은 직류 750V 제3궤조집전식을 사용한다. 소형 규격 노선은 급전 궤도가 양극이고 운행 궤도가 음극이며, 대형 규격 노선은 급전 궤도가 음극이고 운행 궤도가 양극이다. 지하철의 연간 에너지 소모량은 200 GWh이다. 일반 전력망에서 10 kV 교류를 수전한 다음 59개의 직류 변전소로 급전한다. 2007년 6월 기준 평균 에너지 비용은 1량·킬로미터당 25 유로센트, 열차·킬로미터당 1.26 유로이다.
같이 보기

베를린 S반
베를린 트램
M반
유령역
지하철 목록
1902년 이후 노선의 개통 역사
2018년 기준 지하철 노선도
2005년에 도입한 HK형 지하철 차량
"Zurückbleiben bitte!"("한 걸음 뒤로 물러서시기 바랍니다!"): 문이 닫히기 전에 열차에서 내보내는 안내 방송
베를린 U반에서 처음 사용된 AI형 열차
뫼케른브뤼케 역에 진입한 F92형 열차
그루네발트 기지의 일부
제슈트라세 기지
프리드리히스펠데 기지의 2호 차고, 2004년
브리츠쥐트 기지
바르샤우어 슈트라세역 옆 주박 기지
크루메 란케 기지와 A3L 차량, 1987년
클라이스트파르크역에 있는 이전 관제실 내부
아뎀 베레케트

아뎀 베레케트(튀르키예어: Adem Bereket, 1973년 7월 19일~) 또는 러시아어식 이름인 아담 아스하보비치 바라호예프(러시아어: Ада́м Асха́бович Барахо́ев)는 러시아 태생 튀르키예의 레슬링 선수, 지도자이다. 2000년 하계 올림픽에 참가하여 남자 자유형 미들급 동메달을 획득했다. 또한 세계 선수권 대회에서 동메달 1개를 획득했으며 유럽 선수권 대회에서 은메달 1개를 획득했다.
가상 머신

가상 머신 프로그램인 버추얼박스의 실행 중 모습.
가상 머신(영어: virtual machine, VM)은 컴퓨팅 환경을 소프트웨어로 구현한 것, 즉 컴퓨터 시스템을 에뮬레이션(가상현실화)하는 소프트웨어다. 가상머신상에서 운영 체제나 응용 프로그램을 설치 및 실행할 수 있다.
다른 기능들이 있는 여러 종류의 가상 머신들이 있다.
시스템 가상 머신들은(또한 완전한 가상화 가상 머신들으로 알려진) 물리적 시스템(물리적 인터페이스)을 대체하고 완전한 운영체계의 실현을 위해 요구되는 기능들을 제공한다. 하이퍼바이저는 하드웨어를 공유하고 관리하기 위해 네이티브 실행을 이용한다. 그리고 하이퍼바이저는 독립된 다른 환경들을 같은 물리적인 기계에서 실행하기 위해서 허용한다. 현대의 하이퍼바이저들은 하드웨어의 도움을 받는 가상화를 이용하는데, 그것들은 주로 주CPU들의 특정 하드웨어 기능을 사용하여 효과적이고 완전한 가상화를 제공한다. 프로세스 가상머신들은 플랫폼에 독립적인 프로그램 실행 환경과 추상화를 제공하여 하나의 프로그램을 실행하도록 설계되었다.
정의

가상 머신은 원래 Popek와 Goldberg가 "실제 컴퓨터의 효율적이고 고립된 복제물"로 정의했다. 현재는 "실제 하드웨어와 직접적인 통신이 없는 가상 컴퓨터"를 가리킨다.
가상 머신은 실제 컴퓨터와 어느 정도의 통신과 사용을 기반으로 두 가지로 나뉜다. 시스템 가상 머신은 완전한 시스템 플랫폼을 제공하며, 다시 말해 완전한 운영 체제 (OS)의 실행을 지원한다. 반대로, 프로세스 가상 머신은 하나의 단일 프로그램을 실행하기 위해 만들어져 있는데, 다시 말해 단일 프로세스를 지원한다. 가상 머신의 중요한 특징은 안에서 돌아가는 소프트웨어가 가상 머신이 제공하는 환경과 자원에 제한을 받으며 가상 세계를 벗어날 수 없다는 것이다.
정의 > 시스템 가상 머신

시스템 가상 머신은 때로 하드웨어 가상 머신이라고 하며 각 운영 체제를 실행하는 가상 머신 사이의 기초가 되는 물리 컴퓨터를 다중화(multiplex)한다. 가상화를 제공하는 소프트웨어 계층은 가상 머신 모니터 또는 하이퍼바이저라고 한다. 하이퍼바이저는 순 그대로의 하드웨어 또는 호스트 운영 체제 위에서 실행할 수 있다.
시스템 가상 머신의 주요 이점:
여러 운영 체제를 쓰는 환경은 운영 체제가 완벽히 고립된 채로 같은 컴퓨터에서 존재할 수 있다.
가상 머신은 실제의 컴퓨터가 제공하는 것과 다른 형태의 명령어 집합 구조 (ISA)를 제공한다.
저만의 운영체제를 실행하는 여러 개의 가상 머신들을 게스트 운영 체제라고 하며, 다른 장치가 충돌을 피하기 위해 각 장치에서 실행하기 위한 서버 통합(server consolidation)에서 쓰이며, 각 가상 머신에서는 같은 물리 컴퓨터에서 실행된다. 이러한 사용을 제품 품질의 고립(QoS 고립)이라고 한다.
여러 개의 운영 체제를 사용하려는 열망은 가상 머신의 원래 취지였으며, 여러 개의 단일 작업 운영 체제들 사이에서 시분할 단일 컴퓨터를 허용한다.
게스트 운영 체제들은 모두 같을 필요는 없다. 다시 말해, 같은 컴퓨터에서 다른 운영체제를 돌릴 수 있게 해 준다. (예: 마이크로소프트 윈도우와 리눅스, 또는 최신 버전에서 지원하지 않는 소프트웨어를 지원하기 위해 옛날 버전의 운영체제를 설치) 다른 게스트 운영체제를 지원하기 위해 가상 머신을 사용하는 것은 임베디드 시스템에서 인기를 끌고 있다. 일반적으로 리눅스와 윈도와 같은 높은 수준의 운영 체제로서 실시간 운영 체제를 지원한다.
다른 사용으로는 신뢰할 수 없는 운영체제를 sandbox하는 것이다. 왜냐하면 그 시스템이 개발 하의 시스템일 수도 있기 때문이다. 가상 머신들은 더 나은 오류 수정의 접근과 더 빠른 다시 시동과 더불어 운영 체제 개발에 다른 이점들을 가져다 준다.
QoS 고립을 위한 가상 머신의 인기는 대부분의 동시대 운영 체제가 제공하는 완전하지 못한 자원 고립을 이끈다. 솔라리스 존은 강력한 자원 고립을 제공하는 대체물이다. 존은 가상 머신이 아니지만 "운영 체제 가상화"의 예이다. 여기에는 Virtuozzo, FreeBSD Jail, Linux-VServer, chroot jail, 그리고 OpenVZ와 같은 가상 환경(가상 서버)을 포함한다. 이러한 환경은 운영 체제 안의 프로세스를 어떠한 형태로 둘러싼다.
정의 > 프로세스 가상 머신

프로세스 가상 머신은 응용 프로그램 가상 머신이라고도 하며, 운영 체제 안에서 일반 응용 프로그램을 돌리고 단일 프로세스를 지원한다. 프로세스가 시작하고, '끝내기'되어 파괴될 때 만들어진다. 목적은 플랫폼 - 아무 플랫폼에서나 같은 방식으로 실행하는 프로그램을 허용하고 기초가 되는 하드웨어나 운영 체제의 상세한 부분을 가져오는 독립 프로그래밍 환경을 제공하기 위함이다.
가상 머신이라고 하는 프로세스는 고급 프로그래밍 언어에서 높은 수준의 추출을 제공한다 (가상 머신 시스템에서 낮은 수준의 ISA 추출과 비교하면) — 가상 머신 프로세스들은 해석기를 사용하여 추가된다.
이러한 종류의 가상 머신은 자바 가상 머신을 사용하여 추가되는 자바와 더불어 인기를 끌었다. 또다른 예로는, 닷넷 프레임워크가 있는데 공통 언어 런타임라고 불리는 가상 머신을 실행한다.
가상 머신 프로세스의 특별한 경우는 잠재적으로 균일하지 못한 컴퓨터 클러스터의 통신 구조를 넘어 추출하는 시스템들이다. 그러한 가상 머신은 단일 프로세스로 이루어져 있지 않지만 클러스터에서 물리 컴퓨터마다 하나의 프로세스를 이룬다. 이것들은 병렬 응용 프로그램들을 프로그래밍하는 작업을 쉽게 하기 위해 만들어져 있다. 이로써 프로그램이 운영체제와 상호 작용이 제공하는 통신 구조 보다 알고리즘에 집중할 수 있다. 이것들은 통신이 일어난다는 사실을 숨기지 않고 단일 병렬 컴퓨터로 클러스터를 제공하지 않는다.
다른 가상 머신과 달리, 이러한 시스템들은 특정한 프로그래밍 언어를 제공하지 않지만 기존의 언어에 통합되어 있다. 보통 그러한 시스템은 여러 가지의 언어를 위해 꾸러미를 제공한다. (예: C와 포트란). 병렬 가상 머신 (PVM)와 메시지 전달 인터페이스 (MPI)가 그 예이다. 위에서 실행되는 응용 프로그램들이 모든 운영 체제 서비스의 접근을 가지고 있기 때문에 가상 머신이라고 딱 잘라 말하진 않으므로 "가상 머신"이 제공하는 시스템 모델로도 정의하지 않는다.
역사

시스템 가상 머신과 프로세스 가상 머신은 둘 다 1960년대로 거슬러 올라간다.
시스템 가상 머신은 시분할에서 발전하여 호환 시분할 시스템에서 구현되었다. 시분할은 여러 사용자들이 컴퓨터를 병행하여 사용할 수 있게 하였다.
프로세스 가상 머신은 원래 중간 언어를 위한 추상 플랫폼으로 생겨났으며, 초기 예는 1966년 즈음으로 거슬러 올라간다. 초기 1966년의 예는 O-code 머신이었으며, 이 가상 머신은 BCPL 컴파일러의 프론트 엔드에서 발생한 목적 코드를 실행한다.
상당한 진보는 스몰토크-80의 구현에서, 특히 Deutsch/Schiffmann 구현에서 있었으며 프로세스 가상 머신을 사용하는 구현 접근으로서 JIT 컴파일을 가속화시켰다.
현대의 가상 머신은 컴파일을 위한 중간 대상으로서나 인터프리터에서 직접 구현할 플랫폼으로서 사용되는데 그 예로 2013년에 공개된 안드로이드 런타임(ART)은 바이트코드를 네이티브 코드로 컴파일하며, 초기의 달빅 가상 머신은 바이트코드를 해석한다.
기술 > 기초가 되는 실제 하드웨어의 에뮬레이션 (네이티브 실행)

하드웨어의 완전한 가상화를 말하며 유형 1 또는 2의 하이퍼바이저(hypervisor)를 사용하여 추가된다.
하이퍼바이저 유형 1 : 하드웨어에 직접 접근하여 실행한다.
하이퍼바이저 유형 2 : 리눅스와 같은 다른 운영 체제에서 실행한다.
각 가상 머신은 기초 하드웨어의 지원을 받는 아무 운영 체제에서나 실행할 수 있다. 사용자들은 두 개 이상의 다른 게스트 운영 체제들을 별도의 "개인" 가상 컴퓨터에서 동시에 실행할 수 있다.
기술 > 네이티브가 아닌 시스템의 에뮬레이션

가상 머신은 에뮬레이터의 역할을 수행할 수도 있는데, 다른 컴퓨터 프로세서를 위해 쓰인 응용 소프트웨어와 운영 체제가 동작할 수 있게 도와 준다.
몇몇의 가상 머신들은 자세한 규격으로 존재하는 하드웨어만 가상으로 구현한다. 예를 들면:
p-code machine 규격
프로그래머들이 파스칼 언어 프로그램을 해당 규격을 올바르게 지원하는 가상 머신 소프트웨어가 돌아가는 아무 컴퓨터에서나 쓸 수 있다.
자바 가상 머신 규격
닷넷 프레임워크 규격의 심장부인 공통 언어 하부구조
오픈 펌웨어
플러그인 하드웨어가 아무 종류의 CPU에서나 시동 시간 진단, 설정 구성 코드, 장치 드라이버를 포함하여 실행할 수 있다.
이 기술은 다양한 컴퓨터가 해당 규격에 맞춰 쓰인 아무 소프트웨어나 실행할 수 있게 해 준다. 가상 머신 소프트웨어 자체만, 그 소프트웨어가 실행되는 각 컴퓨터에 맞춰 쓰인다.
기술 > 운영 체제 수준의 가상화

운영 체제 수준의 가상화는 서버의 가상화 기술로, 서버 컴퓨터를 운영 체제 (커널) 계층 위에서 가상화한다. 파티션으로 생각할 수도 있다. 단일 물리 서버는 여러 개의 작은 파티션으로 쪼개진다 (가상 환경 (VE), 가상 개인 서버 (VPS), 게스트, 존 등이라고도 함)
이러한 각 파티션은 사용자들의 관점에서 실제 서버와 비슷해 보인다.
가상 머신을 지원하는 하드웨어 목록

AMD-V (이전의 코드 이름: Pacifica)
ARM 트러스트존
보스톤 서킷 gCore (grid-on-chip) - 16 개의 ARC 750D 코어와 시분할 하드웨어 가상화 모듈.
Freescale PowerPC MPC8572 and MPC8641D
IBM System/370, System/390, 그리고 zSeries 메인프레임
인텔 VT (이전의 코드 이름: Vanderpool)
썬 마이크로시스템즈 Logical Domains (SPARC)
가상 머신 소프트웨어 목록 > 가상 머신 응용 소프트웨어

공통 언어 런타임 - C#, 비주얼 베이직 .NET, J#, Managed C++
EiffelStudio for the 에펠 프로그래밍 언어
얼랑
포스 버추얼 머신 - 포스
Glulx - Glulx, Z-code
Hec - Hasm Assembler
인페르노 - 림보
자바 가상 머신 - 자바, 나이스, NetREXX
Low Level 버추얼 머신 (LLVM) - currently C, C++, Stacker
루아
어도비 플래시 플레이어 - SWF
MMIX - MMIXAL
Neko 버추얼 머신 - currently Neko, haXe
O-code 머신 - BCPL
p-code 머신 - 파스칼
패럿 - 펄 6
펄 가상 머신 - 펄
Portable.NET - C#, Visual Basic .NET, J#, Managed C++
YARV - 루비
ScummVM - Scumm
SECD 머신 - ISWIM, Lispkit Lisp
Sed the stream-editor can also be seen as a VM with 2 storage spaces.
스몰토크 가상 머신 - 스몰토크
SQLite 버추얼 머신 - SQLite opcodes
Squeak 버추얼 머신 - Squeak
SWEET16
트루타입 버추얼 머신 - 트루타입
Valgrind - checking of memory accesses and leaks in x86/x86-64 code under 리눅스
VX32 버추얼 머신 - application-level virtualization for native code
Virtual Processor (VP) from Tao Group (UK).
Waba - 버추얼 머신 for small devices, similar to Java
Warren Abstract 머신 - Prolog, CSC GraphTalk
Z-머신 - Z-코드
Zend Engine - PHP
가상 머신 소프트웨어 목록 > 하드웨어 가상 머신 소프트웨어

vThere (From Sentillion, Inc. )
ATL (A MTL 버추얼 머신)
Bochs, portable open source x86 / AMD64 PCs emulator
CoLinux Open Source Linux inside Windows
Denali, uses paravirtualization of x86 for running para-virtualized PC operating systems.
FAU머신
Integrity Workstation Green Hills Software
LilyVM is a lightweight 버추얼 머신An introduction
마이크로소프트 버추얼 PC, 마이크로소프트 버추얼 서버
OKL4
페러럴즈 워크스테이션, provides virtualization of x86 for running unmodified PC operating systems
페러럴즈 데스크톱, provides virtualization of x86 for running 버추얼 머신s on Mac OS X or higher
QEMU, is a simulator based on a 버추얼 머신.
SheepShaver.
Simics
SVISTA
TRANGO real-time embedded hypervisor 보관됨 2020-06-12 - 웨이백 머신
twoOStwo
유저 모드 리눅스
Virtual Iron (Virtual Iron 3.1)
VM - IBM
VMware (ESX Server, Fusion, Virtual Server, Workstation, Player, ACE)
Xen
KVM
버추얼박스
가상 머신 소프트웨어 목록 > 운영 체제 수준의 가상화 소프트웨어

OpenVZ
Virtuozzo
FreeVPS
Linux-VServer
FreeBSD Jail
Solaris Containers
같이 보기

가상 도스 머신
XPM (프로세스 머신)
악마가 너의 죽음을 알기 전에

| 악마가 너의 죽음을 알기 전에 Before the Devil Knows You're Dead |
| --- | --- |
감독: 시드니 루멧
각본: 켈리 매스터슨
제작: 폴 파마 마이클 서렌지 브라이언 린지 윌리엄 S. 길모어
출연: 필립 시모어 호프먼 이선 호크 머리사 토메이 앨버트 피니
촬영: 론 포추나토
편집: 톰 스워트아우트
음악: 카터 버웰
배급사: 싱크필름
개봉일:  2007년 9월 6일 (2007-09-06)(도빌)  2007년 10월 26일 (2007-10-26)(미국) 
시간: 117분
국가:  미국
언어: 영어
제작비: 1,800만 달러
흥행수익: 2,500만 달러
《악마가 너의 죽음을 알기 전에》(영어: Before the Devil Knows You're Dead)는 2007년에 개봉한 미국의 범죄 스릴러 영화이다. 2011년에 사망한 감독 시드니 루멧의 마지막 작품이다.
켈리 매스터슨이 각본을 썼고, 필립 시모어 호프먼, 이선 호크, 머리사 토메이, 앨버트 피니 등이 출연했다. 이 영화의 제목은 아일랜드의 격언인 "악마가 너의 죽음을 알기 전에 30분간은 천국에서 즐겁게 지낼 수 있기를"에서 따온 것이다. 영화 방식은 일직선으로 쭉 진행되는 것이 아니라 여러 관점의 시선으로 지난 장면들을 바라보며, 총 4 차례 이전 내용으로 반복해서 돌아간다.
평론가들의 호평을 얻었고, 2007년 미국 영화 연구소가 선정한 그해 가장 영향력있는 미국 영화 중 하나로 뽑히기도 했다.