Untitled - nitrd

More documents

Recommendations

Info

PREPRINT COPYinteract with the physical world, with components networked at every scale, and computing deeply embedded inevery physical component, possibly even in materials. The computational core is an embedded system, usuallydemands real-time response, and is often distributed. The behavior of CPS is a fully integrated hybridization ofcomputational, physical, and human interaction – NSF, AFRL, ARO, NSA, NIST, NASA, FAA, FDAEmerging Frontiers in Research Innovation (EFRI): New focus on advances in sensing and dynamic control ofengineered systems; biosensing and bioactuation – NSFCyber-enabled Discovery and Innovation (CDI): Continuing focus to include software for tomorrow’s complexsystems, including CPS; address challenges of large-scale interacting systems, investigate their non-linearinteractions and aggregate or emergent phenomena to better predict system and decision-making capabilitiesabout complex systems – NSFHigh-confidence systems and foundations of assured computing: Methods and tools for modeling, measuring,analyzing, evaluating, and predicting performance, correctness, efficiency, dependability, scalability, and usabilityof complex, real-time, distributed, and mobile systems; high-confidence platforms for sensing and control;virtualization, architectures, components, composition, and configuration; systems-of-systems governance,engineering, analysis and testing of software and hardware; specification and synthesis, programming languagesemantics, and computational models; advance tools design, development, V&V, and analysis for dependablecomputing; techniques for assuming developed applications are free from malware and vulnerabilities – NSF,OSD, AFRL, AFOSR, ARO, NSA, NIST, NASA, FDAInformation assurance requirements: Methods and tools for constructing, analyzing security structures such asmanagement architectures and protocols; assurance technologies for cross-domain creation, editing, and sharingof sensitive information in collaboration environments that span multiple security levels; assured compilation ofcryptographic designs and specifications to platforms of interest – NSA; cross-enterprise document sharing inelectronic health systems, conformance measurements for health information networks – NISTFlight Critical System Software Initiative (FCSSI): Continuation of applied research (Mixed CriticalityArchitecture Development, a follow-on to development of designing for certification requirements for embeddedsystems); methods for V&V to certification focus; infinite state systems – AFRL, NSF with other DoD Serviceresearch organizations, NSA, NASAStandards and test methods for intelligent industrial control systems security (ICS) and networks:Approaches to balancing safety, security, reliability, and performance in SCADA and other ICS used inmanufacturing and other critical infrastructure industries (e.g., water, electric power, oil & gas, chemicals,pharmaceuticals, food & beverage, materials processing); ensuring performance and interoperability of factoryfloor network communication devices and systems; leading the NIST Smart Grid Industrial-to-Grid DomainExpert Working Group to achieve interoperability of Smart Grid devices – NISTVerification Grand Challenge: R&D to develop deployable assurance technologies; annual conference on verifiedsoftware and roadmap – NSA, NSFPlanning and Coordination Supporting RequestNational Research Workshop Series: Academic, industry, and government stakeholder workshops to identify newR&D for building 21 st century CPS technologies for life-, safety-, and mission-critical applications; topicsinclude:– High Confidence Medical Device CPS – NSF, NSA, NIST, FDA– Future Energy CPS – NSF, NSA, NIST– High Confidence Transportation CPS: Automotive, Aviation, and Rail – NSF, AFRL, NSA, NIST,NASA with DOT, FAA, FDA, NTSB– CPS: Closing the Loop (Part of the IEEE/ACM Embedded Systems Week Conference) – NSF– CPS Week (Theme of the IEEE Real-Time and Embedded Applications Symposium – NSF, AFRL,NSA, NIST, NASA– High Confidence Automotive CPS (2008) – NSF, NIST, FDA, NTSB– Verified Software, Theories, Tools, and Experiments (VSTTE) Workshop – NSA– Static Analysis Tools Exposition (SATE): Annual summit on software security for vendors, users, andacademics – NIST, NSA, NSF with DHSSoftware Assurance Metrics and Tool Evaluation: Annual workshop for users and developers to compareefficacy of techniques and tools; develop vulnerability taxonomies – NIST, NSANITRD Supplement to the President’s FY 2010 Budget 15
PREPRINT COPYNinth Annual HCSS Conference: Showcasing of promising research to improve system confidence – NSA withNSF, ONR, NASA, FAAMixed Criticality Architecture Requirements (MCAR) Birds of a Feather and Workshop: Phase III of systemsrequirements for design for certification – AFRL, NSF with other DoD Service research organizations, NSA,NASA, FAA, and NTSBBiomedical imagery: Development of technical standards for change measurements in patient therapeuticapplications – NIH, NIST, FDA, CMSStandards and software assurance metrics for SCADA and ICS: Collaborative development activity – NIST,DOE (OE); ICS procurement language specification project – NIST, DOE (OE)Modeling Synergies in Large Human-Machine Networked Systems (2008 MURI) – AFRLScholar-in-Residence Cooperative Program – Continuing interagency partnership to investigate emergingscientific and engineering trends for the certification of medical device technologies – NSF, FDACooperative proposal evaluation – NSF, AFRL, NSA, NIST, NASAAdditional 2009 and 2010 Activities by AgencyNSF: CISE and ENG directorates’ joint research program addressing challenges in three CPS themes (Foundations;Methods and Tools; and Components, Run-time Substrates, and Systems); ongoing core research in softwarefoundations, communications and information foundations, and computer systems research (CSR)NIH: Assurance in medical devices such as pulse oximeters, cardio-exploratory monitors for neonates;telemedicine; computer-aided detection and diagnosis; computer-aided surgery and treatment; neural interfacetechnologies such as cochlear implants, brain-computer interfacesAFRL: Design methods, tools for safety and security certification of onboard aircraft embedded systems operatingin a system-of-systems environment (e.g., UAVs); emphasis on mixed criticality (air safety combined withsecurity) interdependencies requiring deep interaction, integration of hardware and software componentsARO: Software/system prototyping, development, documentation, and evolution; virtual parts engineering research;reliable and secure networked embedded systems; reliable and effective mechanisms to monitor and verifysoftware execution statusNSA: Assured cryptographic implementations (software and hardware); protocol analysis and verification; domainspecificworkbench developments (interpreters, compilers, verifiers, and validators); assured content managementand collaboration services; assured implementation, execution of critical platform components and functionalityNIST: Cross-enterprise document sharing; computer forensics tool testing, National Software Reference Library(funded by DOJ/NIJ); software assurance metrics, tools, and evaluation, National Vulnerability Database;software assurance forum; Internet infrastructure protection; seamless mobility; trustworthy information systems;mathematical foundations of measurement science for information systems; ongoing standards and test methodsfor industrial control systems and networks; test methods for Voluntary Voting System GuidelinesNASA: Aeronautics safety R&D with new emphasis enabling technologies for software health management,integrated vehicle health management, integrated intelligent flight deck, and integrated resilient aircraft control;enabling V&V technologies for NextGen airspace systems for separation assurance and super-density programs;exploration systems research in reliable software technologies (automated testing, auto-coding, formal V&V)DOE/OE: Next Generation Control Systems (scaleable, cost-effective methods for secure communication betweenremote devices and control centers; cost-effective security solutions for new architecture designs andcommunication methods; risk analysis; National SCADA Test Bed; secure SCADA communications protocol;middleware for inter-utility communications and cyber security; virtual architecture modeling toolsFAA: Evaluate COTS technology and V&V techniques in complex and safety-critical systems for regulatorycompliance and intended performanceFDA: Formal methods-based design (assured verification, device software and system safety modeling andcertification, component composition, forensics analysis, engineering tool foundations); architecture platform,middleware, resource management (plug-and-play, vigilance and trending systems); component-basedfoundations for accelerated design and verifiable system integration16 NITRD Supplement to the President’s FY 2010 Budget
Page 3 and 4: PREPRINT COPY
Page 6: PREPRINT COPYTable of ContentsIntro
Page 10 and 11: PREPRINT COPYEPA: Applications in c
Page 13 and 14: PREPRINT COPYCyber Security and Inf
Page 15: PREPRINT COPYPlanning and Coordinat
Page 20 and 21: PREPRINT COPYLarge-scale data flows
Page 24 and 25: PREPRINT COPYSocial, Economic, and
Page 26 and 27: Software Design and Productivity (S
Page 28 and 29: PREPRINT COPYAgency NITRD Budgets b
Page 30 and 31: NITRD Program Budget AnalysisPREPRI
Page 32 and 33: PREPRINT COPYincrease of $50 millio
Page 34 and 35: PREPRINT COPYParticipation in the N
Page 36 and 37: I/O - Input/outputIARPA - Intellige
Page 38 and 39: PREPRINT COPYNational Coordination

Untitled - nitrd

Create successful ePaper yourself

Delete template?

Save as template?