Nothing Special   »   [go: up one dir, main page]

Grichi et al., 2015 - Google Patents

ROCL: New extensions to OCL for useful verification of flexible software systems

Grichi et al., 2015

View PDF
Document ID
3571529697306377068
Author
Grichi H
Mosbahi O
Khalgui M
Publication year
Publication venue
2015 10th international joint conference on software technologies (ICSOFT)

External Links

Snippet

The paper deals with the verification of reconfigurable real-time systems to be validated by using the Object Constraint Language (abbrev, OCL). A reconfiguration scenario is assumed to be any adaptation of the execution to the system environment according to user …
Continue reading at www.scitepress.org (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
    • 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/44—Arrangements for executing specific programmes
    • 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
    • G06F11/3668—Software testing
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/07—Error detection; Error correction; Monitoring responding to the occurence of a fault, e.g. fault tolerance
    • 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
    • G06F17/30286—Information retrieval; Database structures therefor; File system structures therefor in structured data stores
    • 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
    • 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
    • G06F2201/00—Indexing scheme relating to error detection, to error correction, and to monitoring
    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B19/00—Programme-control systems
    • G05B19/02—Programme-control systems electric
    • G05B19/04—Programme control other than numerical control, i.e. in sequence controllers or logic controllers
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N5/00—Computer systems utilising knowledge based models

Similar Documents

Publication Publication Date Title
Zhang et al. R-TNCES: A novel formalism for reconfigurable discrete event control systems
US6385765B1 (en) Specification and verification for concurrent systems with graphical and textual editors
US8078357B1 (en) Application-independent and component-isolated system and system of systems framework
Fan et al. Petri net based techniques for constructing reliable service composition
US20120054716A1 (en) Deployment method and device and assistance in deploying components forming an embedded real time system
Mallet MARTE/CCSL for modeling cyber-physical systems
Seiger et al. Test modeling for context-aware ubiquitous applications with feature petri nets
Grichi et al. ROCL: New extensions to OCL for useful verification of flexible software systems
Falcone et al. Fully automated runtime enforcement of component-based systems with formal and sound recovery
Hu et al. Towards seamless integration of N-Version Programming in model-based design
Johnsen et al. Object-oriented specification and open distributed systems
Berthier et al. Designing autonomic management systems by using reactive control techniques
Abid et al. Asynchronous synthesis techniques for coordinating autonomic managers in the cloud
Hansen et al. Monitoring reconfigurable simulation scenarios in co-simulated digital twins
Porter et al. Towards model-based integration of tools and techniques for embedded control system design, verification, and implementation
Inglés-Romero et al. Towards a formal approach for prototyping and verifying self-adaptive systems
US20110087922A1 (en) Test method and tool for master-slave systems on multicore processors
Grichi et al. An extended object constraint language for adaptive discrete event systems with application to reconfigurable wireless sensor networks
Hafaiedh et al. A distributed formal-based model for self-healing behaviors in autonomous systems: from failure detection to self-recovery
Nazarpour et al. Monitoring distributed component-based systems
Zheng et al. Conformance testing of BDI properties in agent-based software
Mahadevan et al. Architecting health management into software component assemblies: Lessons learned from the arinc-653 component mode
Grichi et al. A development tool chain for reconfigurable WSNs
Frtunikj Safety framework and platform for functions of future automotive E/E systems
Arcaini et al. Modeling and validating self-adaptive service-oriented applications