Systems that determine, based on the principles of science, engineering and measurement theory, whether an artifact satisfies accepted, well-defined and measurable criteria.
file
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
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
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:
file
Abstract:
The project aims to establish a Cyber-Physical Infrastructure for urban environments and address fundamental problems that involve data collection, resource allocation, real-time decision making, safety, and security.
forum
Submitted by Anonymous on Tue, 11/04/2014 - 6:07pm
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
Submitted by Anonymous on Fri, 10/24/2014 - 12:02pm
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
Submitted by Anonymous on Fri, 10/24/2014 - 11:59am
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:
forum
Submitted by Anonymous on Mon, 10/20/2014 - 3:28pm
The 7th NASA Formal Methods Symposium
http://www.NASAFormalMethods.org/nfm2015
27 - 29 April 2015
Pasadena, California, USA
Paper Submission: 10 Nov 2014
THEME
The widespread use and increasing complexity of mission- and safety-critical systems require advanced techniques that address their specification, verification, validation, and certification.
