The formalization of system engineering models and approaches.
Event
IECON 2018
Special Session on: “Emerging Solutions for Vehicular Embedded Software Systems” (IECON 2018) At the 44th Annual Conference of the IEEE Industrial Electronics Society The Special Session is organized and co-chaired by: Saad Mubeen, Mälardalen University, Sweden, saad.mubeen@mdh.se Lucia Lo Bello, University of Catania, Italy, lobello@unict.it Matthias Becker, KTH Royal Institute of Technology, Sweden, mabecker@kth.se Outline of the Session
Submitted by Anonymous on March 14th, 2018
20th International Conference on Coordination Models and Languages (COORDINATION 2018) Scope
Submitted by Anonymous on January 29th, 2018
International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS 2018) The International Conference on Hardware/Software Codesign and System Synthesis 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 January 29th, 2018
Event
EMSOFT 2018
International Conference on Embedded Software (EMSOFT 2018) 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.
Submitted by Anonymous on January 29th, 2018
Event
ICGT 2018
11th International Conference on Graph Transformation (ICGT 2018) Part of STAF 24-29 June 2018 24-29 June 2018 | Toulouse, France | https://www.hpi.uni-potsdam.de/giese/events/icgt2018/
Submitted by Anonymous on January 25th, 2018
Every year around 30,000 fatalities and 2.2 million injuries happen on US roads. The problem is compounded with huge economic losses due to traffic congestions. Advances in Cooperative Vehicle Efficiency and Safety (CVES) systems promise to significantly reduce the human and economic cost of transportation. However, large scale deployment of such systems is impeded by significant technical and scientific gaps, especially when it comes to achieving real-time and high accuracy situational awareness for cooperating vehicles. This CAREER project aims at closing these gaps through developing fundamental information networking methodologies for coordinated control of automated systems. These methodologies will be based on the innovative concept of modeled knowledge propagation. In addition, the educational component of this project integrates interdisciplinary Cyber-Physical Systems (CPS) subjects on the design of automated networked systems into graduate and undergraduate training modules. For robust operation, CVES systems require each vehicle to have reliable real-time awareness of the state of other coordinated vehicles. This project addresses the critical need for robust control-oriented situational awareness by developing a multi-resolution information networking methodology that is model- and context-aware. The approach is to develop the novel concepts of model communication and its derived multi-resolution networking. Context-aware model-communication relies on transmission and synchronization of models (e.g., stochastic hybrid system structures and parameters) instead of raw measurements. This allows for high fidelity synchronization of dynamical models of CVES over networks. Multi-resolution networking concept is enabled through scalable representations of models. Multi resolution models allow in-network adaptation of model fidelity to available network resources. The result is robustness of CVES to network service variability. The successful deployment of CVES, even partially, will provide significant societal benefits through reduced traffic accidents and improved efficiency. This project will enable large scale CVES deployment by addressing its scalability challenge. In addition, methodologies developed in this project will be crucial to emerging autonomous vehicles, which are also expected to coordinate their actions over communication networks. The fundamental research outcomes on knowledge propagation through network synchronization of dynamical models will be broadly applicable in other CPS domains such as smart grid. The educational component of this project will target training of CPS researchers and engineers on subjects in intelligent transportation and energy systems.
Off
University of Central Florida
-
National Science Foundation
Submitted by Yaser Fallah on January 11th, 2018
Event
RTSOPS 2018
9th International Real-Time Scheduling Open Problems Seminar (RTSOPS 2018) Satellite workshop of 30th EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS
Submitted by Anonymous on January 4th, 2018
Event
ICMT 2018
11th International Conference on Model Transformation (ICMT 2018) OVERVIEW Modeling is a key element in reducing the complexity of software systems during their development and maintenance. Model transformations are essential for elevating models from documentation elements to first-class artifacts. Transformations also play a key role in analyzing models to reveal conceptual flaws or highlight quality bottlenecks and in integrating heterogeneous tools into unified tool chains.
Submitted by Anonymous on December 14th, 2017
Third International Workshop on Science of Smart City Operations and Platforms Engineering (SCOPE) in partnership with Global City Teams Challenge (GCTC)
Abhishek Dubey Submitted by Abhishek Dubey on December 12th, 2017
Event
SCOPES 2018
21st International Workshop on Software and Compilers for Embedded Systems (SCOPES 2018) A next edition of the workshop on Software and Compilers for Embedded Systems  (SCOPES) will be organized in 2017. The workshop will feature a combination of research papers and research presentations (details see below). The papers and presentation abstracts will also be published in the ACM digital library. The workshop is held in cooperation with ACM SIGBED and EDAA.
Submitted by Anonymous on December 8th, 2017
Subscribe to Modeling