1
13506
소방시설 설치ㆍ유지 및 안전관리에 관한 법률 제 8조 1 항
제8조(주택에 설치하는 소방시설) ① 다음 각 호의 주택의 소유자는 소방시설 중 소화기구 및 단독경보형감지기를 설치하여야 한다.
// 소방시설 설치ㆍ유지 및 안전관리에 관한 법률 8조 (주택에 설치하는 소방시설) 1항
Check(IMSFA_8_1){
IF CS THEN KS
}
CS{
getResult(IMSFA_8_1_1) = TRUE
OR getResult(IMSFA_8_1_2) = TRUE
}
KS{
Sensor mySensor{
Sensor.isSelfcontainedTypeFireAlarm Device = TRUE
}
isExist(mySensor) = TRUE
OR isExist(FireExtinguisher) = TRUE
}
Modify
2
13945
주차장법 시행규칙 제 6조 1 항 10호
10. 노외주차장에는 자동차의 출입 또는 도로교통의 안전을 확보하기 위하여 필요한 경보장치를 설치하여야 한다.
// 주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 1항 10호
Check(ERPA_6_1_10){
KS
}
KS{
ParkingLot myParkingLot{
isObjectProperty(ParkingLot.isOffStreetParking) = TRUE
}
isInstalled(Alarm System, myParkingLot) = TRUE
}
Modify
3
14213
비상경보설비의 화재안전기준(NFSC 201) 제 5조 1호
1. 각 실(이웃하는 실내의 바닥면적이 각각 30㎡ 미만이고 벽체의 상부의 전부 또는 일부가 개방되어 이웃하는 실내와 공기가 상호유통되는 경우에는 이를 1개의 실로 본다)마다 설치하되, 바닥면적이 150㎡를 초과하는 경우에는 150㎡마다 1개 이상 설치할 것
// 비상경보설비의 화재안전기준(NFSC 201) 5조 (단독경보형감지기) 1호
Check(NFSC201_5_0_1){
IF (CS1 THEN KS1) OR (CS2 THEN KS2)
}
CS1{
Room myRoom{
getFloorArea(Room) <= 150m2
}
Room myRoom2{
isAdjacent(myRoom, Room) = TRUE
}
getFloorArea(myRoom2) <= 30m2
}
KS1{
Room myRoom{
getFloorArea(Room) <= 150m2
}
Room myRoom2{
isAdjacent(myRoom, Room) = TRUE
}
SelfcontainedTypeFireAlarm Device mySelfcontainedTypeFireAlarm Device{
hasSpace(myRoom, SelfcontainedTypeFireAlarm Device) = TRUE
}
isExist(mySelfcontainedTypeFireAlarm Device) = TRUE
}
CS2{
Room myRoom{
getFloorArea(Room) > 150m2
}
Room myRoom2{
isAdjacent(myRoom, Room) = TRUE
}
getFloorArea(myRoom2) <= 30m2
}
KS2{
Room myRoom{
getFloorArea(Room) > 150m2
}
Room myRoom2{
isAdjacent(myRoom, Room) = TRUE
}
Sensor mySensor{
isObjectProperty(Sensor.isSelfcontainedTypeFireAlarm Device) = TRUE
hasSpace(myRoom, Sensor ) = TRUE
}
isInstalled(myRoom, mySelfcontainedTypeFireAlarm Device, c, 150m2) = TRUE
}
Modify
4
14214
비상경보설비의 화재안전기준(NFSC 201) 제 5조 2호
2. 최상층의 계단실의 천장(외기가 상통하는 계단실의 경우를 제외한다)에 설치할 것
// 비상경보설비의 화재안전기준(NFSC 201) 5조 (단독경보형감지기) 2호
Check(NFSC201_5_0_2){
KS
}
KS{
Ceiling myCeiling{
hasSpace(Building.TopFloor.Stair.Space, Ceiling) = TRUE
}
Sensor mySensor{
isObjectProperty(Sensor.isSelfcontainedTypeFireAlarm Device) = TRUE
}
isInstalled(myCeiling, mySensor) = TRUE
}
Modify
5
14638
스프링클러설비의 화재안전기준(NFSC 103) 제 9조 1 항 4호
4. 음향장치는 경종 또는 사이렌(전자식 사이렌을 포함한다)으로 하되, 주위의 소음 및 다른 용도의 경보와 구별이 가능한 음색으로 할 것. 이 경우 경종 또는 사이렌은 자동화재탐지설비·비상벨설비 또는 자동식사이렌설비의 음향장치와 겸용할 수 있다.
// 스프링클러설비의 화재안전기준(NFSC 103) 9조 (음향장치 및 기동장치) 1항 4호
Check(NFSC103_9_1_4){
KS
}
KS{
isInstalled(Alarm , SprinklerSystem) = TRUE
OR isInstalled(Siren, SprinklerSystem) = TRUE
}
Modify