Lefticaru et al., 2019 - Google Patents

An implementation relation for cyclic systems with refusals and discrete time

Lefticaru et al., 2019

View PDF
Document ID
13864456398437897172
Author
Lefticaru R
Hierons R
Núñez M
Publication year
Publication venue
Software Engineering and Formal Methods: 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings 17

External Links

Snippet

This paper explores a particular type of model, a cyclic model, in which there are sequences of observable actions separated by discrete time intervals, introduces a novel implementation relation and studies some properties of this relation. Implementation …
Continue reading at eprints.whiterose.ac.uk (PDF) (other versions)

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for programme control, e.g. control unit
    • G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
    • G06F9/46—Multiprogramming arrangements
    • G06F9/54—Interprogramme communication; Intertask communication
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/50—Computer-aided design
    • G06F17/5009—Computer-aided design using simulation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G06F8/34—Graphical or visual programming
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/70—Software maintenance or management
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/20—Handling natural language data
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/30—Information retrieval; Database structures therefor; File system structures therefor
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06Q—DATA PROCESSING SYSTEMS OR METHODS, SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q10/00—Administration; Management
    • G06Q10/10—Office automation, e.g. computer aided management of electronic mail or groupware; Time management, e.g. calendars, reminders, meetings or time accounting
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N5/00—Computer systems utilising knowledge based models
    • G06N5/02—Knowledge representation
    • G06N5/022—Knowledge engineering, knowledge acquisition
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06Q—DATA PROCESSING SYSTEMS OR METHODS, SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q10/00—Administration; Management
    • G06Q10/06—Resources, workflows, human or project management, e.g. organising, planning, scheduling or allocating time, human or machine resources; Enterprise planning; Organisational models
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F19/00—Digital computing or data processing equipment or methods, specially adapted for specific applications
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N99/00—Subject matter not provided for in other groups of this subclass

Similar Documents

Publication Publication Date Title
Burattin et al. A framework for online conformance checking
Delange et al. Architecture fault modeling with the AADL error-model annex
US7926029B1 (en) System and method of progressive domain specialization product solutions
Kraemer et al. Tool support for the rapid composition, analysis and implementation of reactive services
EP4244716A1 (en) Continuous integration and development of code in a secure environment
Gleirscher et al. Evolution of formal model-based assurance cases for autonomous robots
Patil et al. Neutralizing semantic ambiguities of function block architecture by modeling with ASM
Selvaraj et al. Verification of decision making software in an autonomous vehicle: An industrial case study
Denil et al. DEVS for AUTOSAR-based system deployment modeling and simulation
Brogi et al. A Petri net-based approach to model and analyze the management of cloud applications
Prosvirnova et al. Handling consistency between safety and system models
Kushal et al. Architecture Level Safety Analyses for Safety‐Critical Systems
Lefticaru et al. An implementation relation for cyclic systems with refusals and discrete time
Vierhauser et al. GRuM—A flexible model-driven runtime monitoring framework and its application to automated aerial and ground vehicles
de Carvalho Moutinho et al. Distributed embedded controller development with Petri nets: application to globally-asynchronous locally-synchronous systems
Brunel et al. Performing safety analyses with AADL and AltaRica
Ge et al. Formal development process of safety-critical embedded human machine interface systems
Mairiza et al. Towards a Catalogue of Conflicts Among Non-functional Requirements.
Babac et al. AgentTest: A specification language for agent-based system testing
Guerrouat et al. A component-based specification approach for embedded systems using FDTs
Cerny et al. Microservice Anti-Patterns and Bad Smells. How to Classify, and How to Detect Them. A Tertiary Study
Ancona et al. Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach
Singh et al. F3FLUID: A formal framework for developing safety‐critical interactive systems in FLUID
Graics et al. Configurable Model-Based Test Generation for Distributed Controllers Using Declarative Model Queries and Model Checkers
Reiter et al. Verification of component fault trees using error effect simulations