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

[Nickovic Dejan]

[Apologies for multiple copies.]



                            CALL FOR PARTICIPATION

                                        MT-CPS'16

                      1st International Workshop on

       Monitoring and Testing of Cyber-Physical Systems



                                     Vienna, Austria

                                      11 April 2016

                           Collocated with CPS Week



            http://mtcps16.ait.ac.at/



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.



WORKSHOP FORMAT



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.



IMPORTANT DATES



·        Early registration: March 18, 2016

·        Workshop: April 11, 2016



KEYNOTE PRESENTATION



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.



PROGRAM


08h20-08h30

Welcome

08h30-09h30

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

09h30-10h00

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

10h00-10h30

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

10h30-11h00

Coffee break

11h00-11h30

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

11h30-12h00

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

12h00-12h30

Konstantin Selyunin and Stefan Jaksic. Many facets of Hardware Monitoring

12h30-14h00

Lunch

14h00-14h30

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

14h30-15h00

Armin Wasicek. Cyber-Physical Intrusion Detection using Reference Models

15h00-15h30

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

15h30-16h00

Coffee break

16h00-16h30

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

16h30-17h00

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

17h00-17h30

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

17h30-18h00

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>