[go: up one dir, main page]

Mashkoor et al., 2015 - Google Patents

Refinement-based development of software-controlled safety-critical active medical devices

Mashkoor et al., 2015

Document ID
13075882193769709058
Author
Mashkoor A
Biro M
Dolgos M
Timar P
Publication year
Publication venue
International Conference on Software Quality

External Links

Snippet

Advanced medical devices exploit the advantages of embedded software whose development, due to their direct impact on human lives, is naturally subject to compliance with the stringent requirements of safety standards and regulations. This paper presents …
Continue reading at link.springer.com (other versions)

Classifications

    • 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
    • G06F19/30—Medical informatics, i.e. computer-based analysis or dissemination of patient or disease data
    • G06F19/34—Computer-assisted medical diagnosis or treatment, e.g. computerised prescription or delivery of medication or diets, computerised local control of medical devices, medical expert systems or telemedicine
    • G06F19/3406—Local monitoring or local control of medical devices, e.g. configuration parameters, graphical user interfaces [GUI] or dedicated hardware interfaces
    • G06F19/3412—Medical equipment management, e.g. updates or maintenance
    • 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
    • G06F11/3668—Software testing
    • 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
    • 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/35—Model driven
    • 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/36—Software reuse
    • 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
    • G06F8/00—Arrangements for software engineering
    • G06F8/60—Software deployment
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/10—Requirements analysis; Specification techniques
    • 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
    • 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

Similar Documents

Publication Publication Date Title
Tripathy et al. Software evolution and maintenance: a practitioner's approach
Tsantalis et al. Predicting the probability of change in object-oriented systems
Bryant et al. Challenges and directions in formalizing the semantics of modeling languages
García-Domínguez et al. EUnit: a unit testing framework for model management tasks
Nieke et al. Guiding the evolution of product-line configurations
Cataño et al. Translating B machines to JML specifications
Ou et al. The mutators reloaded: Fuzzing compilers with large language model generated mutation operators
Williams et al. Guided feature identification and removal for resource-constrained firmware
Bombarda et al. ASMETA tool set for rigorous system design
Mashkoor et al. Refinement-based development of software-controlled safety-critical active medical devices
Singh et al. A formal approach to rigorous development of critical systems
Mashkoor Model-driven development of high-assurance active medical devices
Pfeiffer et al. The design space of multi-language development environments
Beckert et al. Deductive verification of legacy code
Murphy Metamorphic testing techniques to detect defects in applications without test oracles
Balogh et al. Workflow-driven tool integration using model transformations
Denaro et al. Test-and-adapt: An approach for improving service interchangeability
Boiarskyi et al. Automated system and domain-specific language for medical data collection and processing
Rojas et al. Toward Technical Debt Aware Software Modeling.
Eghan Dependency Management 2.0–A Semantic Web Enabled Approach
Biró et al. Graceful integration of process capability improvement, formal modeling and web technology for traceability
Bürger Recovering security in model-based software engineering by context-driven co-evolution
Gondal et al. Feature composition-towards product lines of Event-B models
Markusfeld Automating build, deployment, and monitoring of model-based digital twins
Qiu Scaling and certifying symbolic execution