Electronics designed for use in aerospace vehicles.
event
Submitted by Anonymous on Mon, 07/20/2015 - 11: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.
event
Submitted by Anonymous on Wed, 07/08/2015 - 5:43pm
The 5th International IEEE Workshop on Software Certification (WoSoCer 2015)
November 2-5, 2015, Washington DC, USA
HIGHLIGHTS
forum
Submitted by Anonymous on Mon, 06/29/2015 - 3: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.
forum
Submitted by Anonymous on Tue, 06/23/2015 - 10:45am
13th IEEE/IFIP International Conferences on Embedded and Ubiquitous Computing (EUC-2015)
Porto, Portugal | October 21-23, 2015. | http://www.fe.up.pt/euc2015
event
Submitted by Anonymous on Fri, 06/19/2015 - 12:54pm
1st International ESWEEK Workshop on Resiliency in Embedded Electronic Systems (REES 2015)
With the sheer complexity of hardware and software systems, resiliency became a major challenge in embedded systems design, manufacturing, and operation. For industrial applications several standards such as ISO26262, IEC61508 or DO-254 prescribe a well-defined level of reliability, robustness, and fault-tolerance.
forum
Submitted by Anonymous on Fri, 06/19/2015 - 12:47pm
1st International ESWEEK Workshop on Resiliency in Embedded Electronic Systems (REES 2015)
October 8th, 2015 | Amsterdam, The Netherlands
Extended abstract deadline: July 28, 2015
More information: http://www.edacentrum.de/rees
event
Submitted by Anonymous on Wed, 04/29/2015 - 5:24pm
4th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2015)
(satellite workshop of ICFEM 2015)
*** Science of Computer Programming special issue ***
*** Springer CCIS proceedings ***
Aims and Scope:
There is an increasing demand for using formal methods to validate and verify safety-critical systems in fields such as power generation and
forum
Submitted by Anonymous on Wed, 04/29/2015 - 2:46pm
4th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2015)
(satellite workshop of ICFEM 2015)
