Architecting to the Edge using a Matrix – Edwin Lee, Raytheon
Edwin Lee provided a presentation and facilitated an interactive discussion on “Open System and Open Architecture” that, along with “Architecting to the Edge” still need further definition and elaboration. Edwin, using architecture and systems engineering concepts, developed a matrix to properly "contain” the RT&ES Forum’s activities, demonstrating where our work fits in the big picture and illustrating how we can make use of this perspective to increase understanding of the RT&ES Forum connection in the larger landscape of existing open architectures, standards, models and modeling languages, frameworks, and tools:
TOGAF to the Platform Going Forward – Ed Roberts, Elparazim
The RT&ES Forum is exploring the value and effort that it will take to develop a high-assurance model based on TOGAF 9 that could be applied to high-assurance environments in general, and that could be re-used and tailored to fit a particular high-assurance environment, such as a specific real-time and embedded systems environment, or a specific MILS architecture. Ed Roberts provided an overview on extending TOGAF to the Platform:
Ed Roberts provided a couple of presentations that focused on why modeling and tools work is intended to make TOGAF and high-assurance proof cases easier to achieve and more widely adopted – and how creating models that apply to vertical markets and environments could be re-used and easily tailored to fit the needs of a vertical market in general and a specific organization as required (e.g., a model for high-assurance architects):
Assurance Evidence Metamodel – Ed Roberts
Ed Roberts provided a good look at defining assurance cases and demonstrated the important part that assurance notation plays in the development and understanding of assurance cases:
Proposed Scheme for High-Assurance Independent Evaluation and Certification of High-Assurance Components and Systems – Rance DeLong for The Open Group
Rance De Long provided a summary of the Commercial Evaluation and Certification work being explored by The Open Group in designing a commercial evaluation and certification program for high-assurance components and systems. It is expected to include assurance cases that make claims with arguments and evidence and will involve the explicit and pervasive use of formal methods to increase rigor. It is intended to be less onerous but more robust than existing programs, and could be utilized to fill some of the gaps arising out of the restructuring of current certification paradigms. A major objective will be for international recognition of high-assurance results.
The next steps are to continue to evolve the current paper/proposal, further vet the concept with government and industry, and to begin to build a strong set of supporters and a business case for assuring that others see the value and are willing to invest time, resources, or funding in the outcome.
Policy Enforcement using a MILS Architecture – Dr. Dylan McNamee, Galois
Dylan McNamee provided a presentation that discussed the value of using policy to enforce the secure use of a MILS architecture, illustrating how to use infrastructure and enforcement points to achieve the desired results, and showing at the same time the flexibility of a MILS architecture: