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
WOCO 2016
1st IFAC/IFIP Workshop on Computers and Control (WOCO 2016)
Sponsored and Organised by IFAC TC3.1 Technical Committee on Computers for Control Co-Sponsored by IFIP WG 10.5 Design and Engineering of Electronic Systems
WOCO 2016 is the first IFAC Workshop on Computer and Control following previous workshops organized by IFAC Technical Committee 3.3 as Workshop on Real-Time Programming (WRTP) and Algorithms and Architectures for Real-Time Control (AARTC) that were successfully organised during 30 editions.
Event
MECO’2016
5th Mediterranean Conference on Embedded Computing (MECO’2016)
Bar, Montenegro | June 12-16, 2016 | http://embeddedcomputing.me
Event
RoboCup 2016
RoboCup International Symposium 2016
OVERVIEW
The 20th Annual RoboCup International Symposium will be held in conjunction with RoboCup 2016. The Symposium is a primary venue for presentation and discussion of scientific contributions to a variety of research areas related to all RoboCup divisions (RoboCup Soccer, RoboCup Rescue, RoboCup at Home, RoboCup at Work, and RoboCup Junior). Its scope includes, but is not restricted to, research and educational activities in robotics and artificial intelligence.
Event
ICE 2016
9th Interaction and Concurrency Experience (ICE 2016)
June 8-9, 2016 | Heraklion, Greece | http://2016.discotec.org/ice2016
Satellite workshop of DisCoTec 2016 (http://2016.discotec.org)
Highlights
Event
RV 2016
16th International Conference on Runtime Verification (RV 2016)
Scope
Event
VVCPS 2016
1st International Workshop on Verification and Validation of Cyber-Physical Systems (V2CPS)
co-located with iFM 2016
Cyber-physical systems (CPSs) allow computer systems to monitor and control the physical world in a new way that could revolutionize many areas of science and engineering. However, they are often too complex for non-specialists to use. The aim of this work is to develop new technology to manage this complexity, enabling scientists and engineers to use CPSs just like other tools and instruments. This research takes a comprehensive approach to macroprogramming -- the task of programming an entire network of devices as a single, programmable substrate. This research exploits global, network-wide information about a CPS provided by a macroprogram to improve traditional software engineering techniques such as testing, debugging, analysis, and optimization. New techniques are being developed that use global information to optimize system performance, automatically generate test cases, and reduce the state space for analysis. This work is developing new programming abstractions that allow the separation of the application logic from quality-of-service requirements and hardware requirements, improving code portability and reuse. This research will produce a comprehensive development environment for CPSs called MacroLab. The new tools developed will greatly simplify the process of their programming and make them more accessible to non-experts. By taking a holistic view of the network and its software, MacroLab will manage a range of complex, interacting issues that would be extremely difficult to manage by hand. MacroLab will be tested pilot studies, including environmental monitoring. A graduate CPS course will be developed. MacroLab will be used for course experiments and in senior capstone projects.
Off
University of Virginia
-
National Science Foundation
Event
ACVI16
Workshop on Architecture Centric Virtual Integration
at WICSA and CompArch 2016 | http://www.aadl.info/aadl/acvi/acvi2016/
Important dates
Event
INDIN 2016
INDIN 2016 IEEE International Conference on Industrial Informatics
Sponsored by: IEEE Industrial Electronics Society and Pprime Institute, Futuroscope-Poitiers, France
INDIN2016 is 14th International Conference on Industrial Informatics sponsored by the Industrial Electronics Society of the IEEE. The premier conference series presenting the state of the art and future perspectives of industrial information technologies.