Action languages and precise modeling for cyber-physical systems design and testing

Modern Cyber-physical Systems exhibit strong interdependencies between software and hardware elements. Engineering of such systems requires close collaboration and communications between various types of engineers, including software and system engineers. Current software development methodologies promote agility rather than investments in up-front designs. This is in contrast to other engineering disciplines where development of precise testable models is an essential activity.