Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
2012 CPS PI Meeting
Home
Program Agenda
Posters & Abstracts
Organizers
Files
CPS-VO
»
NSF CPS PI Meetings
»
2012 CPS PI Meeting
» SESSION 2: TECHNOLOGY FOR CPS
Session 2: Technology for CPS
file
Credible Autocoding and Verification of Embedded Software (CrAVES)
Submitted by feron on Tue, 12/11/2012 - 3:33pm. Contributors:
Eric Féron
Arnaud Venet
CPS Domains
Medical Devices
Automotive
Networked Control
Avionics
Embedded Software
Concurrency and Timing
Control
Systems Engineering
Modeling
Health Care
Transportation
CPS Technologies
Foundations
Georgia Institute of Technology
NASA Ames Research Center
National CPS PI Meeting 2012
2012
Session 2: Technology for CPS
Academia
Presentation
file
StarExec - A Web Service for Evaluating Logic Solvers
Submitted by astump on Wed, 10/03/2012 - 2:39pm. Contributors:
Aaron D. Stump
Geoff Sutcliffe
Cesare Tinelli
Probabilistic and Statistical Verification
Quantitative Verification
Testing
Control
Validation and Verification
Foundations
National CPS PI Meeting 2012
2012
Session 2: Technology for CPS
Presentation
file
Advanced Transportation Systems
Submitted by Rajkumar on Wed, 10/03/2012 - 2:34pm. Contributors:
Raj Rajkumar
Andre Platzer
Edmund M. Clarke
Paul Rybski
John Dolan
David Wettergreen
Paolo Zuliani
CPS Domains
SCADA Systems
Automotive
Embedded Software
Real-time Systems
Concurrency and Timing
Control
Platforms
Time Synchronization
Systems Engineering
Critical Infrastructure
Real-Time Coordination
Wireless Sensing and Actuation
Transportation
Validation and Verification
CPS Technologies
Foundations
National CPS PI Meeting 2012
2012
Session 2: Technology for CPS
Presentation
