Submitted by Anonymous on Fri, 12/08/2017 - 11:26am
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 Fri, 12/08/2017 - 10:41am
12th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2018)
The VECoS conference series focuses on the analysis of computer and communication systems, where functional and extra-functional properties are inter-related. VECoS encourages the cross fertilization between the various formal verification and evaluation approaches, methods and techniques, especially those developed for concurrent and distributed hardware/software systems.
Topics of interest include, but are not limited to:
Explanation of Demonstration: Traffic waves will arise in the absence of bottlenecks as a result of human driving behavior alone. We conduct an experiment on a ring-road track to demonstrate the ability of a single autonomous vehicle in a flow of human-piloted vehicles to dampen these waves. In this demonstration, we presented a virtual reality video of the experiment.
The exponential growth of information and communication technologies have caused a profound shift in the way humans engineer systems leading to the emergence of closed-loop systems involving strong integration and coordination of physical and cyber components, often referred to as cyber-physical systems (CPSs). Because of these disruptive changes, physical systems can now be attacked through cyberspace and cyberspace can be attacked through physical means.
Recent years have seen an explosion in the use of ad-hoc, IP-based and Wifi networks for control of spatially-distributed physical systems, with applications including automotive fleets; swarms of UAVs; remote surgery; and optimization of sensor networks. These new forms of communication have dramatically decreased the cost, energy, and maintenance associated with remote regulation, but have added fundamental challenges in the form of delay, packet drops, and intermittent feedback.
