[go: up one dir, main page]

Pagliari et al., 2017 - Google Patents

Multi-modeling approach to performance engineering of cyber-physical systems design

Pagliari et al., 2017

Document ID
6015185380280183800
Author
Pagliari L
Mirandola R
Trubiani C
Publication year
Publication venue
2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS)

External Links

Snippet

The modeling and analysis of Cyber Physical Systems (CPS) is inevitably challenging due to the intrinsic problem of merging the specification of different ensembles that indicate hardware, software and physical aspects of such systems. This intrinsic complexity is …
Continue reading at ieeexplore.ieee.org (other versions)

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING; COUNTING
    • G06FELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/50Computer-aided design
    • G06F17/5009Computer-aided design using simulation
    • GPHYSICS
    • G06COMPUTING; CALCULATING; COUNTING
    • G06FELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • G06F11/36Preventing errors by testing or debugging software
    • G06F11/3668Software testing
    • G06F11/3672Test management
    • GPHYSICS
    • G06COMPUTING; CALCULATING; COUNTING
    • G06FELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • G06F11/30Monitoring
    • G06F11/34Recording or statistical evaluation of computer activity, e.g. of down time, of input/output operation; Recording or statistical evaluation of user activity, e.g. usability assessment
    • G06F11/3409Recording or statistical evaluation of computer activity, e.g. of down time, of input/output operation; Recording or statistical evaluation of user activity, e.g. usability assessment for performance assessment
    • GPHYSICS
    • G06COMPUTING; CALCULATING; COUNTING
    • G06FELECTRICAL DIGITAL DATA PROCESSING
    • G06F9/00Arrangements for programme control, e.g. control unit
    • G06F9/06Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
    • G06F9/46Multiprogramming arrangements
    • GPHYSICS
    • G06COMPUTING; CALCULATING; COUNTING
    • G06QDATA 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/00Administration; Management
    • G06Q10/06Resources, workflows, human or project management, e.g. organising, planning, scheduling or allocating time, human or machine resources; Enterprise planning; Organisational models
    • GPHYSICS
    • G06COMPUTING; CALCULATING; COUNTING
    • G06FELECTRICAL DIGITAL DATA PROCESSING
    • G06F21/00Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F21/50Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems
    • G06F21/57Certifying or maintaining trusted computer platforms, e.g. secure boots or power-downs, version controls, system software checks, secure updates or assessing vulnerabilities
    • G06F21/577Assessing vulnerabilities and evaluating computer system security
    • GPHYSICS
    • G06COMPUTING; CALCULATING; COUNTING
    • G06FELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00Arrangements for software engineering
    • GPHYSICS
    • G06COMPUTING; CALCULATING; COUNTING
    • G06FELECTRICAL DIGITAL DATA PROCESSING
    • G06F2217/00Indexing scheme relating to computer aided design [CAD]
    • GPHYSICS
    • G06COMPUTING; CALCULATING; COUNTING
    • G06NCOMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N99/00Subject matter not provided for in other groups of this subclass
    • GPHYSICS
    • G05CONTROLLING; REGULATING
    • G05BCONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B17/00Systems involving the use of models or simulators of said systems
    • G05B17/02Systems involving the use of models or simulators of said systems electric

Similar Documents

Publication Publication Date Title
Metodi et al. A novel sat-based approach to model based diagnosis
US10296443B2 (en) Automatically predicting faults that caused software failures using a Markov logic network
US6789054B1 (en) Geometric display tools and methods for the visual specification, design automation, and control of adaptive real systems
US20080262822A1 (en) Simulation using resource models
Grunske Early quality prediction of component-based systems–a generic framework
Calinescu et al. Synthesis and verification of self-aware computing systems
Bauer et al. Towards architecting digital twin-pervaded systems
Kim et al. Application of integrated modeling and analysis to development of complex systems
Lu et al. Model-based systems engineering tool-chain for automated parameter value selection
Pagliari et al. Multi-modeling approach to performance engineering of cyber-physical systems design
Singh et al. Software reliability early prediction in architectural design phase: Overview and Limitations
Vogel et al. Metrics in automotive software development: A systematic literature review
Walter et al. Asking" What"?, Automating the" How"? The Vision of Declarative Performance Engineering
Van Den Berg et al. Designing cyber-physical systems with aDSL: A domain-specific language and tool support
Batista et al. Capella based system engineering modelling and multi-objective optimization of avionics systems
Pagliari et al. Engineering cyber‐physical systems through performance‐based modelling and analysis: A case study experience report
Camacho et al. Chaos as a Software Product Line—a platform for improving open hybrid‐cloud systems resiliency
Castellanos et al. A model-driven architectural design method for big data analytics applications
Deng et al. Anytime Communication: A Human-AI Collaboration Framework for Causal-Based Root Cause Analysis
Hosseini et al. Formal verification of safety and security properties in industry 4.0 applications
Balsamo et al. Experimenting different software architectures performance techniques: a case study
Thiagarajan et al. Awas: AADL information flow and error propagation analysis framework
Singh et al. A new model for reliability estimation of component-based software
Estable et al. Systems modelling and simulation of the ESA e. Deorbit space debris removal mission
CN110928761B (en) Demand chain and system and method for application thereof