[Club2] Invitation: Towards the Formal Analysis of Cyber-Physical Systems usi... @ Wed Feb 17, 2016 14:00 - 14:45 (Club2)

[julianbrunner at gmail.com]

You have been invited to the following event.

Title: Towards the Formal Analysis of Cyber-Physical Systems using Theorem  
Proving
Speaker: Sofiene Tahar

Organization:
Research Chair in Formal Verification of System-on-Chip
Department of Electrical & Computer Engineering
Concordia University, Montreal, Quebec, Canada

Abstract:
Formal methods have been classically used for the verification of software,  
digital hardware or high level protocols. In most cases, the verification  
deals with an abstraction of the underlying physical system (e.g., circuit  
verification does not model semi-conductors). On the other hand formal  
verification has been focusing on functional aspects rather than  
performance and qualitative issues. In this talk, we will display current  
activities carried out by our group at Concordia University  
(http://hvg.ece.concordia.ca), on the verification of cyber-physical  
systems. Namely, (1) the performance analysis of probabilistic and  
statistical properties; (2) the verification of reliability, security and  
privacy issues; and (3) the formal analysis of physical devices, in  
particular, optical systems at the ray, wave, electromagnetic and quantum  
abstraction levels. We will use the case study of photonics systems to  
explain how these concepts and their underlying mathematical and physical  
principles can be formalized (in higher-order logic) as well as the  
limitations of this approach.

Biography:
Sofiene Tahar received in 1990 the Diploma degree in computer engineering  
from the University of Darmstadt, and in 1994 the Ph.D. degree  
with "Distinction" in computer science from the University of Karlsruhe.  
Currently he is Professor in the Department of Electrical and Computer  
Engineering at Concordia University, Montreal, where he is holding a  
Research Chair in Formal Verification of System-on-Chip. He has made  
contributions in the areas of formal methods, system-on-chip verification,  
analog and mixed signal circuit verification, optical systems verification  
and reliability analysis of systems. Dr. Tahar is founder and director of  
the Hardware Verification Group (http://hvg.ece.concordia.ca) at Concordia  
University. He is member of the Order of Engineers of Quebec, Senior member  
of IEEE and Senior member of ACM.
When: Wed Feb 17, 2016 14:00 - 14:45 Berlin
Where: MI 00.09.038 (Turing)
Calendar: Club2
Who:
     * julianbrunner at gmail.com - creator
     * club2 at mailbroy.informatik.tu-muenchen.de
     * tahar at encs.concordia.ca

Event details:  
https://www.google.com/calendar/event?action=VIEW&eid=Z3EyZDMzcHNndDliaWY5dXVuZ3FhaWVlamsgY2x1YjJAbWFpbGJyb3kuaW5mb3JtYXRpay50dS1tdWVuY2hlbi5kZQ&tok=NTIjc2U2ZWJlM3RvZmY0Y2g1bm11bmlibTVtOThAZ3JvdXAuY2FsZW5kYXIuZ29vZ2xlLmNvbTYzNTk3ZTE0ZTg4YTY2MjNhYmZhMGM2MWZkMzhiZjg4ZmVkOWNhNGY&ctz=Europe/Berlin&hl=en

Invitation from Google Calendar: https://www.google.com/calendar/

You are receiving this courtesy email at the account  
club2 at mailbroy.informatik.tu-muenchen.de because you are an attendee of  
this event.

To stop receiving future updates for this event, decline this event.  
Alternatively you can sign up for a Google account at  
https://www.google.com/calendar/ and control your notification settings for  
your entire calendar.

Forwarding this invitation could allow any recipient to modify your RSVP  
response. Learn more at  
https://support.google.com/calendar/answer/37135#forwarding
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/club2/attachments/20160107/46b3fd53/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: text/calendar
Size: 3645 bytes
Desc: not available
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/club2/attachments/20160107/46b3fd53/attachment-0001.ics>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: invite.ics
Type: application/ics
Size: 3714 bytes
Desc: not available
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/club2/attachments/20160107/46b3fd53/attachment-0001.bin>