scholarly journals CatchML - A Language for Modeling and Verification of Context-Aware Exception Handling Behaviour

2019 ◽  
Author(s):  
Rafael De Lima ◽  
Lincoln S. Rocha ◽  
Rossana M. C. Andrade ◽  
Valeria Lelli
Keyword(s):  
Error Recovery ◽  
Exception Handling ◽  
Domain Specific Language ◽  
Context Aware ◽  
Domain Specific ◽  
Critical Design ◽  
Recovery Technique ◽  
High Level ◽  
Sample System

The context-aware exception handling (CAEH) is an error recovery technique employed to improve the ubiquitous software robustness. The design of CAEH is a difficult and error-prone task. The erroneous specification of such conditions represents a critical design fault that can lead the CAEH mechanism to behave erroneously or improperly at runtime. To deal with this problem, we propose a domain-specific language for modeling CAEH, called CatchML, using a high-level interface to make the design of CAEH models simpler and more intuitive. The CatchML language is integrated into a tool to allow designers to perform automatic model verifications by looking at the errors directly in the specification code. We conducted a case study on a sample system called UbiParking with nine volunteers. The results showed that the CatchML language is easy to model the context-aware exception handling and also allowed the participants to quickly locate the injected design faults.

Automated Context Formalization for Context-aware Specification Approach

2018 ◽  
Vol 9 (3) ◽  
pp. 23-47
Author(s):  
Amel Benabbou ◽  
Safia Nait-Bahloul
Keyword(s):  
Environmental Conditions ◽  
Use Cases ◽  
Domain Specific Language ◽  
Context Aware ◽  
Effective Technique ◽  
Specific Language ◽  
Requirement Specification ◽  
Domain Specific ◽  
High Level ◽  
Formal Requirements

Requirement specification is a key element in model-checking verification. The context-aware approach is an effective technique for automating the specification of requirement considering specific environmental conditions. In most of existing approaches, there is no support of this crucial task and are mainly based on the considerable efforts and expertise of engineers. A domain-specific language, called CDL, has been proposed to facilitate the specification of requirement by formalizing contexts. However, the feedback has shown that manually writing CDL is hard, error prone and difficult to grasp on complex systems. In this article, the authors propose an approach to automatically generate CDL models using (IODs) elaborated through transformation chains from textual use cases. They offer an intermediate formalism between informal use cases scenarios and CDL models allowing to engineers to manipulate with familiar artifacts. Thanks to such high-level formalism, the gap between informal and formal requirements is reduced; consequently, the requirement specification is facilitated.

A high-level domain-specific language for SIEM (design, development and formal verification)

2017 ◽  
Vol 20 (3) ◽  
pp. 2423-2437 ◽  
Author(s):  
Anam Nazir ◽  
Masoom Alam ◽  
Saif U. R. Malik ◽  
Adnan Akhunzada ◽  
Muhammad Nadeem Cheema ◽  
...  
Keyword(s):  
Formal Verification ◽  
Domain Specific Language ◽  
Design Development ◽  
Specific Language ◽  
Domain Specific ◽  
High Level

Formalizing a Domain Specific Language Using SOS: An Industrial Case Study

2012 ◽  
pp. 223-242 ◽  
Author(s):  
Frank P. M. Stappers ◽  
Sven Weber ◽  
Michel A. Reniers ◽  
Suzana Andova ◽  
Istvan Nagy
Keyword(s):  
Domain Specific Language ◽  
Industrial Case Study ◽  
Specific Language ◽  
Domain Specific

A domain-specific language for context modeling in context-aware systems

2013 ◽  
Vol 86 (11) ◽  
pp. 2890-2905 ◽  
Author(s):  
José R. Hoyos ◽  
Jesús García-Molina ◽  
Juan A. Botía
Keyword(s):  
Domain Specific Language ◽  
Context Aware ◽  
Context Modeling ◽  
Specific Language ◽  
Domain Specific

scholarly journals MODEL-BASED SECURITY ANALYSIS OF FPGA DESIGNS THROUGH REINFORCEMENT LEARNING

2019 ◽  
Vol 59 (5) ◽  
pp. 518-526
Author(s):  
Michael Vetter
Keyword(s):  
Reinforcement Learning ◽  
Security Analysis ◽  
Domain Specific Language ◽  
System Description ◽  
Hierarchical Learning ◽  
Reward Function ◽  
Domain Specific ◽  
Markov Decision ◽  
High Level ◽  
Multiple Scenarios

Finding potential security weaknesses in any complex IT system is an important and often challenging task best started in the early stages of the development process. We present a method that transforms this task for FPGA designs into a reinforcement learning (RL) problem. This paper introduces a method to generate a Markov Decision Process based RL model from a formal, high-level system description (formulated in the domain-specific language) of the system under review and different, quantified assumptions about the system’s security. Probabilistic transitions and the reward function can be used to model the varying resilience of different elements against attacks and the capabilities of an attacker. This information is then used to determine a plausible data exfiltration strategy. An example with multiple scenarios illustrates the workflow. A discussion of supplementary techniques like hierarchical learning and deep neural networks concludes this paper.

Retrieving Objective Indicators from Student Logs in Virtual Worlds

2017 ◽  
Vol 10 (3) ◽  
pp. 69-83 ◽  
Author(s):  
Antonio Balderas ◽  
Anke Berns ◽  
Manuel Palomo-Duarte ◽  
Juan Manuel Dodero ◽  
Iván Ruiz-Rube
Keyword(s):  
Virtual Worlds ◽  
Video Game ◽  
Learning Processes ◽  
Target Language ◽  
Domain Specific Language ◽  
German Language ◽  
Domain Specific ◽  
Group Behaviour ◽  
Objective Indicators

Virtual Worlds (VWs) have been widely used to support learning processes. One main advantage is providing valuable data on student behaviour and interaction. Nonetheless, most platforms provide only limited access to student logs. Moreover, accessing logs usually requires technical skills most teachers do not have. In this context, the authors present a Domain Specific Language (DSL) designed to allow teachers to generate queries for retrieving valuable log information with a view to obtain evidence on learner behaviour and interaction; hence, to aid in the analysis of in-world behaviour and learning processes. Since this data is automatically retrieved, the teacher can easily run new queries to refine indicators or contrast hypotheses. The authors describe a case study carried out with undergraduate German language students using a VW-based video game. The results provide a set of indicators for analysing individual and group behaviour measuring student competence to communicate in the target language.

A domain-specific language for patchy landscape modelling: The Brittany agricultural mosaic as a case study

2006 ◽  
Vol 194 (1-3) ◽  
pp. 233-243 ◽  
Author(s):  
Cédric. Gaucherel ◽  
Nathalie Giboire ◽  
Valérie Viaud ◽  
Thomas Houet ◽  
Jacques Baudry ◽  
...  
Keyword(s):  
Domain Specific Language ◽  
Specific Language ◽  
Domain Specific ◽  
Patchy Landscape
Sign in / Sign up

Export Citation Format

Share Document