Software tools for designing electronic systems.
event
Submitted by Anonymous on Mon, 06/29/2015 - 3:56pm
2015 International Conference on ReConFigurable Computing and FPGA's (ReConFig 2015)
December 7-9, 2015, Mayan Riviera, Mexico | www.reconfig.org
- 3 Keynote Speeches
- Technical Sessions (General Sessions + 8 Special Tracks)
- PhD Forum
- Demo Night
- Social Events
IEEE CASS Technical Cosponsorship.
forum
Submitted by Anonymous on Mon, 06/29/2015 - 3:43pm
08 June, 2015 | ONERA -- CENTRE DE TOULOUSE | Information Processing and Modelling Department
file
Abstract: Developing cyber-physical systems involves multiple engineering domains, e.g., timing, logical correctness, thermal resilience, and mechanical stress. In today's industrial practice, these domains rely on multiple analyses to obtain and verify critical system properties. Domain differences make the analyses abstract away interactions among themselves, potentially invalidating the results. Specifically, one challenge is to ensure that an analysis is never applied to a model that violates the assumptions of the analysis.
file
Abstract: Modern cyber-physical systems interact closely with continuous physical processes like kinematic movement. Software component frameworks do not provide an explicit way to represent or reason about these processes. Meanwhile, hybrid program models have been successful in proving critical properties of discrete-continuous systems. These programs deal with diverse aspects of a cyber-physical system such as controller decisions, component communication protocols, and mechanical dynamics, requiring several programs to address the variation.
file
Abstract: Cyber-physical systems (CPS) are heterogeneous, because they tightly couple computation, communication and control along with physical dynamics, which are traditionally considered separately. Without a comprehensive modeling formalism, model-based development of CPS involves using a multitude of models in a variety of formalisms that capture various aspects of the system design, such as software design, networking design, physical models, and protocol design.
forum
Submitted by Anonymous on Tue, 06/23/2015 - 10:50am
IEEE Transactions on Computer Aided Design (TCAD) seeks original manuscripts for a special section on CAD for Cyber-Physical Systems.
The research of Cyber-Physical Systems (CPS) addresses the close interactions and feedback loop between the embedded cyber components for computing and control and the dynamic physical components that involve mechanical components, human activities and surrounding environment. Some example CPS systems include automotive and transportation systems, smart home, building and communi
event
Submitted by Anonymous on Fri, 06/19/2015 - 1:25pm
10th Workshop on Embedded Systems Security (WESS 2015)
A Workshop of the Embedded Systems Week (ESWEEK 2015)
October 8, 2015 | Amsterdam, The Netherlands | http://www.wess-workshop.org/
About WESS
forum
Submitted by Anonymous on Fri, 06/19/2015 - 1:22pm
10th Workshop on Embedded Systems Security (WESS 2015)
A Workshop of the Embedded Systems Week (ESWEEK 2015)
October 8, 2015 | Amsterdam, The Netherlands | http://www.wess-workshop.org/
About WESS
forum
Submitted by Anonymous on Fri, 06/19/2015 - 1:16pm
12th International Conference on Formal Aspects of Component Software (FACS'15 in Rio)
Rio de Janeiro, Brazi | October 14-16, 2015 | http://facs2015.ic.uff.br
*** Abstract submission deadline: June 22
*** Paper submission deadline: June 28
OVERVIEW AND SCOPE
Component-based software development proposes sound engineering principles and techniques to cope with the complexity of
forum
Submitted by Anonymous on Fri, 06/19/2015 - 12:42pm
