The Real-time and Embedded Systems Forum - Documents

The Real-time and Embedded Systems Forum

You are here: > The Real-time and Embedded Systems Forum > Documents > Document details

Public level

Work Areas
Real-time Java
Real-time Operating System Profiles
Real-time Security
Modeling Performance
Safety Critical
Safety Critical Core Subscribers
Goal-Based Operations
Safety Critical Java Specification Development
Open Architecture for Real-time and Embedded Systems

Plato This web page uses Plato - The Open Group's web collaboration system.
Overview
Help
FAQs
Tutorial

Document details

Category:	Agenda Near Final
Title:	Toronto RTES Forum Agenda
Version:	Near Final
Description:	Watch for Updates/Minor Changes to include the detail time schedule. See below Format: PDF -- Click on the PDF for agenda Note: The JSR 302 Safety Critical RT Java Expert Group will meet 20-23 July at the Toronto Venue -- For details and invitation to participate only in the JSR 302 Expert Group meeting contact Doug Locke --. doug@douglocke.com POC for the RTES Forum -- for suggestions/comments contact Joe Bergmann j.bergmann@opengroup.org or telephone +1 610-506-1455
Document text:	Wiki Area
The Toronto RTES Forum meeting recap -- ---- Monday 20 July is focused Open Architecture with the theme 'Dependability through Assuredness' featuring presentations from the Department of Defense (Canada), the Modular Open Systems Approach from the US DoD and software assurance activities supporting the US Air Force Research Laboratory.In addition we will explore how to test for the key types of errors that are most exploited during cyber attacks. Finally we will look at what might be involved in transporting a TOGAF generated Architecture to the hardware and software platforms so as to take advantage of the open source tools being developed to support SAE's AADL and Formal Methods. This effort should result in a complete tool chain – requirements, high level architecture, down through the different architecture views, tie in to AADL at the platform (hardware and software), ability to move artifacts from one level to the next without translation, traceability back to the requirements at each level and with formal methods to provide sufficient evidence. ----- On Tuesday 21 July we will explore developing a Cyber Security Solution based on a MILS Architecture to include component integration, compositional certification, formal methods and a commercial approach to evaluation and certification. ------Wednesday 22 July will be MILS day with detailed updates on the progress being made. Included will be a look at the current SKPP to see if the use of multicore processors requires an update or a new SKPP. There will be an update on recent meetings with the NSA, NATO, EDA and the EC concerning the need for a commercial approach to evaluation and certification based on commercial PPs.---------Thursday morning 23 July will be dedicated to a Members meeting for the RTES Forum.---------Thursday afternoon 23 July will be the kick off for the Secure Mobile Architecture Work Group looking at specifications for real-time environments supporting SCADA, Medical Devices, Intelligent Transportation Systems and potential Assurance Protection Profiles.--------- Friday 24 July -- no meetingNote: The JSR 302 SC RT JAVA Expert Group will meet in parallel 20-23 July
Format:	WIKI (see Document text field) Owner ? You may update the document: otherwise use Version to record your changes.
Format:	PDF
Visibility:	Public
Status:	Final Update
Created by:	j.bergmann on 20-Jun-2009
Updated by:	j.bergmann on 19-Jul-2009
Archived:	No

| Legal Notices & Terms of Use | Privacy Statement | Top of Page

TplEngine: 2.0

(Cache Help? )