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.
Submitted by Anonymous on January 28th, 2016
Event
MECO’2016
5th Mediterranean Conference on Embedded Computing  (MECO’2016) Bar, Montenegro  | June 12-16, 2016 | http://embeddedcomputing.me
Submitted by Anonymous on January 28th, 2016
Event
ICTAC 2016
CALL FOR PAPERS
Submitted by Anonymous on January 28th, 2016
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.
Submitted by Anonymous on January 27th, 2016
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
Submitted by Anonymous on January 27th, 2016
Event
RV 2016
16th International Conference on Runtime Verification (RV 2016) Scope
Submitted by Anonymous on January 27th, 2016
Event
VVCPS 2016
1st International Workshop on Verification and Validation of Cyber-Physical Systems (V2CPS) co-located with iFM 2016
Submitted by Anonymous on January 22nd, 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
Submitted by Cameron Whitehouse on January 11th, 2016
Event
ACVI16
Workshop on Architecture Centric Virtual Integration at WICSA and CompArch 2016 | http://www.aadl.info/aadl/acvi/acvi2016/ Important dates
Submitted by Julien Delange on January 7th, 2016
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.
Submitted by Anonymous on December 23rd, 2015
Subscribe to Validation and Verification