[aadl]: AVSI SAVI Seminar Announcement - Update

[Kishor S. Trivedi]

David

I am at a hotel. Is this a toll free number. If not I will be paying a 
huge toll charge.

Please let me know.

On Wed, 30 Oct 2013, David Redman wrote:

> 
> UPDATE
>
> 
> 
> The next SAVI Webinar is scheduled for Monday, 04
> November 2013 at 10:00 AM Central US Time. 
>
> 
> 
> Note that SAVI Seminars are open so feel free to forward
> this email to others that may be interested.
>
> 
> 
> Title: An Architecture-centric Approach to Scalable
> Reliability and Safety Analysis
>
> 
> 
> Panelists: 
> 
> Peter Feiler, Software Engineering Institute at Carnegie
> Mellon University
> 
> Steve Vestal, Adventium Labs
> 
> Myron Hecht, Aerospace Corporation
> 
> Kishor Trivedi, Duke University
>
> 
> 
> Abstract:
>
> 
> 
> In this presentation we discuss an approach for automated
> safety and reliability analysis driven by annotated
> architecture models. Specifically we will discuss
> leveraging compositional abstraction in SAE AADL and the
> Error Model V2 (EMV2) Annex to support analysis of large
> scale systems through generation and analysis of Markov
> Chain and Petri net models.
>
> 
> 
> This will be an interactive panel discussion. Panelists
> will review how the EMV2 and the generation in OSATE
> intends to address scalability, but all participants are
> encouraged to relate how they are using Markov Chains and
> Petri nets and how they tackle the scalability issue.
>
> 
> 
> Meeting Details:
>
> 
> 
> Topic: SAVI Seminar: An Architecture-centric Approach to
> Scalable Reliability and Safety Analysis 
> 
> Date: Monday, November 4, 2013 
> 
> Time: 10:00 am, Central Standard Time (Chicago,
> GMT-06:00) 
> 
> Meeting Number: 809 342 497 
> 
> Meeting Password: (This meeting does not require a
> password.) 
>
> 
> 
> -------------------------------------------------------
?? 
> ?To start or join the online meeting 
> 
> -------------------------------------------------------
?? 
> ?Go tohttps://avsimeetings.webex.com/avsimeetings/j.php?ED=237
> 827542&UID=497406302&RT=MiM3 
>
> 
> 
> -------------------------------------------------------
?? 
> ?Audio conference information 
> 
> -------------------------------------------------------
?? 
> ?To receive a call back, provide your phone number when
> you join the meeting, or call the number below and enter
> the access code. 
> 
> US TOLL FREE: +1-855-749-4750 
> 
> US TOLL: +1-415-655-0001 
> 
> Global call-in numbers:https://avsimeetings.webex.com/avsimeetings/globalcallin
> .php?serviceType=MC&ED=237827542&tollFree=1 
> 
> Toll-free dialing restrictions:
> http://www.webex.com/pdf/tollfree_restrictions.pdf 
>
> 
> 
> Access code: 809 342 497 
>
> 
> 
> -------------------------------------------------------
?? 
> ?For assistance 
> 
> -------------------------------------------------------
?? 
> ?1. Go to https://avsimeetings.webex.com/avsimeetings/mc 
> 
> 2. On the left navigation bar, click "Support". 
> 
> To update this meeting to your calendar program (for
> example Microsoft Outlook), click this link: 
> 
> https://avsimeetings.webex.com/avsimeetings/j.php?ED=237
> 827542&UID=497406302&ICS=MIU&LD=1&RD=2&ST=1&SHA2=AAAAAoq
> EKvuALGSbyV1UYaK/PvDzx77MhJYVHOI8n4hcc5YU 
>
> 
> 
> To check whether you have the appropriate players
> installed for UCF (Universal Communications Format) rich
> media files, go tohttps://avsimeetings.webex.com/avsimeetings/systemdiagno
> sis.php. 
>
> 
> 
> http://www.webex.com 
>
> 
> 
> CCM:+14156550001x809342497# 
>
> 
> 
> IMPORTANT NOTICE: This WebEx service includes a feature
> that allows audio and any documents and other materials
> exchanged or viewed during the session to be recorded.
> You should inform all meeting attendees prior to
> recording if you intend to record the meeting. Please
> note that any such recordings may be subject to discovery
> in the event of litigation. 
>
> 
> 
> This email is sent to the avsi-savi-seminars listserv and
> select others
>
> 
> 
> New subscribers can join the list by sending email
> to listserv at listserv.tamu.edu and in the BODY put
>
>    SUBSCRIBE avsi-savi-seminars firstname lastname
>
> 
> 
> If you want to unsubscribe, send a message
> to listserv at listserv.tamu.edu and in the BODY put
>
>    UNSUB avsi-savi-seminars
>
> 
> 
> --
> 
> cid:image001.png at 01CED4E5.E5736F70
> 
> Dr. David Redman, Director
> 
> p:  +1-979-862-2316
> 
> 3126 TAMU – TSHB #127
> 
> f:   +1-979-339-4079
> 
> College Station, TX 77843-3126
> 
> m: +1-979-218-2272
> 
> www.avsi.aero
> 
> e: dredman at avsi.aero
>
> 
>
> 
> 
> 
>

-- 

Kishor Trivedi
Fitzgerald S. Hudson Professor of Electrical and Computer Engineering
Pratt School of Engineering
Box 90291
203 Hudson Hall
Duke University
Durham NC 27708-0291
Ph: (919) 660-5269
Fax: (919) 660-5293
URL: www.ee.duke.edu/~ktrivedi