Independent procedures that are used together for checking that a product, service, or system meets requirements and specifications and that it fulfills its intended purpose.
Event
SETTA 2017
The 3rd Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2017) October 23-25, 2017 | Changsha, China | http://lcs.ios.ac.cn/setta2017/   Invited Speakers Cliff Jones (Newcastle University) Rupak Majumdar (Max Planck Institute for Software Systems) Sanjit Seshia (University of California, Berkeley) Program Chairs:
Submitted by Anonymous on June 20th, 2017
By 2050, 70% of the world's population is projected to live and work in cities, with buildings as major constituents. Buildings' energy consumption contributes to more than 70% of electricity use, with people spending more than 90% of their time in buildings. Future cities with innovative, optimized building designs and operations have the potential to play a pivotal role in reducing energy consumption, curbing greenhouse gas emissions, and maintaining stable electric-grid operations. Buildings are physically connected to the electric power grid, thus it would be beneficial to understand the coupling of decisions and operations of the two. However, at a community level, there is no holistic framework that buildings and power grids can simultaneously utilize to optimize their performance. The challenge related to establishing such a framework is that building control systems are neither connected to, nor integrated with the power grid, and consequently a unified, global optimal energy control strategy at a smart community level cannot be achieved. Hence, the fundamental knowledge gaps are (a) the lack of a holistic, multi-time scale mathematical framework that couples the decisions of buildings stakeholders and grid stakeholders, and (b) the lack of a computationally-tractable solution methodology amenable to implementation on a large number of connected power grid-nodes and buildings. In this project, a novel mathematical framework that fills the aforementioned knowledge gaps will be investigated, and the following hypothesis will be tested: Connected buildings, people, and grids will achieve significant energy savings and stable operation within a smart city. The envisioned smart city framework will furnish individual buildings and power grid devices with custom demand response signals. The hypothesis will be tested against classical demand response (DR) strategies where (i) the integration of building and power-grid dynamics is lacking and (ii) the DR schemes that buildings implement are independent and individual. By engaging in efficient, decentralized community-scale optimization, energy savings will be demonstrated for participating buildings and enhanced stable operation for the grid are projected, hence empowering smart energy communities. To ensure the potential for broad adoption of the proposed framework, this project will be regularly informed with inputs and feedback from Southern California Edison (SCE). In order to test the hypothesis, the following research products will be developed: (1) An innovative method to model a cluster of buildings--with people's behavior embedded in the cluster's dynamics--and their controls so that they can be integrated with grid operation and services; (2) a novel optimization framework to solve complex control problems for large-scale coupled systems; and (3) a methodology to assess the impacts of connected buildings in terms of (a) the grid's operational stability and safety and (b) buildings' optimized energy consumption. To test the proposed framework, a large-scale simulation of a distribution primary feeder with over 1000 buildings will be conducted within SCE?s Johanna and Santiago substations in Central Orange County.
Off
University of California-Riverside
-
National Science Foundation
Nanpeng Yu
Submitted by David Corman on June 19th, 2017
Event
CASES 2017
International Conference on Compilers, Architectures, and Synthesis for Embedded Systems (CASES 2017) at the Embedded System Week (ESWeek) October 15-20, 2017 | Seoul, South Korea | http://www.esweek.org/cases/
Submitted by Anonymous on June 9th, 2017
Event
ERTS² 2018
Embedded Real Time Software and Systems ( ERTS² 2018) The ERTS2 congress created by the late Jean-Claude Laprie in 2002 is a unique European cross sector event on Embedded Software and Systems, a platform for top-level scientists with representatives from universities, research centres, agencies and industries. The previous editions gathered more than 100 talks, 500 participants and 60 exhibitors. ERTS2 is both:
Submitted by Anonymous on June 9th, 2017
Event
DaLí 2017
Workshop DaLí – Dynamic Logic: new trends and applications  Brasília | 24 September, 2017  |   co-located with FROCOS TABLEAUX and ITP 2017)             
Submitted by Anonymous on May 5th, 2017
Event
PSCare 2017
The Fourth International Workshop on Privacy and Security in HealthCare 2017 (PSCare 2017) in conjunction with the 7th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH-2017)
Submitted by Anonymous on May 5th, 2017
Event
CONCUR 2017
28th International Conference on Concurrency Theory (CONCUR 2017) September 5-8, 2017 | Berlin, Germany | https://www.concur2017.tu-berlin.de/ The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications. TUTORIALS - Alastair Donaldson (Imperial College London, UK) - Pawel Sobocinski (University of Southampton, UK) - Viktor Vafeiadis (Max Planck Institute for Software Systems, Germany)
Submitted by Anonymous on April 14th, 2017
Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics (EXPRESS/SOS 2017) September 04, 2017 | Berlin (Germany) | https://www.concur2017.tu-berlin.de/express_sos.html Affiliated with CONCUR 2017 SCOPE AND TOPICS:
Amy Karns Submitted by Amy Karns on April 14th, 2017
15th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) co-located withInternational Conference on Formal Methods in Computer-Aided Design (FMCAD) http://www.fmcad.org/FMCAD17
Submitted by Anonymous on March 20th, 2017
Event
EDCC 2017
CALL FOR PAPERS 13th European Dependable Computing Conference (EDCC 2017) Geneva, Switzerland  | 4-8 September 2017 | http://edcc2017.unige.ch/
Submitted by Anonymous on March 20th, 2017
Subscribe to Validation and Verification