Verification and Testing of Cyber-Physical Systems

Embedded systems are computerised systems that interact with their physical environment. They are usually called cyber-physical when they are largely distributed, and networking and security aspects play a major rule. Describing such systems requires to combine continuous-time and discrete-time components, together often referred to as hybrid systems.

Semantics and verification of hybrid systems:
  • Peter Schrammel and Bertrand Jeannet. From Hybrid Data-Flow Languages to Hybrid Automata: A Complete Translation. In Hybrid Systems: Computation and Control, HSCC'12. pp. 167-176, ACM, 2012. [bibtex] [link]
  • Peter Schrammel: Unbounded-time reachability analysis of hybrid systems by abstract acceleration. In Embedded Software, EMSOFT'15, pp. 51-54, IEEE, 2015. [bibtex] [link]
  • Dario Cattaruzza, Alessandro Abate, Peter Schrammel, Daniel Kroening: Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration. In Static analysis, SAS'15, pp. 312-331, Springer, 2015. [bibtex] [experiments] [link]
Embedded systems testing:
  • Adam Nellis, Pascal Kesseli, Philippa Ryan Conmy, Daniel Kroening, Peter Schrammel, Michael Tautschnig. Assisted Coverage Closure. In NASA Formal Methods, NFM'16. To appear, 2016.
  • Peter Schrammel, Tom Melham, Daniel Kroening: Generating test case chains for reactive systems. International Journal on Software Tools for Technology Transfer. Volume 18, pp. 319-334, Springer, 2016. [bibtex] [link] [website]
  • Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmüller. Successful Use of Incremental BMC in Automotive Industry. In Formal Methods for Industrial Critical Systems, FMICS'15, Vol. 9128 of LNCS, pp. 62-77, Springer, 2015. [bibtex] [link] [website]
  • Ajitha Rajan, Subodh Sharma, Peter Schrammel, Daniel Kroening. Accelerated test execution using GPUs. In Automated Software Engineering, ASE'14, pp. 97-102, IEEE, 2015. [bibtex] [link]
  • Peter Schrammel, Tom Melham, Daniel Kroening: Chaining Test Cases for Reactive System Testing. In Testing Software and Systems, ICTSS'13, pp. 133-148, Springer, 2013. [bibtex] [link] [website]


Research Interests