The meeting minutes from initial BoF session have been posted

Good morning, Birds of a Feather:

Yesterday, Chris vanBuskirk sent you guidance on getting started with the virtual community concerning certifiable CPSs.

Please review the powerpoint presentation of the Aug 11 proceedings for recording accuracy.

Post your suggested corrections as comments on that file.

In accordance with the ground rules set up for the BoFs at the CPS PI meeting, we would like to continue discussion of the topics on line.

We had started many threads of discussion on the night of Aug 11, which could be set up as Forums, e.g:

Defining the language of discourse for the SIG, e.g.:

·         Certification

·         Verification

·         Safety requirements

Elaborating the research areas and issues identified on Aug 11,e .g.:

1. Management of complexity

2. Mixed-criticality (ref related AFRL project)

3. Nexus with security and other requirements

4. Assumptions about humans (part of the environment) interacting with the system

5. Industry standards: Is there a gap with the underlying science? Is it growing? international certifications

6. Ability to reuse evidence, e.g. previously verified  component, with scientific basis

7. How does the “safety demonstration” change over time?

8. Tool support?

9. The notion of software reliability? Is it even the right framework for thinking about software?

Even though the virtual community is supposed to be self-organizing, we will need a discussion leader or organizer or spark plug for each forum.

Please let me know which forums you would like to seed and nurture.

Then, I will work with you to explore how we can grow it.

Chris vanBuskirk will help us learn how to use the CPS-VO facility. Please let him know of any usage difficulty.