Coordinated Model-Based Testing of Cyber-Physical Systems Mohammad Mousavi Halmstad University.

Slides:



Advertisements
Similar presentations
Auto-Generation of Test Cases for Infinite States Reactive Systems Based on Symbolic Execution and Formula Rewriting Donghuo Chen School of Computer Science.
Advertisements

Energy Efficient Lighting Establishment of MEPS and compliance program Steve Coyne.
Trim International Co., Ltd.
Hybrid System Verification Synchronous Workshop 2003 A New Verification Algorithm for Planar Differential Inclusions Gordon Pace University of Malta December.
Project outline  EMCROSS - European Multicore Cross-Domain Architecture  Jürgen Meilinger, Airbus Defence and Space,  Cross-domain.
Open Standards that Open Markets™ © Open Applications Group Smart Manufacturing Working Group Serm Kulvatunyou, NIST Nenad Ivezic, NIST Conrad Leiva, iBaseT.
ECE 720T5 Fall 2012 Cyber-Physical Systems Rodolfo Pellizzoni.
Secure Operating Systems Lesson 0x11h: Systems Assurance.
Lockheed Martin Aeronautics Company V&V Technologies Identified by VVIACS  Near-Term V&V Evolution: SW Model-based design now being implemented  Auto-Code.
MP3 / MD740 Strategy & Information Systems Oct. 13, 2004 Databases & the Data Asset, Types of Information Systems, Artificial Intelligence.
Toyota: James Kapinski, Jyotirmoy Deshmukh,
Antoine Girard VAL-AMS Project Meeting April 2007 Behavioral Metrics for Simulation-based Circuit Validation.
Programming by Example using Least General Generalizations Mohammad Raza, Sumit Gulwani & Natasa Milic-Frayling Microsoft Research.
Quality and Leadership for Romanian Higher Education Project Mutual Learning Workshop 2: Scenario Building: Methods, Approaches and Applications in Higher.
Business Flow Modeller (BFM) Simplify and standardize your business processes across the project lifecycle.
Platzhalter für Bild, Bild auf Titelfolie hinter das Logo einsetzen Prof. Dr.-Ing. Ina Schaefer (joint work with Mirco Tribastone and Matthias Kowal) Institute.
4.x Performance Technology drivers – Exascale systems will consist of complex configurations with a huge number of potentially heterogeneous components.
On the relation between software development and control function development in automotive embedded systems Stefan Kowalewski Embedded Software Laboratory.
An Introduction to MBT  what, why and when 张 坚
Telemedicine & Electronic Health Record January 2006 LA Grid Technology Preview.
ECE 720T5 Winter 2014 Cyber-Physical Systems Rodolfo Pellizzoni.
Copyright 2004Connected Vehicle Trade Association™ 1 Connected Vehicle Stakeholders Map.
Complete Coverage Path Planning Based on Ant Colony Algorithm International conference on Mechatronics and Machine Vision in Practice, p.p , Dec.
Coverage Literature of software testing is primarily concerned with various notions of coverage Four basic kinds of coverage: Graph coverage Logic coverage.
- Juventas, Rejuvenation of Architectures of Embedded Systems - Rob Ekkel / Gernot Eggen, Philips Healthcare - Embedded systems market.
Christian Heinzemann 11. Oktober 2015 Modeling Behavior of Self-Adaptive Systems Seminar Software Quality and Safety.
A vector space containing infinitely many vectors can be efficiently described by listing a set of vectors that SPAN the space. eg: describe the solutions.
© 2005 Right90, Inc. All rights reserved. Manufacturing 101 For Salesforce.com.
06/27/100 Internationally Harmonized Aerospace Standards for First Article Inspection AS9102, EN 9102, SJAC 9102 Philippe Removille SNECMA Moteurs 5.
Software Product Line Material based on slides and chapter by Linda M. Northrop, SEI.
Comments on the OECD Jobs Study Reassessed: its relevance to developing countries Duncan Campbell Director, Policy Integration Dept ILO.
Testing Generation at UPenn Model-Based Test Generation Temp. Prop. Translator Controller Model Checker Witness generator  1 Æ.
English-Language Development Domain California Preschool Learning Foundations Volume 1 Published by the California Department of Education (2008) English-Language.
1 Internationally Harmonized Aerospace Standards for First Article Inspection AS9102, EN 9102, SJAC 9102 AS9102, EN 9102, SJAC 9102 Dick Pocock VP, Quality.
Rasheed Rabbi 1. Presentation Outline Key Idea and Key words Motivation Patient-Clinician-Designer (PCD) framework MONARCA system Questions 2.
Your Clear Choice for a Key Strategic Supplier Corporate Profile.
1 1. Before synchronisation Tier 2OEMCustomerTier 1 2. After synchronisation OEM Tier 1 Tier 2 Tier 1 Customer Key :OEM – Original Equipment Manufacturer.
1 SROC Conference JISC Timetabling Study - Presentation of findings 7 th April 2009 Zeb Nash.
Formal Methods and Testing: Possible Attributes for Success A. J. Cowling Department of Computer Science University of Sheffield.
06/27/100 Internationally Harmonized Aerospace Standards for First Article Inspection AS9102, EN 9102, SJAC 9102 Chetan Date, Ph.D., P.E. Director of Design.
Power Generation Performance Targets/Goals: » Construction of primary standards on a global basis by NIST/ISC organizations (or similar NMI’s) worldwide.
WEB111A: WWW Design Web11a_planning_03.ppt PD chapter 3 Chapter 3 Research and Idea Generation Identify Users (user domains) Needs Wants Presenter’s Objectives.
We need each other ! DPAC campaigns and DPOs. Some key challenges: Exclusion from political process & campaigns Mobilisation Sustainable, effective &
ESA Harwell Robotics & Autonomy Facility Study Workshop Autonomous Software Verification Presented By: Rick Blake.
1 Ambulatory Pediatric Association Educational Guidelines for Pediatric Residency Tutorial 2 Source: Kittredge, D., Baldwin, C. D., Bar-on, M. E., Beach,
South Africa’s Component Manufacturing Landscape: Challenging the Past to improve the future. Dr Johan van Zyl President : NAAMSA CEO Africa Region: Toyota.
Project Title: CPS 2 Cyber Physical Systems (CPS-Equipment) enable manufacturing of CPS-Products Jochen Reisinger, Infineon Technologies Austria AG Villach.
- Juventas, Rejuvenation of Architectures of Embedded Systems - Rob Ekkel / Gernot Eggen, Philips Healthcare - Embedded systems market.
SAE and Technical Policy Analysis Shuvo Bhattacharjee ETAS Inc. – Diagnostic Systems
WOSS 04 1 Task-based Self-adaptation David Garlan Bradley Schmerl Joao Sousa Vahe Poladian Carnegie Mellon University WOSS’04.
Simulation of Rosetta Models Joseph Kuehn University of Adelaide, Australia.
Global MRO Market For Automation Solutions WEBSITE Single User License: US$ 2500 No of Pages: 58 Corporate User License:
Introduction to Software Testing Model-Driven Test Design and Coverage testing Paul Ammann & Jeff Offutt Update.
Web Sites Accessibility Evaluation Methodologies Neeta Verma Head, Data Centre Web Services Division National Informatics Centre, Department of IT, Government.
Multi-disciplinary Approach for Industrial Phases in Space Projects Evolution of classic SE into MBSE Harald EisenmannAstrium Satellites Joachim Fuchs.
SRA 2016 – Strategic Research Challenges Design Methods, Tools, Virtual Engineering Jürgen Niehaus, SafeTRANS.
Created by BM|DESIGN|ER water cat default. Created by BM|DESIGN|ER PARTNERS motor manufacturer designer chinese manufacturer VALUE PROPOSITION fuel efficient.
Separation of Concerns in the Design of Distributed Systems
Adoption of Industry 4.0 in India – Opportunities & Challenges
Choose Your Own Adventure
Challenges for the European Automotive Software Industry
Managing Human Resources and Labor Relations.
GeoMesh Blockchain Networking - Slide Presentation
MBML_Efficient Testing Methodology for Machine Learning
A test technique is a recipe these tasks that will reveal something
פחת ורווח הון סוגיות מיוחדות תהילה ששון עו"ד (רו"ח) ספטמבר 2015
GFOI Space Data Needs and Issues
Information Technology & Knowledge Management
Designing Clinical Addiction Research
Presentation transcript:

Coordinated Model-Based Testing of Cyber-Physical Systems Mohammad Mousavi Halmstad University

Challenges: - Testing, verification and certification: labor intensive and unstructured -Variability: often neglected -Huge data / trajectory space: unclear notion of coverage, impossible to cover exhaustively

Key goals: -Efficient data and trajectory selection (for discrete and continuous data) -Model mining, refining and traceability in scenario generation -Coordinated test campaign / addressing variability -Model-based consequence analysis and runtime diagnosis -Resource and scheduling-aware test-suites and testing

Desired expertise: OEMs and key manufacturers (e.g., in healthcare and automotive domain) Tier-1 and Tier-2 suppliers Certification and standardization bodies