next up previous contents index FOREST_HomepageFOREST_Example_Homepage
Next: Problem Description Up: No Title Previous: Aggregation and Inheritance Hierarchy

  
Application Knowledge

Part 2: Building Architecture

Fact  BD_17 
Information : In this part, the architecture and the installation of the given sensors and actuators of Building 32, 4th floor is described

Fact  BD_18 
Information : In the following document, keywords are marked at their first occurrence and listed in the additional dictionary (Part 3).

Fact  BD_19 
Information : Words written in emphasis are names of physical sensors/actuators.

2.1 Building Structure

Fact  Floorplan 
Information : \epsfig{file=/home/forest/EXAMPLES/DAGSTUHL/PROBLEM_SPECIFICATION/graphs/floorplan.epsi}
Postreferences : lsref Floor : o415
    lsref Floor : o417
    lsref Floor : o419
    lsref Floor : o429
    lsref Floor : o425
    lsref Floor : o431
    lsref Floor : o435
    lsref Floor : o423
    lsref Floor : o433
    lsref Floor : o421
    lsref Floor : m427
    lsref Floor : cl411
    lsref Floor : cl426
    lsref Floor : o424
    lsref Floor : cl422
    lsref Floor : cl418
    lsref Floor : o416
    lsref Floor : o414
    lsref Floor : o412
    lsref Floor : cl410
    lsref Floor : h1
    lsref Floor : h2
    lsref Floor : h3
    lsref Floor : scw
    lsref Floor : sce
    lsref Floor : ols1
    lsref Floor : ols2
    lsref Floor : ols3
    lsref Floor : ols4
    lsref Floor : ols5
    lsref Floor : ols6
    lsref Floor : ROOMS
    lsref Floor : HALLWAYS
    dkref Floor : D_F1
    dkref Floor : D_F2
    dkref Floor : D_F3
    dkref Floor : D_F4
    dkref Floor : D_F5
    dkref Floor : D_F6
    dkref Floor : D_F7
    dkref Floor : D_F8

Fact  BD_20 
Information : The fourth floor of building 32 consists of three sections and shares two staircases SCE and SCW with other floors of the building, as shown in figure 1. Sections are divided into offices(O), computer labs(CL), hardware labs(HL), peripheral rooms(P), meeting rooms(M), and hallways(H). All rooms in a section are accessible via connected hallways. There are three hallways and 22 rooms to control. Figure 1 also shows the six outdoor light sensors (ols1 - ols6) and the major compass directions. The sensors cover the six directions of the different walls. The number in the rooms indicate the type of room plus a unique number.
Postreferences : lsref Floor : h1
    lsref Floor : h2
    lsref Floor : h3
    lsref Floor : scw
    lsref Floor : sce
    lsref Floor : ols1
    lsref Floor : ols2
    lsref Floor : ols3
    lsref Floor : ols4
    lsref Floor : ols5
    lsref Floor : ols6
    lsref Floor : ROOMS
    lsref Floor : HALLWAYS

2.2 Current Installation

Fact  BD_21 
Information : Currently, ceiling light groups in all rooms can only be turned on or off in groups.

Fact  BD_22 
Information : In all rooms each ceiling light group is controlled by one or more push-buttons, that toggle the light if switched to the other position.
Postreferences : dkref PushButton : D_PB1
    dkref PushButton : D_PB2

Fact  BD_23 
Information : Task lights are controlled manually by one push-button.

Fact  BD_24 
Information : In the hallways, several push-buttons can toggle the ceiling light group on and off. All push-buttons are connected in parallel.
Postreferences : dkref PushButton : D_PB1
    dkref PushButton : D_PB2

2.3 Planned Installation

2.3.1 Offices

Fact  BD_25 
Information : An office (shown in Figure 2) has one door (d1) to the hallway and can have doors to the adjacent rooms (d2, d3). Only those doors are part of a room that open into the room. There fore, d3 is not an object of the shown room, but the name can be used as a reference. Each door is equipped with a door closed contact, named dcc<n>, where n is the number of the door in the room.
Postreferences : lsref Door : doorClosedContact
    lsref Room : hallwayDoor
    lsref RoomNeighb : neighbourDoor

