Airplane and space systems.
forum
Submitted by Anonymous on Fri, 12/04/2015 - 12:33pm
CALL FOR PAPERS
The 8th NASA Formal Methods Symposium (NFM 2016)
http://crisys.cs.umn.edu/nfm2016 | June 07 - June 09 2016
McNamara Alumni Center | University of Minnesota | 200 Oak Street S.E., Minneapolis, MN 55455
Theme of the Symposium
event
Submitted by Anonymous on Tue, 11/10/2015 - 12:43pm
project
Submitted by Samuel Guyer on Thu, 08/27/2015 - 12:29pm
event
Submitted by Anonymous on Tue, 08/25/2015 - 2:43pm
3rd International workshop on Mixed Criticality Systems (WMC)
at the IEEE Real-Time Systems Symposium
WORKSHOP
The purpose of WMC is to share new ideas, experiences and information about research and development of Mixed Criticality real-time systems.
THEMES
forum
Submitted by Anonymous on Tue, 08/25/2015 - 2:39pm
CALL FOR PAPERS
3rd International workshop on Mixed Criticality Systems (WMC)
at the IEEE Real-Time Systems Symposium
event
Submitted by Anonymous on Mon, 07/20/2015 - 10:02am
SAE 2016 WORLD CONGRESS
The SAE 2016 World Congress assembles the best talent in the automotive industry; experts, management teams, engineers, and executives alike gather to collaborate and address current challenges, seek new windows for discovery and exploration, and promote the multitude of opportunities fundamental for a successful future. This year's theme, Powering Possibilities, represents a world of untapped discoveries in the automotive industry. Join us at SAE 2016 World Congress.
forum
Submitted by Anonymous on Mon, 06/29/2015 - 2:43pm
08 June, 2015 | ONERA -- CENTRE DE TOULOUSE | Information Processing and Modelling Department
file
Abstract: Developing cyber-physical systems involves multiple engineering domains, e.g., timing, logical correctness, thermal resilience, and mechanical stress. In today's industrial practice, these domains rely on multiple analyses to obtain and verify critical system properties. Domain differences make the analyses abstract away interactions among themselves, potentially invalidating the results. Specifically, one challenge is to ensure that an analysis is never applied to a model that violates the assumptions of the analysis.
file
Abstract: Development of modern Cyber-Physical Systems (CPS) relies on a number of analysis tools to verify critical properties. The Architecture Analysis and Design Language (AADL) standard provides a common architectural model to which multiple CPS analyses can be applied. Unfortunately, interaction between these analyses can invalidate their results. In this paper we present ACTIVE, a tool developed within the OSATE/AADL infrastructure to solve this problem.
