[aadl]: AVSI SAVI Seminar Announcement - Update

Tue Oct 29 22:53:47 EDT 2013

Hello Dave

I think we can make it.

Kishor

This will be 8 AM Pacific.  I may cut a little into ISSRE.

Regards

Myron Hecht
Sr. Project Leader
The Aerospace Corporation
myron.hecht at aero.org
310-336-3521

From:   David Redman <dredman at tamu.edu>
To:     SAVI Listserv <avsi-savi-seminars at listserv.tamu.edu>, 
Cc:     "sae-aadl-users at lists.sei.cmu.edu" 
<sae-aadl-users at lists.sei.cmu.edu>
Date:   10/29/2013 05:55 PM
Subject:        AVSI SAVI Seminar Announcement - Update

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 to 
https://avsimeetings.webex.com/avsimeetings/j.php?ED=237827542&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=237827542&UID=497406302&ICS=MIU&LD=1&RD=2&ST=1&SHA2=AAAAAoqEKvuALGSbyV1UYaK/PvDzx77MhJYVHOI8n4hcc5YU 

To check whether you have the appropriate players installed for UCF 
(Universal Communications Format) rich media files, go to 
https://avsimeetings.webex.com/avsimeetings/systemdiagnosis.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

--

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

-------------- next part --------------
HTML attachment scrubbed and removed
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: image/png
Size: 15104 bytes
Desc: not available
URL: <http://lists.sei.cmu.edu/pipermail/sae-aadl-users/attachments/20131029/5e4bcf6e/attachment-0001.png>