You are cordially invited to participate in the CPS Event Toward a Calculus for Logical Optimization of Trustworthy CPSs, jointly sponsored by Imperial College London and the US National Institute of Standards and Technology:

Date:                    11 December 2017

Time:                    8:30am to 4:00pm

Location:       Skempton Building, Room 064/a/b, Imperial College London, South Kensington Campus, London, SW7 2AZ, UK

Fee:                      There is no charge for participation

There are limited opportunities for participants to present (approx. 10 min) on their own work as it relates to measures of and reasoning over system trustworthiness, including safety and security and privacy and resilience and reliability. If you are interested in presenting, please respond, as soon as possible, and indicate your interest.

RSVP: Please reply by Nov. 27, 2017, if you plan to attend.

Michael Huth                                  Edward Griffor

Imperial College London             NIST


This event has two aims: to report on research undertaken toward a Calculus for Logical Optimization of Trustworthiness and other Aspects of Cyber Physical Systems, and to solicit feedback and identify collaboration opportunities for research in that space. The event will review the US NIST Framework for Cyber Physical Systems, especially how it supports the Trustworthiness Concern in the Design, Implementation, and Validation of Cyber Physical Systems. The event will also present how Ontologies and their Reasoning Capabilities can support such engineering activities through analyses can explore multiple concerns and their relationships both qualitatively and quantitatively, for example through the use of parameters or probabilities to inform risk management.


The event will consist of individual presentations and panel discussions on work related to measures of and reasoning over system trustworthiness, including safety, security, privacy, resilience and reliability.


Tentative Agenda:

  • Registration/Networking Coffee (8:30am to 9:00am)
  • Presentations (9:00am to 11:00am)
    • CPS Framework
    • Security and the Trustworthiness Aspect

Break (10am to 10:15 am)

    • Modeling the CPS Framework
  • Panel and Discussion (11am to 11:45am)

Lunch (11:45am to 12:30pm)

  • Presentations (12:30pm to 3:00pm)
    • Ontologies and Reasoning
    • CPS Framework and Trustworthiness Ontology
    • Translating UML and OWL

Break (1:45pm to 2:00pm)

    • Reasoning over Trustworthiness and Logical Optimization
  • Panel and Discussion (3:00pm to 3:45pm)
  • Closing (3:45pm to 4:00pm)



Coffee, tea, water, biscuits will be provided for breaks, and a packed lunch for the lunch break in or next to the meeting room to maximize discussions and networking.