Certification

Systems that determine, based on the principles of science, engineering and measurement theory, whether an artifact satisfies accepted, well-defined and measurable criteria.
file

Visible to the public CPS: Synergy: Collaborative Research: Managing Uncertainty in the Design of Safety-Critical Aviation Systems

The objective of this research is to create tools to manage uncertainty in the design and certification process of safety-critical aviation systems. The research focuses on three innovative ideas to support this objective. First, probabilistic techniques will be introduced to specify system-level requirements and bound the performance of dynamical components. These will reduce the design costs associated with complex aviation systems consisting of tightly integrated components produced by many independent engineering organizations.

file

Visible to the public CPS: Synergy: Trustworthy Composition of Dynamic App-Centric Architectures for Medical Application Platforms

Abstract:

Medical devices are typically developed as stand-alone units. Current industrial Verification and Validation (V&V) tech- niques primarily target stand-alone systems. Moreover, the US Food and Drug Administration's (FDA) regulatory clearance processes are designed to approve such devices that are integrated by a single manufacturer with complete control over all components.

file

Visible to the public Credible Autocoding and Verification of Embedded Software (CrAVES)

Abstract:

The CrAVES project seeks to lay down intellectual foundations for credible autocoding of embedded systems, by which graphical control system specifications that satisfy given open-loop and closed-loop properties are automatically transformed into source code guaranteed to satisfy the same properties. The goal is that the correctness of these codes can be easily and independently verified by dedicated proof checking systems.

file

Visible to the public Assuring the Safety, Security and Reliability of Medical Device Cyber Physical Systems

Recent years have seen medical devices go from being monolithic to a collection of integrated systems. Modern medical device systems have thus become a distinct class of cyber-physical systems called Medical Cyber Physical Systems (MCPS), featuring complex and close interaction of sophisticated treatment algorithms with the physical aspects of the system, and especially thepatient whose safety is of the utmost concern. The goal of this project is to develop a new paradigm for the design and implementation of safe, secure, and reliable MCPS, which includes:

forum

Visible to the public CfP: NFM 2015 - deadline extension: Nov 18

CALL FOR PAPERS

*** Deadline extension: Nov 18, 2014 ***

The 7th NASA Formal Methods Symposium

http://www.NASAFormalMethods.org/nfm2015

27 - 29 April 2015
Pasadena, California, USA

THEME

The widespread use and increasing complexity of mission- and safety-critical systems require advanced techniques that address their specification, verification, validation, and certification.

event

Visible to the public  RTA 2015
Jun 29, 2015 8:00 am - Jul 01, 2015 5:00 pm CEST

26th International Conference on REWRITING TECHNIQUES AND APPLICATIONS
29 June - 1 July, 2015, Warsaw, Poland
co-located with TLCA, as part of RDP 2015
http://rdp15.mimuw.edu.pl/

RTA is the major forum for the presentation of research on all
aspects of rewriting. Topics of interest include:

forum

Visible to the public RTA 2015 - CALL FOR PAPERS

RTA 2015 - CALL FOR PAPERS
26th International Conference on REWRITING TECHNIQUES AND APPLICATIONS
29 June - 1 July, 2015, Warsaw, Poland
co-located with TLCA, as part of RDP 2015
http://rdp15.mimuw.edu.pl/

RTA is the major forum for the presentation of research on all
aspects of rewriting. Topics of interest include: