[aadl]: AVSI SAVI Seminar Announcement - Update

[David Redman]

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<mailto:listserv at listserv.tamu.edu?subject=SAVI%20Seminar%20Listserv&body=SUBSCRIBE%20avsi-savi-seminars%20firstname%20lastname> 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<mailto:listserv at listserv.tamu.edu?subject=SAVI%20Seminar%20Listserv&body=UNSUB%20avsi-savi-seminars> 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<http://www.avsi.aero>

e: dredman at avsi.aero<mailto:dredman at avsi.aero>




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