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
Model-Based Development
file
TQL-1 Qualification of a Model-Based Code Generator
Submitted by akarns on Tue, 01/26/2016 - 2:52pm. Contributor:
S Tucker Taft
Presented as part of the
2016 HCSS conference
.
Modeling
Foundations
DO-178C
DO-330
Model-Based Development
Simulink Code Generator
tool qualification
High Confidence Software and Systems Conference 2016
Presentation
HCSS 2016
profile
Shaukat Ali
Design Automation Tools
Communication
Embedded Software
Systems Engineering
Modeling
Health Care
Validation and Verification
Automated software verification
cps testing
Model-Based Development
file
Model-based Development of Cyber Physical Systems
Submitted by bharathpattipati on Thu, 02/20/2014 - 11:07am. Contributors:
Krishna Pattipati
Bharath Pattipati
R. Ghimire
Automotive
Model-Based Development
CFP Submissions
CFP Paper Submissions
2014 National Workshop on Transportation CPS
2014
Academia
Publications
file
Lessons from 20 Years of Industrial Formal Methods
Submitted by TimTh on Fri, 09/28/2012 - 10:07pm. Contributor:
Steve Miller
Avionics
Modeling
Science of Security
Flight Control
formal methods
Microprocessor
model checking
Model-Based Development
Rockwell Collins
Safety
security
Technology Transfer
Theorem Proving
Industry
Designed-In Security (HCSS'12)
