Semantics for Model Debugging Simon Van Mierlo Yentl Van Tendeloo - PowerPoint PPT Presentation

Nov 23, 2023 •343 likes •492 views

A Generalized Stepping Semantics for Model Debugging Simon Van Mierlo Yentl Van Tendeloo Hans Vangheluwe firstname.lastname@uantwerpen.be October 16, MDEbug18, Copenhagen, Denmark Motivation MS4Me DEVS Debugger (AToMPM)

A Generalized Stepping Semantics for Model Debugging Simon Van Mierlo Yentl Van Tendeloo Hans Vangheluwe firstname.lastname@uantwerpen.be October 16, MDEbug’18, Copenhagen, Denmark
Motivation • MS4Me • DEVS Debugger (AToMPM) • DEVS-Suite • Statecharts Debugger (AToMPM)
Motivation • Non-Standard Vocabulary: • Step, Big Step, Small Step, Combo Step, Iteration, Run Until, ... • Differs per formalism, per tool • Confusing for Users • Tool Completeness? • New Languages
System Execution INPUT OUTPUT System EXECUTOR/INTERPRETER
Parallel DEVS Yentl Van Tendeloo and Hans Vangheluwe. Classic DEVS Modelling and Simulation. In Proceedings of the 2017 Winter Simulation Conference, pages 644-656, 2017. DOI: 10.1109/WSC.2017.8247822
Example Model (Traffic Light) Requirements : Design : 1. The traffic light should continuously cycle between the three lights in this order: green, yellow, red, green, yellow, red, ..., 2. The traffic light should stay green for 57 seconds, stay yellow for 3 seconds, and stay red for 60 seconds.
Debugging Process REQ1 REQ2 Simon Van Mierlo, Erwan Bousse, Hans Vangheluwe, Manuel Wimmer, Martin Gogolla, Matthias Tichy, and Arnaud Blouin. Report on the 1st international workshop on debugging in model-driven engineering (MDEbug'17) . In Proceedings of MODELS 2017 Satellite Events , volume 2019. CEUR-WS, September 2017.
Simulation Step REQ1 PDEVS Model REQ2
Black-Box Step: Output R2: The traffic light should stay green for 57 seconds, stay yellow for 3 seconds, and stay red for 60 seconds.
White-Box Step: State R2: The traffic light should stay green for 57 seconds, stay yellow for 3 seconds, and stay red for 60 seconds.
Implementation Step: R2: The traffic light should stay green for 57 seconds, Executor stay yellow for 3 seconds, and stay red for 60 seconds.
From Requirements to Implementation
Applications • Tool Completeness • Hybrid Languages • Domain-Specific Languages
Conclusion • Levels of Stepping: • Simulation, Black-Box, White-Box, Implementation • Based on System Execution • Requirement, Input/Output Trace, State Trace, Implementation Trace • Future Work: • Evaluation (+ iteration) • Map onto well-known formalisms • Language fragments

Recommend

Debugging and improving the C/C++11 memory model Viktor Vafeiadis Max Planck Institute for

Debugging and improving the C/C++11 memory model Viktor Vafeiadis Max Planck Institute for Software Systems (MPI-SWS) January 2016 The C11 memory model Defines the semantics of concurrent memory accesses in C/C++. Standardised by ISO C/C++

865 views • 48 slides

Model verification and debugging of EOO models aided by model reduction techniques Anton Sodja,

Model verification and debugging of EOO models aided by model reduction techniques Anton Sodja, Borut Zupan ci c EOOLT10, Oslo, 3. 10. 2010 Introduction Model verification assures that implemented model corresponds to the conceptual

562 views • 17 slides

Debugging Debugging with High Level Languages Same goals as low-level debugging Examine and

Chapter 15 Debugging Debugging with High Level Languages Same goals as low-level debugging Examine and set values in memory Execute portions of program Stop execution when (and where) desired Want debugging tools to operate on

274 views • 9 slides

kb -Anonymity: A Model for Anonymized kb Behavior-Preserving Test and Debugging Data Where is

kb -Anonymity: A Model for Anonymized kb Behavior-Preserving Test and Debugging Data Where is the Privacy best place to Preservation Aditya Budi, David Lo, Lingxiao Jiang, Lucia stay? Behavior Preservation Software Testing & Debugging

450 views • 30 slides

Semantics 1 / 21 Outline What is semantics? Denotational semantics Semantics of naming What

Semantics 1 / 21 Outline What is semantics? Denotational semantics Semantics of naming What is semantics? 2 / 21 What is the meaning of a program? Recall: aspects of a language syntax : the structure of its programs semantics : the

551 views • 21 slides

Debugging Debugging Tools Module Overview Introduction to Debugging Problems in Production

Welcome to Advanced .NET Debugging Debugging Tools Module Overview Introduction to Debugging Problems in Production Challenges in debugging Production issues Production Environment Debugging Timeline Tools for .NET Debugging Review 3

622 views • 47 slides

Towards efficient model checking for variants of ATL under different semantics Wojciech Penczek

Specification of Strategic Abilities in ATL* Model checking Multi-Valued ATL* Partial order reductions for sATL* Simpler strategies for Timed ATL Conclusions Towards efficient model checking for variants of ATL under different semantics

1.1k views • 88 slides

Programming-Model Centric Debugging for OpenMP Nano2017/Dema Project Meeting June 24 th , 2015

Programming-Model Centric Debugging for OpenMP Nano2017/Dema Project Meeting June 24 th , 2015 Universit Paris Jussieu June 24 th , 2015 Kevin Pouget OMP Programming-Model Centric Debugging 1 / 20 Introduction OpenMP and GDB Hard to

886 views • 51 slides

Visual Debugging Software What is Debugging Visualization Visualizing

Visual Debugging Software What is Debugging Visualization Visualizing Program State Incremental interactive unfolding (DDD) Visual Memory Abstract representations (traversal-based) Debugging Focusing: memory

433 views • 5 slides

Testing System Dynamics Models Jayendran Venkateswaran Agenda Model Debugging Model

Testing System Dynamics Models Jayendran Venkateswaran Agenda Model Debugging Model Verification Model Validation Sensitivity Analysis IEOR, IIT Bombay IE 604: System Dynamics Modelling & Analysis Jayendran

315 views • 10 slides

Position paper: Proof-Theoretic Semantics as a viable alternative to Model-Theoretic Semantics

Position paper: Proof-Theoretic Semantics as a viable alternative to Model-Theoretic Semantics for natural language Nissim Francez Computer Science dept., the Technion-IIT, Haifa, Israel (francez@cs.technion.ac.il) Introduction This

165 views • 13 slides

Debugging Techniques for C Programs Debugging Basics Will focus on the gcc/gdb combination.

Debugging Techniques for C Programs Debugging Basics Will focus on the gcc/gdb combination. Will also talk about the ddd gui for gdb (lots of value added to gdb). First, debugging in the abstract: Program state is a snapshot

475 views • 20 slides

Extending the Polyhedral Compilation Model for Debugging and Optimization of SPMD-style Explicitly

Extending the Polyhedral Compilation Model for Debugging and Optimization of SPMD-style Explicitly Parallel Programs Prasanth Chatarasi Masters Thesis Defense Habanero Extreme Scale Software Research Group Department of Computer Science Rice

429 views • 42 slides

Formal Semantics in Modern Type Theories (and Event Semantics in MTT-Framework) Zhaohui Luo

Formal Semantics in Modern Type Theories (and Event Semantics in MTT-Framework) Zhaohui Luo Royal Holloway University of London This talk I. Formal semantics in Modern Type Theories: overview MTT-semantics is both model-theoretic and

564 views • 30 slides

Operational Semantics 1 / 14 Outline What is semantics? Operational Semantics What is

Operational Semantics 1 / 14 Outline What is semantics? Operational Semantics What is semantics? 2 / 14 What is the meaning of a program? Recall: aspects of a language syntax : the structure of its programs semantics : the meaning of

588 views • 14 slides

1 Crashes, interrupts, and backtrace Watchpoints GDB will automatically stop if the program

Debugging and debuggers Debugging in the development cycle You have probably already had the experience of making Edit a mistake in a program Speaking roughly, debugging is the process: After you know that your code is wrong

911 views • 3 slides

Coroutines Update Seva Tolstopyatov @qwwdfsad October 13, 2020 Coroutines debugging Coroutines

Kotlin 1.4 Online Event Coroutines Update Seva Tolstopyatov @qwwdfsad October 13, 2020 Coroutines debugging Coroutines debugging Coroutines debugging Coroutines debugging Coroutines debugging IDEA 2020.1 Coroutines debugging Debugging

737 views • 41 slides

Semantics so far in course Lexical Semantics, Distributions, Previous semantics lectures

11/13/18 Semantics so far in course Lexical Semantics, Distributions, Previous semantics lectures discussed Predicate-Argument Structure, and composing meanings of parts to produce the correct global sentence meaning Frame Semantic Parsing

460 views • 14 slides

What Ontologies are Basis for semantic web and knowledge-based systems Widely used in practice:

ormal ethods roup Debugging of ALC -Ontologies via Minimal Model Generation Fabio Papacchini Renate A. Schmidt School of Computer Science The University of Manchester April 9, 2015 F. Papacchini, R. A. Schmidt Ontology Debugging

332 views • 7 slides

Debugging of Model Transformations and Contracts in SyVOLT Bentley James Oakes , Clark Verbrugge,

Debugging of Model Transformations and Contracts in SyVOLT Bentley James Oakes , Clark Verbrugge, Levi L ucio, Hans Vangheluwe McGill University, fortiss GmbH, University of Antwerp, Flanders Make October 16, 2018 Presentation Structure 1.

461 views • 19 slides

Scalable Post-Mortem Debugging Abel Mathew CEO - Backtrace amathew@backtrace.io @nullisnt0

Scalable Post-Mortem Debugging Abel Mathew CEO - Backtrace amathew@backtrace.io @nullisnt0 Debugging or Sleeping? Debugging Debugging: examining (program state, design, code, output) to identify and remove errors from software.

464 views • 31 slides

Advanced Production Debugging About Me Co-founder Takipi, JVM Production Debugging. Director,

Advanced Production Debugging About Me Co-founder Takipi, JVM Production Debugging. Director, AutoCAD Web & Mobile. Software Architect at IAI Aerospace. Coding for the past 16 years - C++, Delphi, .NET, Java. Focus on real-time,

460 views • 35 slides

Hoare Logic and Model Checking Semantics of Hoare Logic Kasper Svendsen University of Cambridge

Hoare Logic and Model Checking Semantics of Hoare Logic Kasper Svendsen University of Cambridge CST Part II 2016/17 Acknowledgement: slides heavily based on previous versions by Mike Gordon and Alan Mycroft Semantics of Hoare Logic

663 views • 10 slides

The Semantics of Partial Model Introduction Transformations Partial Models Transforming

The Semantics of Partial Model Transforma- tions M.Famelis, R.Salay, M.Chechik, The Semantics of Partial Model Introduction Transformations Partial Models Transforming Partial Models Michalis Famelis, Rick Salay, and Marsha Chechik

970 views • 67 slides