Pagliari et al., 2017 - Google Patents
Multi-modeling approach to performance engineering of cyber-physical systems designPagliari 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 …
- 238000004458 analytical method 0 abstract description 13
Classifications
-
- 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
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3668—Software testing
- G06F11/3672—Test management
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/30—Monitoring
- G06F11/34—Recording 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/3409—Recording 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
-
- 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
-
- 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
- G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
- G06F21/50—Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems
- G06F21/57—Certifying or maintaining trusted computer platforms, e.g. secure boots or power-downs, version controls, system software checks, secure updates or assessing vulnerabilities
- G06F21/577—Assessing vulnerabilities and evaluating computer system security
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F2217/00—Indexing scheme relating to computer aided design [CAD]
-
- 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
-
- 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
- G05B17/00—Systems involving the use of models or simulators of said systems
- G05B17/02—Systems 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 |