[TYPES/announce] CfP: MTCPS'16 - International Workshop on Monitoring and Testing Cyber-Physical Systems

Nickovic Dejan Dejan.Nickovic at ait.ac.at
Mon Mar 14 07:38:38 EDT 2016

[Apologies for multiple copies.]

                            CALL FOR PARTICIPATION


                      1st International Workshop on

       Monitoring and Testing of Cyber-Physical Systems

                                     Vienna, Austria

                                      11 April 2016

                           Collocated with CPS Week


Cyber-physical systems (CPS) are integrations of heterogeneous collaborative entities that interact between themselves and with their physical environment. CPS exhibit complex and unpredictable behaviors, thus making their correctness and robustness analysis a challenging task. In order to address their full complexity, there is an emergent need for formal, yet efficient and scalable methods for the verification and analysis of CPS. Light-weight verification techniques, such as monitoring and testing, achieve both rigor and efficiency by enabling the evaluation of systems according to the properties of their individual behaviours. The MT CPS workshop aims at bringing together researchers and practitioners interested in the problems of detecting, testing, measuring and extracting qualitative and quantitative properties from CPS behaviors.


MT CPS workshop is intended to be a forum for exchanging the latest scientific trends between researchers and practitioners interested in the field of light-weight verification and analysis of CPS. As a consequence, the workshop will NOT have formal proceedings. We encourage submission of abstracts that address any of the aforementioned topics of interest and cover recently published results as well as the work in progress.


·        Early registration: March 18, 2016

·        Workshop: April 11, 2016


Bernhard K. Aichernig

Graz University of Technology, Austria

Killing Bugs in a Black Box with Model-based Mutation Testing

In this talk I will discuss the combination of model-based testing and mutation testing. Its central idea is to inject bugs in a model and generate a high-quality test suite that will kill these bugs in a system under test. We will cover its foundations, algorithms, tools and recent industrial applications. Model-based testing is black-box testing technique that avoids the labour of manually writing hundreds of test cases, but instead advocates the capturing of the expected behaviour in a model of the system under test. The test cases are automatically generated from this model. The technique is receiving growing interest in the cyber-physical systems domain, where models are the rule rather than the exception. Mutation testing is a technique for assessing and improving a test suite. A number of faulty versions of a program under test are produced by injecting bugs into its source code. These faulty programs are called mutants. A tester analyses if the test suite can "kill" all mutants. We say that a test kills a mutant if it is able to distinguish it from the original. The tester improves the test suite until all faulty mutants get killed.





Invited talk - Bernhard Aichernig. Killing Bugs in a Black Box with Model-based Mutation Testing


Anna Lukina, Radu Grosu, Ezio Bartocci and Scott A. Smolka. Statistical Model Checking as Feedback Control


Bardh Hoxha and Georgios Fainekos. Pareto Front Exploration for Parametric Temporal Logic Specifications of Cyber-Physical Systems


Coffee break


Thao Dang, Alie El-Din Mady, Boubekeur Menouer, Rajesh Kumar and Mark Moulin. Validation of Industrial Cyber-Physical Systems: an application to HVAC systems


Thang Nguyen, Dirk Hammerschmidt, Andrei Basa and Gerald Klatzer. Sensor Network Emulyzer for advanced Automotive System Testing and Development


Konstantin Selyunin and Stefan Jaksic. Many facets of Hardware Monitoring




László Balogh, István Dávid, István Ráth, Dániel Varró and András Vörös. Distributed and Heterogeneous Event-based Monitoring in Smart Cyber-Physical Systems


Armin Wasicek. Cyber-Physical Intrusion Detection using Reference Models


Tetsuya Tohdo. A Study of System and Software Testing based on Formal Verification Criteria


Coffee break


Adel Dokhanchi, Bardh Hoxha and Georgios Fainekos. MITL Specification Debugging for Monitoring of Cyber-Physical Systems


Thomas Ferrère, Oded Maler and Dejan Nickovic. Trace Diagnostics for MTL Specifications


Dogan Ulus. Montre: A Tool for Monitoring Timed Regular Expressions


Olivier Lebeltel, Oded Maler and Dejan Nickovic. jAMT - Monitoring Tool for STL Specifications

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20160314/34c6abf3/attachment-0001.html>

More information about the Types-announce mailing list