Systems able to process data as it comes in, typically without buffering delays.
event
Submitted by Anonymous on Mon, 02/15/2016 - 11:12am
10th International Workshop on Verification and Evaluation of Computer and Communication Systems
Tunis, Tunisia, October 6-7, 2016 | http://www.vecos-world.org
forum
Submitted by Anonymous on Fri, 02/12/2016 - 10:24am
CALL FOR PAPERS
5 July, 2016 | Toulouse, France | http://waters2016.inria.fr
a satellite workshop of the 28th Euromicro Conference on Real-Time Systems (ECRTS 2016)
event
Submitted by Anonymous on Fri, 02/12/2016 - 10:22am
7th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS 2016)
a satellite workshop of the 28th Euromicro Conference on Real-Time Systems (ECRTS 2016)
forum
Submitted by Anonymous on Thu, 02/11/2016 - 4:51pm
CALL FOR PAPERS
Special Session "Mixed-criticality Systems"
forum
Submitted by Anonymous on Thu, 02/11/2016 - 3:58pm
page
Submitted by el_wehby on Wed, 02/10/2016 - 6:16pm
| LEAD PI |
TITLE (with link to Poster and Abstract) |
VIDEO |
event
Submitted by Anonymous on Wed, 02/03/2016 - 5:24pm
The 35th International Conference on Computer Safety, Reliability and Security (SAFECOMP2016)
ABOUT SAFECOMP
file
Abstract:
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.
file
Abstract:
This poster summarizes our recently awarded grant on computationally aware cyber-physical systems (CPSs). The objective of this project is to generate new fundamental science for CPSs that enables more accurate and faster trajectory synthesis for controllers with nonlinear plants, or nonlinear constraints that encode obstacles. The approach is to utilize hybrid control to switch between models whose accuracy is normalized by their computational burden.
forum
Submitted by Anonymous on Thu, 01/28/2016 - 4:31pm
CALL FOR PAPERS - Extended Deadline
Special Issue on "Reliable Software Technologies for Dependable Distributed Systems"
JOURNAL OF SYSTEMS ARCHITECTURE (JSA), Elsevier.
(Indexed by JCR)
Submission deadline: May 7th, 2016 (Extended)