Fact  BD_26 
Information : Each office is equipped with
1.
one motion detector, so that the room is fully covered (imd1). Actually several motion detectors can be connected in parallel to achieve the coverage.
2.
two ceiling light groups (window and wall), that can be dimmed individually with dimmer-actuators lle1 (window) and lle2 (wall)
3.
a panel to control the light groups directly or select light scenes,
4.
a desk with a movable task light on it.The task light can be manually turned on and off (pb3).
5.
two push-buttons (pb1 (window) and pb2 (wall)) for the control of the ceiling lights.
6.
three status lines (sll1..3) that show the status of the three light sources.
Postreferences : lsref ControlledLight : ls
    lsref ControlledLight : pulse
    lsref ControlledLight : pb
    lsref DimmableControlledLight : dimmer
    lsref AreaLight : light
    lsref RoomLight : light
    lsref BasicRoom : md

Fact  Office 
Information : \epsfig{file=/home/forest/EXAMPLES/DAGSTUHL/PROBLEM_SPECIFICATION/graphs/office.epsi}

2.4 Hallway

Fact  BD_27 
Information : Each hallway is limited by two doors, leading to the adjacent hallways. Each door is assigned to only one hallway. Therefore, in the given floor with 3 hallways and 4 doors, there exists one hallway with two doors and two hallways with only one door. The assignment of the doors and their associated names are shown in Figure 3. Each door is equipped with a door closed contact, named dcc<n>, where n is derived from the name of the door.
Postreferences : lsref Door : doorClosedContact
    lsref HallwaySection : westDoor
    lsref HallwaySection : eastDoor

Fact  BD_28 
Information : Each hallway is equipped with
1.
two motion detectors (imd1 and imd2), placed above the doors at each end of the hallway to determine the presence of a person near a door,
2.
one motion detector to cover the whole section (imd3), can be several connected in parallel for coverage.
3.
one ceiling light group that can be turned on and off,
4.
several wall push-buttons (pb) to toggle the light, an impulse relay, which controls the ceiling light group, and normal relays in parallel to push-buttons.
5.
one status line (sll1) that determines if the light is on or off (sl1)
Postreferences : lsref ControlledLight : ls
    lsref ControlledLight : pulse
    lsref ControlledLight : pb
    lsref DimmableControlledLight : dimmer
    lsref AreaLight : light
    lsref HallwaySection : eastMd
    lsref HallwaySection : westMd
    lsref HallwaySection : middleMd

2.4.1 Staircase

Fact  Hallways 
Information : \epsfig{file=/home/forest/EXAMPLES/DAGSTUHL/PROBLEM_SPECIFICATION/graphs/hallways.epsi}

Fact  BD_29 
Information : Staircases connect several floors.

Fact  BD_30 
Information : At the floor level, a staircase is equipped with
1.
one motion detector imd1 above the door to the adjacent hallway to detect motion near the door.
Postreferences : lsref StairCase : md

2.4.2 Computer Labs

Fact  BD_31 
Information : A computer lab has one door (d1) to the hallway and can have doors to the adjacent rooms (d2, d3). The light installation is the same as in the offices. The sensors at the doors are named like the ones at the offices.
Postreferences : lsref Room : hallwayDoor
    lsref RoomNeighb : neighbourDoor
    lsref ControlledLight : ls
    lsref ControlledLight : pulse
    lsref ControlledLight : pb
    lsref DimmableControlledLight : dimmer
    lsref AreaLight : light
    lsref RoomLight : light

Fact  BD_32 
Information : Each computer lab is equipped with
1.
one motion detector, so that the room is fully covered (imd1). Actually, several motion detectors can be connected in parallel to achieve the coverage.
2.
two ceiling light groups (window and wall) that can be dimmed individually with dimmer-actuators lle1 (window) and lle2 (wall)
3.
a panel to control the light groups directly or select light scenes,
4.
two push-buttons (pb1 (window) and pb2 (wall)) for the control of the ceiling lights.
5.
two status lines (sll1, sll2) that show the status of the light sources.
Postreferences : lsref DimmableControlledLight : dimmer
    lsref ControlledLight : pb
    lsref AreaLight : light
    lsref BasicRoom : md

