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.

Download the Challenge #1 Tools 

DARPA has recently released the software for all of the design and collaboration tools used by participants in its first FANG Challenge.  Source code for the META design tools, VehicleFORGE collaboration platform and iFAB foundry IT infrastructure are currently available for download from their online repository @ http://cps-vo.org/group/avm.  

Naresh Shah Submitted by Naresh Shah on August 28th, 2013
Event
RTSS 2013
34th IEEE Real-Time Systems Symposium (RTSS) 2013 ABOUT IEEE Real-Time Systems Symposium (RTSS) is the premier conference in the area of real-time systems, presenting innovations in the field with respect to theory and practice. RTSS provides a forum for the presentation of high-quality, original research covering all aspects of real-time systems design, analysis, implementation, evaluation, and experiences. RTSS 2013 continues the trend of making RTSS an expansive and inclusive symposium, looking to embrace new and emerging areas of real-time systems research.
Submitted by Anonymous on August 21st, 2013

 

This talk is part of the Triangle Computer Science Distinguished Lecturer Series

Abstract:

Cyber-physical systems (CPS) represent a tight integration of computing and communications with the physics and real-time dynamics of engineered systems.  They will revolutionize many sectors including transportation, critical infrastructures, manufacturing, healthcare and medical devices, aerospace and defense.   In this talk, we will present some grand challenges that can be met by advances in cyber-physical systems.   This will be followed by a detailed description of 3 areas of CPS research projects that the speaker is working on: (1) Planetary-scale sensor-actuator networks with applications to the smart grid, (2) Smart Surveillance systems, and (3) Autonomous Driving Systems.   Current status of each project will be complemented by a description of research challenges that need to be addressed.   These systems will hopefully offer insights into why the integration of engineering and computer science into a master discipline that can enrich both domains while yielding significant, perhaps even revolutionary, practical benefits.

Short Bio:

Dr. Raj Rajkumar is a Professor of Electrical and Computer Engineering, and Robotics Institute at Carnegie Mellon University.  He also serves as a Co-Director for the General Motors-Carnegie Mellon Vehicular Information Technology Collaborative Research Lab, Co-Director of the General Motors-Carnegie Mellon Autonomous Driving Collaborative Research Lab and as a Director of the Real-Time and Multimedia Systems Laboratory at Carnegie Mellon University.  He has served as General Chair and/or Program Chair of multiple conferences including the IEEE Real-Time Systems Symposium, the IEEE Real-Time Technologies and Applications Symposium, the ACM/SPIE Symposium on Multimedia Computing and Networks, International Symposium on International Symposium on Vehicular Computing Systems and the International Conference on Networked Sensing Systems. He has chaired or co-chaired 5 NSF-sponsored workshops targeting a national research initiative on cyber-physical systems.  He is also currently serving as the Chair of the IEEE Technical Committee on Real-Time Systems. He obtained his M.S. and Ph.D. degrees from Carnegie Mellon University in 1986 and 1989 respectively.   He has given several keynote talks and has 4 Best Paper Awards.  Dr. Rajkumar's research interests include all aspects of embedded real-time systems.  Some of his current research projects include FireFly wireless networks, resource kernels for guaranteed enforcement of throughput, timeliness and power-consumption in real-time operating systems, vehicular networks, and methodologies for model-based design and development.

Raj Rajkumar
Ragunathan  Rajkumar Submitted by Ragunathan Rajkumar on August 14th, 2013
Event
QEST 2013
10th International Conference on Quantitative Evaluation of SysTems                               QEST 2013                     http://www.qest.org/qest2013/
Submitted by Anonymous on August 14th, 2013
Amy Karns Submitted by Amy Karns on August 14th, 2013
Event
SAC 2014
ACM Symposium On Applied Computing For the past twenty-eight years, the ACM Symposium on Applied Computing has been a primary gathering forum for applied computer scientists, computer engineers, software engineers, and application developers from around the world. SAC 2014 is sponsored by the ACM Special Interest Group on Applied Computing (SIGAPP), and is hosted by Seoul National University, Kyungpook National University, Soongsil University and Dongguk University.  
Submitted by Anonymous on August 14th, 2013
Event
DATE 2014
DESIGN AUTOMATION AND TEST IN EUROPE CONFERENCE                  ICC, DRESDEN, GERMANY                  24TH-28TH MARCH 2014              http://www.date-conference.com The Design, Automation and Test in Europe conference and exhibition is 
Submitted by Anonymous on August 13th, 2013
Event
REALWSN 2013
Fifth Workshop on Real-World Wireless Sensor Networks 19-20 September 2013 Como Lake, Italy We are excited to announce that the fifth Workshop on Real-World Wireless Sensor will be held at the Como Lake, Italy on 19-20 September 2013.
Submitted by Anonymous on August 13th, 2013
Benchmarking of Embedded Systems Workshop Held in conjunction with Embedded Systems Week, this workshop will be presented on Sunday, September 29 by Sebastian Fischmeister of University of Waterloo, Shay Gal-On of EEMBC and Peter Stokes and Darshika G. Perera of CMC Microsystems.
Submitted by Anonymous on August 13th, 2013
International Workshop on Real-Time and Distributed Computing in Emerging Applications Colocated with 34th IEEE Real-Time Systems Symposium
Submitted by Anonymous on August 13th, 2013
Subscribe to Validation and Verification