[TYPES/announce] CfP: MTCPS'16 - International Workshop on Monitoring and Testing Cyber-Physical Systems
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
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
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
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...
More information about the Types-announce