Search results for "Debugging"
showing 10 items of 13 documents
Interoperable real-time symbolic programming for smart environments
2019
Smart environments demand novel paradigms offering easy configuration, programming and deployment of pervasive applications. To this purpose, different solutions have been proposed ranging from visual paradigms based on mashups to formal languages. However, most of the paradigms proposed in the literature require further external tools to turn application description code into an executable program before the deployment on target devices. Source code generation, runtime upgrades and recovery, and online debugging and inspection are often cumbersome in these programming environments. In this work we describe a methodology for real-time and on-line programming in smart environments that is co…
Team Description Mainz Rolling Brains 2001
2002
The Mainz Rolling Brains 2001 team is based on our last year’s team. Our modular design as described in [1] has proved to be efficient and flexible. Thus the team could easily be adopted to the soccerserver’s new features and some of the weak spots of our team could be eliminated.
The iconic interface for the PIctorial C language
2003
Iconic environments intend to provide expressive tools to implement, to debug and to execute programs. Moreover its pictorial constructs guide the user to design algorithms in an interactive fashion. Visual interfaces are especially required whenever programs run on an heterogeneous and reconfigurable multiprocessor system oriented to image analysis. Pictorial tools help the user to control the scope of variables, and the distribution of the tasks into the processors. In this paper, the general design, the visual-syntax, and the implementation of the first prototype of an iconic user interface for the PIctorial C Language (PICL) are described. >
Pellet: A Practical OWL-DL Reasoner
2007
In this paper, we present a brief overview of Pellet: a complete OWL-DL reasoner with acceptable to very good performance, extensive middleware, and a number of unique features. Pellet is the first sound and complete OWL-DL reasoner with extensive support for reasoning with individuals (including nominal support and conjunctive query), user-defined datatypes, and debugging support for ontologies. It implements several extensions to OWL-DL including a combination formalism for OWL-DL ontologies, a non-monotonic operator, and preliminary support for OWL/Rule hybrid reasoning. Pellet is written in Java and is open source.
Optical Probing (EOFM/TRI): A large set of complementary applications for ultimate VLSI
2013
International audience; Electro Optical Techniques (EOFM: Electro Optical Frequency Mapping and EOP: Electro Optical Probing) and Dynamic Light Emission Techniques (TRE: Time Resolved Emission and TRI: Time Resolved Imaging) are dynamic optical probing techniques widely used at IC level for design debug and defect localization purpose. They can pinpoint the origin of timing issue or logic fault in up to date CMOS devices. Each technique has its advantages and its drawbacks allowing a common set of applications and more specific ones. We have been involved in the development of the most advanced techniques related to EOFM and TRI on various devices (down to 28nm technology). What we can expe…
Verification of JADE Agents Using ATL Model Checking
2015
It is widely accepted that the key to successfully developing a system is to produce a thorough system specification and design. This task requires an appropriate formal method and a suitable tool to determine whether or not an implementation conforms to the specifications. In this paper we present an advanced technique to analyse, design and debug JADE software agents, using Alternating-time Temporal Logic (ATL) which is interpreted over concurrent game structures, considered as natural models for compositions of open systems. In development of the proposed solution, we will use our original ATL model checker. In contrast to previous approaches, our tool permits an interactive or programma…
Dynamic interface for machine vision systems
2002
Iconic programming intends to provide expressive tools to implement, to debug, and to execute programs. For this purpose, visual languages need pictorial constructs and metaphors to guide the design of algorithms in interactive fashion. In the paper a new class of dynamic visual interfaces, named DIVA (Dynamic Interface for Visual Applications), is introduced, its properties are described, and an application to visual compilers in a multi-processors system dedicated to image analysis is given. Moreover, a formal definition of dynamic icon (DI) is also given.
The Performance of Belle II Data Acquisition System in the First Physics Run
2019
The Belle II experiment is a new generation B-factory experiment at KEK in Japan aiming at the search for New Physics in a huge sample of B-meson dacays. The commissioning of the SuperKEKB accelerator was started in 2017 (Phase 1), and then a pilot run with outer detectors was performed in 2018 (Phase 2). From March this year, an operation with the full detector has been started for the physics data taking (Phase 3). The Belle II data acquisiton system (DAQ) is now fully working in the Phase 3 run. The system consists of the trigger timing distribution system, the common readout modules (COPPER) with the unified optical data link to the detector front end, the readout PCs and the network sw…
Performance evaluation of non volatile memories with a low cost and portable automatic test equipment
2017
This paper presents a versatile and portable test equipment, called portable ATE for research and development of non-volatile memories functionalities. The system is based on STM32-NUCLEO assembled with a custom designed daughter board, in order to host non-volatile memories test-chips, to manage the needed power supplies and generate suitable signals stimuli for correct operations. The system is controlled and programmed by a personal computer, via USB interface. In particular the system can perform: memory reading, writing and erasing, with settings flexibility on time and voltage levels; Electrical Stress Tests (Drain, Gate and Bulk Stress); Cycling Tests; debugging algorithms (erase or …
Towards an Understanding of the Causes of Difficulties in Debugging
2018
Debugging remains one of the areas that have seen little progress since the early days of programming. We argue that the academic approach of observational studies is incapable of capturing the essence of debugging in complex software. Instead, reflections by programmers may provide a better description of the debugging nature and challenges. In this article, we describe a study where we capture the reflections of programmers on thorny bugs that exemplify the major sources of difficulties in debugging. More importantly, we provide suggestions on what could have been done to avoid such thorny bugs from occurring with the same level of difficulties. As a major conclusion, we argue that the be…