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
ViPES 2016
4th Workshop on Virtual Prototyping of Parallel and Embedded Systems (ViPES'2016)
The 4th Workshop on Virtual Prototyping of Parallel and Embedded Systems (ViPES 2016) will be held at Samos Island, Greece on July 17th, 2016. ViPES 2016 is co-located with the International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS). Virtual prototyping stands for the development of hardware/software systems without using a real hardware prototype, i.e.
Submitted by Anonymous on March 24th, 2016
Event
MORSE 2016
MORSE 2016 - Third Workshop on Model-Driven Robot Software Engineering
MORSE'16 is co-located with the RoboCup 2016.
RoboCup Date: June 30 - July 4 2016
Workshop Date: July 1, 2016
Location: Messe Leipzig, Leipzig, Germany
Website: http://st.inf.tu-dresden.de/MORSE16
Submitted by Anonymous on March 11th, 2016
Exploiting inherent physical structure of the CPS domains can lead to economically viable and efficient novel algorithms for providing performance, control, synchronization and an alternate approach to CPS security that does not rely solely on cryptography. In each of these systems, regardless of the current state of the network, in the presence of disturbances or adversarial inputs, there is a need to bring the system to desired state for performance and control of the network.
This project presents one such novel approach by observing that the CPS applications including smartgrid, coordinating robotics, formation flights in UAV, and synchronization of biological systems including brain networks all exhibit a special physical structure, namely submodularity, with respect to the set of control actions. Submodularity is a diminishing returns property that enables the development of efficient algorithms with provable optimality guarantees and in many cases distributed versions that are locally implementable, and hence scalable. While it has been widely used in the machine learning and discrete optimization communities, the use of submodularity in the context of CPS is a fertile research area. This project initially applies submodularity in the context of smart grid and show how it can lead to greater system stability and attack resilience. By defining suitable metrics that capture the submodular structures underlying the physical dynamics, the researchers develop algorithms that eliminate the time-consuming and computationally expensive verification of control actions through simulation. The fundamental properties of synchronization, convergence, robustness, and attack-resilience considered in this effort have crosscutting applications to multiple CPS domains, which will benefit from the submodular approach that we will research and develop.
Award Number
Display Videos in Hero
Off
Co-PIs
Radha Poovendran
Daniel Kirschen
Institution
University of Washington
Lead PI
Linda Bushnell
Performance Period
-
Sponsor
National Science Foundation
Submitted by Linda Bushnell on March 9th, 2016
Event
CODES+ISSS 2016
International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS 2016)
The International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) is the premier event in system-level design, modeling, analysis, and implementation of modern embedded and cyber-physical systems, from system-level specification and optimization down to system synthesis of multi-processor hardware/software implementations.
Submitted by Anonymous on March 8th, 2016
Event
EMSOFT 2016
INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE (EMSOFT)
The ACM SIGBED International Conference on Embedded Software (EMSOFT) brings together researchers and developers from academia, industry, and government to advance the science, engineering, and technology of embedded software development. EMSOFT 2016 is part of the Embedded Systems Week.
Submitted by Anonymous on March 8th, 2016
Event
MES 2016
Fourth ACM International Workshop on Many-core Embedded Systems (MES)
in conjunction with the 43rd International symposium on Computer Architecture (ISCA-2016)
General Scope
Submitted by Anonymous on March 8th, 2016
Event
TIME 2016
CALL FOR PAPERS
23rd International Symposium on Temporal Representation and Reasoning (TIME 2016)
Aim
Submitted by Anonymous on February 24th, 2016
Event
ESTIMedia 2016
The 14th IEEE Symposium on Embedded Systems for Real-Time Multimedia (ESTIMedia 2016)
6th – 7th Oct 2016 | Pittsburgh, USA | http://www.estimedia.org/
The IEEE ESTIMedia’16 is organized as a part of the Embedded Systems Week 2016
Submitted by Anonymous on February 24th, 2016
Event
ERMAVSS 2016
International Workshop on Early Reliability Modeling for Aging and Variability in Silicon Systems (ERMAVSS)
Dresden, Germany (co-located with DATE) | Friday March 18th, 2016 | http://ermavss.iroctech.com/
About the Workshop
Submitted by Anonymous on February 15th, 2016
Event
CONCUR 2016
The 27th International Conference on Concurrency Theory (CONCUR2016)
The 27th International Conference on Concurrency Theory will take place in Québec City, Canada, 23-26 August 2016. The event will be co-located with the 13th QEST International Conference on Quantitative Evaluation of SysTems (QEST) and the 14th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS).
Submitted by Anonymous on February 15th, 2016