2.4.3 Hardware Labs

Fact  BD_33 
Information : Same as computer labs, but with more than one door to the hallway.
Postreferences : lsref Room : hallwayDoor

2.4.4 Meeting Room

Fact  BD_34 
Information : Same as computer lab.

2.4.5 Peripheral Rooms

Fact  BD_35 
Information : The peripheral rooms will not be controlled by a computer system, and thus they will not be presented furthermore!

2.5 Sensors

Fact  BD_36 
Information : This section describes the real physical sensors including converters if necessary.

Fact  BD_37 
Information : Analog sensors typically have an exponential time response. Reaction time is the time from a change of the sensed property to the time when the sensor has reached 90% of the change, excluding conversion time. Conversion time is the time to convert the analog value to a digital one that can be accessed by the control system.
Postreferences : lsref NoMalfunctionSensor : reactionTime
    lsref NoMalfunctionSensor : conversionTime
    lsref NoMalfunctionSensor : envEntity
    lsref NoMalfunctionSensor : measuredEntity
    lsref NoMalfunctionSensor : convertedEntity
    lsref NoMalfunctionSensor : modifyReaction
    lsref NoMalfunctionSensor : modifyConversion
    dkref NoMalfunctionSensor : D_NMS1
    dkref NoMalfunctionSensor : D_NMS2

Fact  BD_38 
Information : NC means "normally closed". Closed is coded as 1, open as 0.

Fact  Table_1 
Information : \epsfig{file=/home/forest/EXAMPLES/DAGSTUHL/PROBLEM_SPECIFICATION/graphs/table1.epsi}
Postreferences : gsref LIGHT_VALUES
    gsref BINARY
    lsref OutdoorLightSensor : OUT_LIGHT_VALUES
    dkref OutdoorLightSensor : D_OLS1
    dkref OutdoorLightSensor : D_OLS2
    dkref BinarySensor : D_BS1
    dkref DoorContact : D_DC1
    dkref MotionDetector : D_MD1

2.6 Actuators

Fact  BD_39 
Information : Actuators have a linear time response. Reaction time is therefore defined as the time to change from 0 to 100% / 100 to 0%, if different.
Postreferences : lsref NoMalfunctionActuator : reactionTime
    lsref NoMalfunctionActuator : envEntity
    lsref NoMalfunctionActuator : adjustedEntity

Fact  Table_2 
Information : \epsfig{file=/home/forest/EXAMPLES/DAGSTUHL/PROBLEM_SPECIFICATION/graphs/table2.epsi}
Postreferences : gsref PERCENT
    dkref LightSensor : D_L1
    dkref Pulse : D_PUL1
    dkref Dimmer : D_DIM1
    dkref ControlSystemActive : D_CSA1

Fact  BD_40 
Information : The structure of the dimmable lights is shown in the next picture. Inputs to the dimmable light are the pulse line to toggle the light, a dim value to set the current dim value and the signal control system is active to show the status of the control system. If this signal is not sent every 60 s, the light switches to fail safe mode and dim value changes to 100%. The output is a status line to show the current state (on or off) of the light.
Postreferences : lsref ControlledLight : csa
    lsref ControlledLight : pulse
    lsref ControlledLight : ls
    lsref DimmableControlledLight : dimmer

Fact  LightInstallation 
Information : \epsfig{file=/home/forest/EXAMPLES/DAGSTUHL/PROBLEM_SPECIFICATION/graphs/light.epsi}
Postreferences : lsref ControlledLight : ls
    lsref ControlledLight : pulse
    lsref ControlledLight : csa
    lsref ControlledLight : pb
    lsref DimmableControlledLight : dimmer

next up previous contents index FOREST_HomepageFOREST_Example_Homepage
Next: Problem Description Up: No Title Previous: Aggregation and Inheritance Hierarchy
Forest-System
1999-06-10