formal methods

file

Visible to the public Semantics of Optimization for Real Time Intelligent Embedded Systems (SORTIES)

Submitted by feron on Mon, 11/10/2014 - 12:26pm. Contributors:

Abstract:

Optimization algorithms used in a real-time and safety-critical context offer the potential for considerably advancing robotic and autonomous systems by improving their ability to execute complex missions. However, this promise cannot happen without proper attention to the considerably stronger operational constraints that real time, safety-critical applications must meet, unlike their non-real-time, desktop counterparts.

file

Visible to the public Scalable Component-based Model Revision of Cyber-Physical Systems with Separation of Concerns

Submitted by sandeepkulkarni on Mon, 11/10/2014 - 12:26pm. Contributor:

Abstract:

As part of our CPS project, we have focused on the problem of model repair for cyber-physical systems. This work involves identifying constraints caused due to physical components during revision. We consider four types of constraints cyber-cyber, cyber-physical, physical-cyber and physical-physical. Based on the complexity limitations caused by these constraints we are developing efficient heuristics to mitigate the cost of model repair. We have also focused on extending revision to code level.