Energy Management System for Smart Homes: Testing Methodology and Test-Case Generation

被引：0
|
作者：
Graditi, Giorgio [1 ]
Atrigna, Mauro [1 ]
Piccolo, Antonio [2 ]
Siano, Pierluigi [2 ]
机构：
[1] ENEA Italian Natl Agcy New Technol Energy & Susta, Portici Res Ctr, 1 Piazza E Fermi, I-80055 Portici, NA, Italy
[2] Univ Salerno 1, Dept Ind Engn, I-84084 Fisciano, Italy
来源：
2013 4TH INTERNATIONAL CONFERENCE ON CLEAN ELECTRICAL POWER (ICCEP): RENEWABLE ENERGY RESOURCES IMPACT | 2013年
关键词：
Decision Support and Energy Management Systems; Smart Homes; Building and home automation; Smart Grids; Testing methodologies; LOAD CONTROL; OPERATION; FRAMEWORK;
D O I：
暂无
中图分类号：
TE [石油、天然气工业]; TK [能源与动力工程];
学科分类号：
0807 ; 0820 ;
摘要：
An innovative decision support and energy management system (DSEMS) for residential applications is proposed in this paper. The DSEMS is represented as a finite state machine and consists of a series of scenarios that may be selected according to the user preferences. The designing and testing methods are described. These may be used in order to verify its effectiveness both in terms of continuity of electricity supply and energy savings and economics.
引用
收藏
页码：766 / 771
页数：6
相关论文
共 50 条
  • [41] Energy Management System Design and Testing for Smart Buildings Under Uncertain Generation (Wind/Photovoltaic) and Demand
    Rafique, Syed Furqan
    Zhang, Jianhua
    Hanan, Muhammad
    Aslam, Waseem
    Rehman, Atiq Ur
    Khan, Zmarrak Wali
    [J]. TSINGHUA SCIENCE AND TECHNOLOGY, 2018, 23 (03) : 254 - 265
  • [42] Energy Management System Design and Testing for Smart Buildings Under Uncertain Generation (Wind/Photovoltaic) and Demand
    Syed Furqan Rafique
    Jianhua Zhang
    Muhammad Hanan
    Waseem Aslam
    Atiq Ur Rehman
    Zmarrak Wali Khan
    [J]. Tsinghua Science and Technology, 2018, 23 (03) : 254 - 265
  • [43] Conditional Testing Off-the-Shelf Combination of Test-Case Generators
    Beyer, Dirk
    Lemberger, Thomas
    [J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (ATVA 2019), 2019, 11781 : 189 - 208
  • [44] ECoS: Energy Control System for Smart Homes
    Murugesan, Latha Karthigaa
    Hoda, Rashina
    Salcic, Zoran
    [J]. 2017 IEEE 15TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2017, : 445 - 450
  • [45] Mutant minimization for model-checker based test-case generation
    Fraser, Gordon
    Wotawa, Franz
    [J]. TAIC PART 2007 - TESTING: ACADEMIC AND INDUSTRIAL CONFERENCE - PRACTICE AND RESEARCH TECHNIQUES, PROCEEDINGS: CO-LOCATED WITH MUTATION 2007, 2007, : 161 - +
  • [46] Functional test-case generation by a control transaction graph for TLM verification
    Kakoee, Mohammad Reza
    Neishaburi, M. H.
    Mohanimadi, Siamak
    [J]. DSD 2007: 10TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN ARCHITECTURES, METHODS AND TOOLS, PROCEEDINGS, 2007, : 157 - 164
  • [47] Smart homes: A domestic demand response and demand side energy management system for future smart grids
    Hoosain, Mohamed Sameer
    Paul, Babu Sena
    [J]. PROCEEDINGS OF THE 2017 TWENTY FIFTH INTERNATIONAL CONFERENCE ON THE DOMESTIC USE OF ENERGY (DUE), 2017, : 285 - 291
  • [48] Scheduling-based test-case generation for verification of multimedia SoCs
    Nahir, Amir
    Ziv, Avi
    Emek, Roy
    Keidar, Tal
    Ronen, Nir
    [J]. 43RD DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2006, 2006, : 348 - +
  • [49] Two-Stage Energy Management of Multi-Smart Homes With Distributed Generation and Storage
    Tezde, Efe Isa
    Okumus, Halil Ibrahim
    Savran, Ibrahim
    [J]. ELECTRONICS, 2019, 8 (05):
  • [50] Scalable Incremental Test-Case Generation from Large Behavior Models
    Aichernig, Bernhard K.
    Nickovic, Dejan
    Tiran, Stefan
    [J]. TESTS AND PROOFS, TAP 2015, 2015, 9154 : 1 - 18
12345