A technique for establishing certain properties, usually expressed in temporal logic, for a system model.
Abstract:
This project's objective is to enable assertion-‐driven development and debugging cyber-‐ physical systems (CPS). As opposed to traditional uses of assertions in software engineering, CPS demand a tight coupling of the cyber with the physical, including in system validation. This project will use mathematical models of key physical attributes to guide creation of assertions, to identify inconsistent or infeasible assertions, and to localize potential causes for CPS failures.
Submitted by Christine Julien on October 23rd, 2013
Event
SAC 2014
ACM Symposium On Applied Computing
For the past twenty-eight years, the ACM Symposium on Applied Computing has been a primary gathering forum for applied computer scientists, computer engineers, software engineers, and application developers from around the world.
SAC 2014 is sponsored by the ACM Special Interest Group on Applied Computing (SIGAPP), and is hosted by
Seoul National University, Kyungpook National University, Soongsil University and Dongguk University.
Submitted by Anonymous on August 14th, 2013
Submitted by Francesco Borrelli on December 14th, 2012
Abstract
Submitted by Aravinda Sistla on October 7th, 2012
Abstract
Vehicle automation has progressed from systems that monitor the operation of a vehicle, such as antilock brakes and cruise control, to systems that sense adgacent vehicles, such as emergency braking and intelligent cruise control. The next generation of systems will share sensor readings and collaborate to control braking operations by looking several cars ahead or by creating safe gaps for merging vehicles.
Submitted by Nicholas Maxemchuk on October 4th, 2012
Abstract
Submitted by Nuno Martins on October 4th, 2012
Submitted by Aaron Stump on October 3rd, 2012
Abstract
Submitted by Insup Lee on October 1st, 2012
Abstract
Submitted by Jessica Hodgins on September 26th, 2012