Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
Industry
The document was issued by industry or industrial organization.
file
SPARK 2014: Formal Program Verification For All
Submitted by yannick.moy on Tue, 04/22/2014 - 10:41am. Contributor:
Yannick Moy
Presented as part of the
2014 HCSS conference
.
Abstract:
AdaCore
formal verification
program contracts
proof and test
National HCSS Conference 2014
Industry
Presentation
HCSS'14
Specifications and Requirements (HCSS'14)
file
High-Performance Regular Expression Processing for Cross-Domain Systems with High Assurance Requirements
Submitted by brad_martin on Tue, 04/22/2014 - 9:47am. Contributors:
David Hardin
Konrad Slind
Presented as part of the
2014 HCSS conference
.
Abstract:
cross-domain systems
Designed-In Security
Regular expressions
Rockwell Collins
Theorem Proving
Industry
Presentation
HCSS'14
Specifications and Requirements (HCSS'14)
file
Assurance-Directed Design of Cyber-Physical Systems
Submitted by Natarajan Shankar on Thu, 02/20/2014 - 11:07am. Contributors:
Devesh Bhatt
Gabor Madl
David Oglesby
Sam Owre
Natarajan Shankar
CPS Domains
Automotive
Certification
Design Automation Tools
Transportation
Validation and Verification
CPS Technologies
Foundations
assurance
certification
formal verification
integration
tool
CFP Submissions
CFP Paper Submissions
2014 National Workshop on Transportation CPS
2014
Industry
Position Paper
Publications
file
Securing the Future of Transportation
Submitted by ulf on Thu, 02/20/2014 - 11:07am. Contributor:
Ulf Lindqvist
CPS Domains
Automotive
Transportation
CPS Technologies
Foundations
Aerospace
Cybersecurity
rail
Transportation
CFP Submissions
CFP Paper Submissions
2014 National Workshop on Transportation CPS
2014
Industry
Position Paper
Publications
file
An Operator-Based Approach to Autonomous Systems
Submitted by egriffor on Thu, 02/20/2014 - 11:06am. Contributor:
Edward Griffor
CPS Domains
Automotive
Transportation
CPS Technologies
Foundations
autonomy
cyber physical systems
fixed-point
monotone operator
CFP Submissions
CFP Paper Submissions
2014 National Workshop on Transportation CPS
2014
Industry
Position Paper
Publications
file
Automotive CPS Research Needs: Scalable, Dependable, Adaptive, Reconfigurable Fault-Tolerant Architectures
Submitted by Thomas Fuhrman on Thu, 02/20/2014 - 11:06am. Contributor:
Thomas Fuhrman
CPS Domains
Automotive
Architectures
Architectures
Control
Transportation
CPS Technologies
Foundations
dependability
dynamic
fail-operational
Fault-Tolerance
high-assurance
CFP Submissions
CFP Paper Submissions
2014 National Workshop on Transportation CPS
2014
Industry
Position Paper
Publications
file
The Need for an Application-Centric Networking Paradigm for Large Scale Transportation Cyber-Physical Systems
Submitted by yfallah on Thu, 02/20/2014 - 11:06am. Contributors:
Yaser P. Fallah
Hariharan Krishnan
CPS Domains
Automotive
Avionics
Communication
Control
Systems Engineering
Modeling
Transportation
Simulation
CPS Technologies
Foundations
automated crash avoidance
DSRC
safety systems
CFP Submissions
CFP Paper Submissions
2014 National Workshop on Transportation CPS
2014
Academia
Industry
Position Paper
Publications
file
Big Control in the Industrial Internet
Submitted by beckmann on Thu, 02/20/2014 - 11:06am. Contributor:
Benjamin Beckmann
CPS Domains
Automotive
Avionics
Control
Critical Infrastructure
Transportation
CPS Technologies
Foundations
industrial
internet
CFP Submissions
CFP Paper Submissions
2014 National Workshop on Transportation CPS
2014
Industry
Position Paper
Publications
file
Challenges of Applying Formal Methods to Automotive Control Systems
Submitted by kbutts on Thu, 02/20/2014 - 11:06am. Contributors:
Xiaoqing Jin
Jyotirmoy V. Deshmukh
James Kapinski
Koichi Ueda
Ken Butts
CPS Domains
Automotive
Transportation
Validation and Verification
CPS Technologies
Foundations
automotive controls
CFP Submissions
CFP Paper Submissions
2014 National Workshop on Transportation CPS
2014
Industry
Position Paper
Publications
file
Transportation CPS: Insights from Aviation on Major Challenges and Directions
Submitted by sampigethaya on Thu, 02/20/2014 - 11:06am. Contributors:
Krishna Sampigethaya
Radha Poovendran
CPS Domains
Avionics
Real-Time Coordination
Transportation
CPS Technologies
Foundations
air traffic control system
aviation
cyber physical security
Cybersecurity
NextGen
CFP Submissions
CFP Paper Submissions
2014 National Workshop on Transportation CPS
2014
Academia
Industry
Position Paper
Publications
« first
‹ previous
…
4
5
6
7
8
9
10
11
12
…
next ›
last »
