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 条

[31] Property-Based Testing with External Test-Case Generators
Aichernig, Bernhard K.
Marcovic, Silvio
Schumi, Richard
[J]. 10TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS - ICSTW 2017, 2017, : 337 - 346
[32] Integration of Requirements Engineering and Test-Case Generation via OSLC
Aichernig, Bernhard K.
Hoermaier, Klaus
Lorber, Florian
Nickovic, Dejan
Schlick, Rupert
Simoneau, Didier
Tiran, Stefan
[J]. 2014 14TH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC 2014), 2014, : 117 - 126
[33] An automated energy management framework for smart homes
Kanso, Houssam
Noureddine, Adel
Exposito, Ernesto
[J]. JOURNAL OF AMBIENT INTELLIGENCE AND SMART ENVIRONMENTS, 2023, 16 (01) : 23 - 42
[34] Fuzzy Energy Management Controller for Smart Homes
Khalid, Rabiya
Abid, Samia
Zafar, Ayesha
Yasmeen, Anila
Khan, Zahoor Ali
Qasim, Umar
Javaid, Nadeem
[J]. INNOVATIVE MOBILE AND INTERNET SERVICES IN UBIQUITOUS COMPUTING, IMIS-2017, 2018, 612 : 200 - 207
[35] CoVeriTest: interleaving value and predicate analysis for test-case generation
Marie-Christine Jakobs
[J]. International Journal on Software Tools for Technology Transfer, 2021, 23 : 847 - 851
[36] CoVeriTest: interleaving value and predicate analysis for test-case generation
Jakobs, Marie-Christine
[J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2021, 23 (06) : 847 - 851
[37] Coverage based test-case generation using model checkers
Rayadurgam, S
Heimdahl, MPE
[J]. EIGHTH ANNUAL IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER BASED SYSTEMS, PROCEEDINGS, 2001, : 83 - 91
[38] TEST-CASE GENERATION FROM PROLOG-BASED SPECIFICATIONS
DENNEY, R
[J]. IEEE SOFTWARE, 1991, 8 (02) : 49 - 57
[39] Energy Consumption Management in Smart Homes: an M-Bus Communication System
Cherchi, Roberto
Colistra, Giuseppe
Pilloni, Virginia
Atzori, Luigi
[J]. 2014 INTERNATIONAL CONFERENCE ON TELECOMMUNICATIONS AND MULTIMEDIA (TEMU), 2014, : 80 - 85
[40] Maximum Coverage of Wireless Sensor Networks for an Energy Management System in Smart Homes
Andrade Montoya, Paul Alexander
Morejon Bastidas, Jose Luis
Inga Ortega, Esteban Mauricio
[J]. INGE CUC, 2016, 12 (02) : 68 - 78

← 1 2 3 4 5 →