Certification

Systems that determine, based on the principles of science, engineering and measurement theory, whether an artifact satisfies accepted, well-defined and measurable criteria.
event

Visible to the public  SCC Workshop #12
Oct 28, 2013 12:00 am - Oct 29, 2013 11:45 pm EDT

Software Certification Consortium - Workshop #12

October 28 - 29, 2013 - NRC Headquarters - Rockville, Maryland

Registration

file

Visible to the public Managing Uncertainty in the Design of Safety-Critical Aviation Systems

Abstract:

The objective of this research is to create tools to manage uncertainty in the design and certification process of safety-critical aviation systems. The research focuses on three innovative ideas to support this objective. First, probabilistic techniques will be introduced to specify system-level requirements and bound the performance of dynamical components. These will reduce the design costs associated with complex aviation systems consisting of tightly integrated components produced by many independent engineering organizations.

file

Visible to the public Trustworthy Composition of Dynamic App-Centric Architectures for Medical Application Platforms

Abstract:

Medical devices are typically developed as stand-alone units. Current industrial Verification and Validation (V&V) tech- niques primarily target stand-alone systems. Moreover, the US Food and Drug Administration's (FDA) regulatory clearance processes are designed to approve such devices that are integrated by a single manufacturer with complete control over all components.

file

Visible to the public Assuring the Safety, Security and Reliability of Medical Device Cyber Physical Systems

Abstract:

Recent years have seen medical devices go from being monolithic to a collection of integrated systems. Modern medical device systems have thus become a distinct class of cyber-physical systems called Medical Cyber Physical Systems (MCPS), featuring complex and close interaction of sophisticated treatment algorithms with the physical aspects of the system, and especially the patient whose safety is of the utmost concern. The goal of this project is to develop a new paradigm for the design and implementation of safe, secure, and reliable MCPS, which includes:

file

Visible to the public Bringing the Multicore Revolution to Safety-Critical Cyber-Physical Systems

Abstract:

Multicore platforms have the potential of revolutionizing the capabilities of embedded cyber-physical systems but lack predictability in execution time due to shared resources. Safety-critical systems require such predictability for certification. This research aims at resolving this multicore "predictability problem.'' It will develop methods that enable to share hardware resources to be allocated and provide predictability, including support for real-time operating systems, middleware, and associated analysis tools.

file

Visible to the public A Cyber-Physical Infrastructure for the "Smart City"

Abstract:

The project aims to establish a Cyber-Physical Infrastructure for urban environments and address fundamental problems that involve data collection, resource allocation, real-time decision making, safety, and security.

file

Visible to the public Trust and Certification of Autonomous Systems

Abstract:

As technology pushes automation to greater degrees of autonomy, the verification and validation burden becomes more cost and time prohibitive. It has been well established that, as stated in AF Technology Horizons 2010, "It is possible to develop systems having high levels of autonomy, but it is the lack of suitable V&V methods that prevents all but relatively low levels of autonomy from being certified for use." This increased move towards further levels of autonomy has brought the certification need to a national level.

forum

Visible to the public RFC: Nuclear Regulatory Commission

NRC invites the public to review and engage the issues layed out in their evolving draft research information letter (RIL)-1101 "Technical basis to review hazard analysis of digital safety systems". Please join the discussion at the Assurance Case Research Group's online forum.