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

Download Presentation

Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

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

Statecharts: A Visual Formalism for Complex Systems: David Harel (communicated by A. Pnueli)

Statecharts: A Visual Formalism for Complex Systems: David Harel (communicated by A. Pnueli) 1986 https://www.inf.ed.ac.uk/teaching/courses/seoc/2005_2006/resources/statecharts.pdf About me: EE (PEng) 8T1 Also, studied in Core Physics (7T9)

564 views • 33 slides

From Conceptual Models From Conceptual Models to Simulation Models to Simulation Models Model

From Conceptual Models From Conceptual Models to Simulation Models to Simulation Models Model Driven Development of Agent- -Based Based Simulations Simulations Model Driven Development of Agent Takashi Iba* Yoshiaki Matsuzawa** Nozomu

235 views • 11 slides

Roadmap Project UMMS-Shriver Center Elaine Gabovitch, Emily Lauer & Courtney Dutra June 16,

6/30/2015 Healthy People 2020 State Autism Roadmap Project UMMS-Shriver Center Elaine Gabovitch, Emily Lauer & Courtney Dutra June 16, 2015 Agenda Project Background Key Activity Areas Early Identification Insurance and

375 views • 23 slides

T HE ENERGY TRANSITION IN G ERMANY AND THE RENEWABLE ENERGY SOURCES ACT : C ONTEXT , LEGAL AND

T HE ENERGY TRANSITION IN G ERMANY AND THE RENEWABLE ENERGY SOURCES ACT : C ONTEXT , LEGAL AND PROCEDURAL ASPECTS NDRC study tour, Berlin, 5 July 2016 Dr. Stephan Sina Senior Fellow, Coordinator Energy, Ecologic Institute Energy transition in

390 views • 22 slides

New strategies for old problems: model-driven user interfaces Giorgio Brajnik Dip. di Matematica

New strategies for old problems: model-driven user interfaces Giorgio Brajnik Dip. di Matematica e Informatica University of Udine, Italy www.dimi.uniud.it/giorgio eAccess Forum Paris 31 March 2014 c Giorgio Brajnik New strategies for

515 views • 20 slides

some context for Adrian Pops thesis Integrated Model-Driven Development Environments for

5 June 2008 Link oping, Sweden some context for Adrian Pops thesis Integrated Model-Driven Development Environments for Equation-Based Object-Oriented Languages Hans Vangheluwe Modelling, Simulation and Design Lab (MSDL) School of

353 views • 31 slides

Yan Li, PhD Center for Health Innovation The New York Academy of Medicine Department of

June 26, 2017 2017 AcademyHealth ARM Yan Li, PhD Center for Health Innovation The New York Academy of Medicine Department of Population Health Science and Policy Icahn School of Medicine at Mount Sinai A little bit about myself PhD in

218 views • 9 slides

Michigan Department of State: RUTH JOHNSON, SECRETARY OF STATE Executive Organizational Chart

Michigan Department of State: RUTH JOHNSON, SECRETARY OF STATE Executive Organizational Chart RUTH JOHNSON, MICHIGAN SECRETARY OF STATE Primary Responsibilities of Department Drivers License: over local election officers o Issue Driver

313 views • 16 slides