This paper describes a proposal on how to model formal requirements in Modelica for simulation-based verification. The approach is implemented in the open source Modelica_Requirements library. It requires extensions to the Modelica language, that have been prototypically implemented in the Dymola and Open-Modelica software. The design of the library is based on the FOrmal Requirement Modeling Language (FORM-L) defined by EDF, and on industrial use cases from EDF and Dassault Aviation. It uses 2-and 3valued temporal logic to describe requirements.
The 13 th International Conference on Availability, Reliability and Security (ARES 2018) brings again together researchers and practitioners in the field of dependability and cybersecurity. ARES 2018 highlights the various aspects of this very important field, following the tradition of previous ARES conferences, with a special focus on the crucial linkage between availability, reliability, security and privacy. Again this year we are very happy to welcome famous keynote speakers from academia and industry.This year, ARES has seen a record number of submissions, the highest in its history. From the many submissions, we have selected the 30 best ones as full paper. The quality of submissions has steadily improved over the last years and the conference officers sometimes faced a difficult decision when selecting which papers should be accepted. This year's acceptance rate for full papers is only 22,31%. In addition, several workshops and short papers are included in the program and show intermediate results of ongoing research projects and offer interesting starting points for discussions. Putting together ARES 2018 was a team effort. We first thank the authors for providing the content of the program. We are grateful to the program committee, which worked very hard in reviewing papers and providing feedback for authors. Finally, we thank all workshop chairs for their efforts in organizing interesting workshop sessions.This year's conference is taking place in Hamburg, which is an old seafaring and trading city with the third-largest port in Europe. It is also one of the most popular touristic destinations in Germany. Hamburg has a history of pirates like the famous Klaus Störtebecker, who opposed the availability, reliability, and security of trading routes in the North and Baltic Sea in the 14th century. Thus, ARES is coming to a city that exactly knows that these topics are of outmost importance in our inter-connected societies.Hamburg calls itself the German gate to the world. With ARES the world is coming to Hamburg.We would like to thank the University of Hamburg for hosting ARES 2018! Enjoy ARES 2018 and Hamburg!
Smart Homes (SHs) represent the human side of a Smart Grid (SG). Data mining and analysis of energy data of electrical devices in SHs, e.g., for the dynamic load management, is of fundamental importance for the decision-making process of energy management both from the consumer perspective by saving money and also in terms of energy redistribution and reduction of the carbon dioxide emission, by knowing how the energy demand of a building is composed in the SG. Advanced monitoring and control mechanisms are necessary to deal with the identification of appliances. In this paper, a model for their automatic identification is proposed. It is based on a set of 19 features that are extracted by analyzing energy consumption, time usage and location from a set of device profiles. Then, machine learning approaches are employed by experimenting different classifiers based on such model for the identification of appliances and, finally, an analysis on the feature importance is provided.
No abstract
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.