A Reuse- and Prototyping- based Approach for the Specification of Building Automation Systems Andreas Metzger Stefan Queins SFB 501: ‘Development of Large Systems with Generic Methods’ Department of Computer Science University of Kaiserslautern Germany
A Reuse- and Prototyping- Introduction based Approach for the Specification of Building Automation Requirements Engineering Method Systems Reuse Prototyping Andreas Metzger Stefan Queins Case Study SFB 501: ‘Development of Large Systems with Generic Methods’ Department of Computer Science Perspectives University of Kaiserslautern Germany
Properties of Building Automation Systems Control of Physical Effects light humidity temperature occupancy air quality ventilation sound Andreas Metzger – OMER-2 Workshop – Herrsching – May 10, 2001 3
Properties of Building Automation Systems Coupling of Physical Effects Andreas Metzger – OMER-2 Workshop – Herrsching – May 10, 2001 4
Properties of Building Automation Systems Coupling of Physical Effects Andreas Metzger – OMER-2 Workshop – Herrsching – May 10, 2001 5
Properties of Building Automation Systems Coupling of Physical Effects Andreas Metzger – OMER-2 Workshop – Herrsching – May 10, 2001 6
Properties of Building Automation Systems Size total sensors type of building and actuators university building with 100 2,500 offices and computer labs Burj Al Arab and Jumeirah 26,000 Beach Hotel, Dubai handling of complexity Andreas Metzger – OMER-2 Workshop – Herrsching – May 10, 2001 7
Properties of Building Automation Systems Size total sensors type of building and actuators university building with 100 2,500 offices and computer labs Burj Al Arab and Jumeirah 26,000 Beach Hotel, Dubai handling of complexity Number of Identical Products small efficient development Andreas Metzger – OMER-2 Workshop – Herrsching – May 10, 2001 8
Properties of Building Automation Systems Size total sensors type of building and actuators university building with 100 2,500 offices and computer labs Burj Al Arab and Jumeirah 26,000 Beach Hotel, Dubai handling of complexity Number of Identical Products small efficient development Life Span long traceability Andreas Metzger – OMER-2 Workshop – Herrsching – May 10, 2001 9
Development Process Requirements Engineering Problem Description Requirements Specification Andreas Metzger – OMER-2 Workshop – Herrsching – May 10, 2001 10
Development Process Requirements Engineering Building Problem Description Needs Description Requirements Specification Andreas Metzger – OMER-2 Workshop – Herrsching – May 10, 2001 11
Development Process Requirements Engineering Building Problem Description Needs Description Object Structure Specification Object Structure Requirements Specification Andreas Metzger – OMER-2 Workshop – Herrsching – May 10, 2001 12
Development Process Requirements Engineering Building Problem Description Needs Description Object Structure Task Specification Description Object Tasks Structure Requirements Specification Andreas Metzger – OMER-2 Workshop – Herrsching – May 10, 2001 13
Development Process Requirements Engineering Building Problem Description Needs Description Object Structure Requirements Task Specification Description Description Object Informal Tasks Structure Object Type Requirements Specification Andreas Metzger – OMER-2 Workshop – Herrsching – May 10, 2001 14
Development Process Requirements Engineering Building Problem Description Needs Description Object Structure Requirements Task Specification Description Description Object Informal Tasks Structure Object Type Requirements Modeling Requirements Formal Specification Object Type Andreas Metzger – OMER-2 Workshop – Herrsching – May 10, 2001 15
Development Process Requirements Engineering Building Problem Description Needs Description Object Structure Requirements Task Domain Dictionary Specification Description Description Object Informal Tasks Structure Object Type Requirements Modeling Requirements Formal Specification Object Type Andreas Metzger – OMER-2 Workshop – Herrsching – May 10, 2001 16
Development Process Development Step Input Activity Output Andreas Metzger – OMER-2 Workshop – Herrsching – May 10, 2001 17
Development Process Development Step Input Activity Output Andreas Metzger – OMER-2 Workshop – Herrsching – May 10, 2001 18
Development Process Development Step Input Activity Library Output Andreas Metzger – OMER-2 Workshop – Herrsching – May 10, 2001 19
Development Process Development Step Input Activity Defects Check Library Output Andreas Metzger – OMER-2 Workshop – Herrsching – May 10, 2001 20
Development Process Development Step Defects Input Activity Defects Check Library Output Andreas Metzger – OMER-2 Workshop – Herrsching – May 10, 2001 21
Reuse Expected Benefits • high quality products • short development time Andreas Metzger – OMER-2 Workshop – Herrsching – May 10, 2001 22
Reuse Expected Benefits • high quality products • short development time Reuse Operations Artifact Creation Candidate Candidate Effort Specification Selection Estimation Candidate Adaption Andreas Metzger – OMER-2 Workshop – Herrsching – May 10, 2001 23
Reuse Expected Benefits • high quality products • short development time Reuse Operations Artifact Creation Candidate Candidate Effort Specification Selection Estimation Candidate Adaption Evaluation • metric to quantify gain of productivity –a posteriori assessment to gather experience –a priori estimation to support development decisions Andreas Metzger – OMER-2 Workshop – Herrsching – May 10, 2001 24
Prototyping Expected Benefits • high quality products • short development time Andreas Metzger – OMER-2 Workshop – Herrsching – May 10, 2001 25
Prototyping Expected Benefits • high quality products • short development time Prototyping Environment Generation Formal Model Prototype Andreas Metzger – OMER-2 Workshop – Herrsching – May 10, 2001 26
Prototyping Expected Benefits • high quality products • short development time Prototyping Environment Building Simulator Environment Generation Interlinking Formal Model Prototype Physical Building Andreas Metzger – OMER-2 Workshop – Herrsching – May 10, 2001 27
Prototyping Expected Benefits • high quality products • short development time Prototyping Environment Building Simulator Environment Generation Interlinking Formal Model Prototype Physical Building Evaluation • quality – number and types of errors found • effort – prototype application – benefit for design Andreas Metzger – OMER-2 Workshop – Herrsching – May 10, 2001 28
Case Study building description: 22 rooms, 3 hallway sections N O435 O433 O431 CL426 hw1 O429 O424 M427 CL422 O425 P420 O423 O421 CL418 hw1 O419 O416 O417 O414 O415 O412 P413 hw1 CL411 CL410 Andreas Metzger – OMER-2 Workshop – Herrsching – May 10, 2001 29
Case Study building description: object structure: 22 rooms, 3 hallway sections 25 object types, 920 instances Floor N O435 O433 sec(3) O431 CL426 Section hw1 O429 O424 M427 hw rm(n) CL422 Hallway Room O425 Object Structure P420 O423 Specification O421 CL418 hw1 O419 O416 O417 O414 O415 O412 P413 hw1 CL411 CL410 Andreas Metzger – OMER-2 Workshop – Herrsching – May 10, 2001 30
Case Study building description: object structure: 22 rooms, 3 hallway sections 25 object types, 920 instances Floor N O435 O433 sec(3) O431 CL426 Section hw1 O429 O424 M427 hw rm(n) CL422 Hallway Room O425 Object Structure P420 O423 Specification hwl hwOcc rlt occ rtm HWLight HWOcc RoomLt RoomOcc RoomTm O421 CL418 hw1 O419 O416 O417 O414 O415 O412 P413 hw1 CL411 CL410 Andreas Metzger – OMER-2 Workshop – Herrsching – May 10, 2001 31
Case Study building description: object structure: 22 rooms, 3 hallway sections 25 object types, 920 instances Floor N O435 O433 sec(3) sdt O431 CL426 Section SunDet hw1 O429 O424 ols(6) M427 hw rm(n) CL422 OutDoorLight Hallway Room O425 Object Structure P420 O423 Specification hwl hwOcc rlt occ bld(n) rtm door(m) HWLight HWOcc RoomLt RoomOcc Blind RoomTm Door O421 CL418 hw1 O419 O416 lpg sll door(2) imd3 dsk lle(2) imd tss rad (n) pid dcc O417 O414 PulsGen Contact HWDoor MotDet Desk Light MotDet T empSens Radiator PIDCtrl Contact O415 O412 P413 tli imd(2) dcc T askLight sll dim lpg rva wts(3) MotDet Contact Contact Dimmer PulseGen Valve T empSens hw1 CL411 CL410 Andreas Metzger – OMER-2 Workshop – Herrsching – May 10, 2001 32
Case Study “Shortly before a persons enters a hallway section, the lights 68 needs should be turned on, if neccessary.” Andreas Metzger – OMER-2 Workshop – Herrsching – May 10, 2001 33
Recommend
More recommend
